Centro de un grupo

En teoría de grupos, el centro de un grupo es el conjunto (que resulta ser un subgrupo) de elementos del grupo que conmutan con todos los elementos del mismo. De manera formal, dado un grupo $(G,*)$ , definimos el centro del grupo $G$ como sigue:

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

Por ejemplo sea G el grupo gl(2, R) de las matrices 2 × 2 invertibles

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

con coeficientes reales. La innversibilidad de una matriz equivale a que el determinante

\operatorname {det} (A)=ad-bc

sea diferente de 0.

Entonces un cálculo directo muestra que el centro de G consiste de las matrices escalares

{\begin{bmatrix}\lambda &0\\0&\lambda \end{bmatrix}}.

Este es un caso particular, del resultado siguiente:

Proposición El centro del grupo gl(n, R) de las matrices n × n inversibles consiste de las matrices diagonales constantes, es decir, aquellas que son un múltiplo de la matriz identidad.

Para otro ejemplo, sea G el grupo de los cuaterniones. Es fácil verificar que el centro de ese grupo es $<-1>={-1,1}$ pues son los únicos elementos que pueden conmutar con el resto.

Propiedades

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

Proposición. El centro Z(G) de un grupo G es un subgrupo normal abeliano de G.

Z(G) es un grupo: El elemento neutro e del grupo conmuta con todos los elementos de G y luego e ∈ Z{G). Si a, b ∈ Z(G), h ∈ G entonces

(a*b)*h=a*(b*h)=a*(h*b)=(a*h)*b=(h*a)*b=h*(a*b),\,

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. Luego multiplicando por a^-1 la derecha y por la izquierda tenemos que a^-1 * g = g * a^-1 para todo g ∈ G. Luego a^-1 ∈ Z(G).