Diferencia entre revisiones de «Centro de un grupo»
Contenido eliminado Contenido añadido
m Bot: Añadiendo simple:Group center |
Sin resumen de edición |
||
(No se muestran 8 ediciones intermedias de 6 usuarios) | |||
Línea 1:
En matemáticas, y más concretamente en [[teoría de grupos]], el '''centro''' de un [[grupo
▲:<math>\operatorname{Z}(G) := \{g\in G : \forall h \in G, g*h = h*g \} \quad .</math>
El centro de <math>G</math> es un [[subgrupo]], que además es [[Grupo abeliano|abeliano]], [[Subgrupo normal|normal]] y [[Subgrupo característico|característico]] en <math>G</math>.{{Harvnp|Rotman|1994|p=44}}
Por ejemplo sea ''G'' el grupo '''gl'''(2, '''R''') de las matrices 2 × 2 invertibles▼
== Ejemplos ==
▲Por ejemplo, sea ''G'' el grupo '''
:<math> A= \begin{bmatrix} a & b \\ c & d \end{bmatrix} </math>
Las matrices invertibles son aquellas cuyo [[determinante (matemática)|determinante]] <math> \operatorname{det}(A) = (a d - b c)</math> es diferente de 0.
:<math> \lambda I = \begin{bmatrix} \lambda & 0 \\ 0 & \lambda \end{bmatrix}
donde <math>\lambda</math> es cualquier número real distinto de cero.
Este es un caso particular
{{teorema|1=El centro del [[grupo general lineal]] ''GL''(''n'', '''R''') -compuesto por las matrices invertibles de orden ''n'' × ''n'' con coeficientes reales- lo forman las ''matrices escalares'', es decir, aquellas que son un múltiplo (no nulo) de la [[matriz identidad]] de orden ''n''.}}
Para otro ejemplo, sea ''G'' el [[grupo de los
▲Para otro ejemplo, sea ''G'' el grupo de los [[cuaterniones]]. Es fácil verificar que el centro de ese grupo es <math><-1> = {-1, 1}</math> pues son los únicos elementos que pueden conmutar con el resto.
== Propiedades ==
Si ''G'' es abeliano (conmutativo) entonces ''G''=Z(''G'').▼
▲* Si ''G'' es [[Grupo abeliano|abeliano]] (conmutativo) entonces ''G''=Z(''G'').
* El centro Z(''G'') de un grupo ''G'' es un [[subgrupo normal]] abeliano de ''G''.
{{Demostración|plegada=no|1= Z(''G'') es un grupo: * El elemento neutro ''e'' del grupo conmuta con todos los elementos de ''G'' *Si ''a'', ''b'' ∈ Z(''G''), ''h'' ∈ ''G'' entonces :<math> (a*b)*h = a*(b*h) = a*(h*b) = (a*h)*b = (h*a)*b = h*(a*b), \,</math>
:es decir que ''a''*''b'' ∈ Z(''G'')
*Z(''G'') es invariante por la operación de tomar inversas. Si ''a'' ∈ Z(''G'') y ''g'' ∈ ''G'' entonces ''a'' * ''g'' = ''g'' * ''a''. Multiplicando por ''a''<sup>-1</sup> por la derecha y por la izquierda se tiene que ''a''<sup>-1</sup> * ''g'' = ''g'' * ''a''<sup>-1</sup>, para todo ''g'' ∈ ''G''. Luego ''a''<sup>-1</sup> ∈ Z(''G'').
Z(''G'') es abeliano, pues sus elementos conmutan con todos
Z(''G'') es un subgrupo normal de ''G'' pues si ''z'' ∈ Z(''G''), entonces
:<math>g*z*g^{-1} = g*g^{-1}*z = e*z = z \in \operatorname{Z}(G).</math>
}}
* El centro de '''G''' es un subgrupo ''característico'' (invariante bajo cualquier [[automorfismo]] de '''G''').
== Centralizador ==▼
{{Demostración|plegada=no|1=
Sea <math>f:G \to G</math> un automorfismo de <math>G</math> y sea <math>z \in Z(G)</math>. Entonces, para todo <math>g \in G</math>
:<math> f(z)*g = f(z)* f(f^{-1}(g)) = f(z*f^{-1}(g)) = f(f^{-1}(g)*z)
= f(f^{-1}(g)) * f(z) = g * f(z).</math>
en consecuencia <math> f(z) \in Z(G)</math>.}}
:<math>C(a):=\{x \in G \mid xa=ax \}.</math>▼
De manera similar a como se define el centro de un grupo '''G''', se define el concepto del '''centralizador''' de un elemento ''a'' en '''G''': es el subconjunto formado por los elementos de '''G''' que conmutan con ''a''. Formalmente:{{Harvnp|Rotman|1994|p=44}}
=== Proposiciones ===
* El centralizador de ''a'' en '''G
* El centralizador de ''a'' en '''G''' es el mayor subgrupo de '''G''' en el que ''a'' conmuta con todos sus elementos.
* El centralizador de ''a'' es todo '''G''' si y solo si ''a'' pertenece al centro de '''G'''.
* El centro de '''G''' es la intersección de los centralizadores de cada uno de sus elementos.
* Si existe en un grupo '''G''' un único elemento ''a'', cuyo [[Orden (teoría de grupos)|orden]] es 2, entonces el centralizador de ''a''
== Véase también ==
▲* Si existe en un grupo G un único elemento ''a'', cuyo orden es 2, entonces el centralizador de ''a'' en G es el mismo grupo G.
* [[Propiedad conmutativa]].
* [[Grupo abeliano]].
* [[Grupo nilpotente]].
* [[Normalizador]].
* [[Subgrupo conmutador]].
* [[Acción_(matemática)#Ecuación de clases|Ecuación de clases]].
== Referencias ==
{{listaref}}
=== Bibliografía ===
*{{Cita libro | apellido = Rotman | nombre = Joseph J. | título = An introduction to the theory of groups | editorial = Springer-Verlag | año = 1994 | edición = Corrected second printing, 1999 | isbn = 978-1-4612-8686-8}}
* {{Citation |last=Zaldívar |first=Felipe |date=2009 |title=Introducción a la teoría de grupos |edition= |volume= |series= |publisher= |isbn=970-32-3871-8}}
{{Control de autoridades}}
[[Categoría:Teoría de grupos]]
|