Centro de un grupo

En matemáticas, y más concretamente en teoría de grupos, el centro de un grupo es el subconjunto formado por los elementos que conmutan con todos los elementos del grupo. De manera formal, dado un grupo ${\displaystyle (G,*)}$, se define su centro como:

${\displaystyle \operatorname {Z} (G):=\{g\in G:\forall h\in G,g*h=h*g\}.}$

El centro de ${\displaystyle G}$ es un subgrupo, que además es abeliano, normal y característico en ${\displaystyle G}$.^[1]​

Por ejemplo, sea G el grupo GL(2, R) de las matrices invertibles de orden 2 × 2 con coeficientes reales:

${\displaystyle A={\begin{bmatrix}a&b\\c&d\end{bmatrix}}}$

Las matrices invertibles son aquellas cuyo determinante ${\displaystyle \operatorname {det} (A)=(ad-bc)}$ es diferente de 0.

Un cálculo directo muestra que el centro de G consiste en las matrices escalares

${\displaystyle \lambda I={\begin{bmatrix}\lambda &0\\0&\lambda \end{bmatrix}},}$

donde ${\displaystyle \lambda }$ es cualquier número real distinto de cero.

Este es un caso particular del resultado siguiente:

Para otro ejemplo, sea G el grupo de los cuaterniones. Es fácil verificar que el centro de ese grupo es ${\displaystyle \langle -1\rangle =\{-1,1\}}$, pues son los únicos elementos que conmutan con el resto.

• Si G es abeliano (conmutativo) entonces G=Z(G).

• El centro Z(G) de un grupo G es un subgrupo normal abeliano de G.

• El centro de G es un subgrupo característico (invariante bajo cualquier automorfismo de G).

Demostración

Sea ${\displaystyle f:G\to G}$ un automorfismo de ${\displaystyle G}$ y sea ${\displaystyle z\in Z(G)}$. Entonces, para todo ${\displaystyle g\in G}$ ${\displaystyle 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).}$ en consecuencia ${\displaystyle f(z)\in Z(G)}$.

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:^[1]​

${\displaystyle C_{G}(a)\ :=\{x\in G\mid xa=ax\}.}$

• El centralizador de a en G es un subgrupo de 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 es 2, entonces el centralizador de a es todo G.

• Propiedad conmutativa.
• Grupo abeliano.
• Grupo nilpotente.
• Normalizador.
• Subgrupo conmutador.
• Ecuación de clases.

• Rotman, Joseph J. (1994). An introduction to the theory of groups (Corrected second printing, 1999 edición). Springer-Verlag. ISBN 978-1-4612-8686-8. 
• Zaldívar, Felipe (2009), Introducción a la teoría de grupos, ISBN 970-32-3871-8 .