miniatura|Taula de Cayley de Dih₄, el grup diedral d'ordre 8.El centre és {0, 7}: la fila que comença per 7 és la transposada de la columna que comença per 7. Les entrades 7 són simètriques respecte a la diagonal principal En àlgebra abstracta, el centre d'un grup G, denotat Z(G),La notació Z prové de l'alemany Zentrum, que significa "centre". és el conjunt d'elements que commuten amb tot element de G. Formalment, .

El centre és un subgrup de G, que per definició és abelià (és a dir, commutatiu). Com a subgrup, sempre és normal i característic, però no sempre és completament característic. El grup quocient G / Z(G) és isomorf al grup d'automorfismes interns de G.

Un grup G és abelià si i només si Z(G) = G.

Propietats El centre de G és sempre un subgrup de G. En particular: Z(G) conté e, l'element neutre de G, perquè eg = g = ge per a tot g ∈ G per definició de e; per tant, per definició de Z(G), es té e ∈ Z(G). Si x i y pertanyen a Z(G), llavors (xy)g = x(yg) = x(gy) = (xg)y = (gx)y = g(xy) per a tot g ∈ G i, per tant, xy també pertany a Z(G). És a dir, Z(G) és tancat per l'operació de grup. Si x pertany a Z(G), llavors gx = xg, i multiplicant dos cops, un per la dreta i un altre per l'esquerra per x−1, tenim x−1g = gx−1. Per tant, x−1 ∈ Z(G). Addicionalment, el centre de G sempre és un subgrup normal de G, ja que és tancat per conjugació.

Classes de conjugació i centralitzadors Per definició, el centre és el conjunt dels elements pels quals la classe de conjugació de cada centralitzador és el mateix element, és a dir, ccl(g) = {g}.

El centre és també la intersecció de tots els centralitzadors de cada element de G. Com que els centralitzadors són subgrups, això demostra un altre cop que el centre és un subgrup.

Conjugació Considerem l'aplicació f: G → Aut(G) de G en el grup d'automorfismes de G definida per f(g) = φg, on φg és l'automorfisme de G definit per .

La funció f és un homomorfisme de grups, i el seu nucli és exactament el centre de G; la seva imatge és el grup d'automorfismes interns de G, denotat Inn(G). Pel primer teorema d'isomorfisme, tenim .

El conucli d'aquesta aplicació és el grup d'automorfismes externs, i aquests formen la successió exacta .

Exemples El centre d'un grup abelià G és la totalitat de G. El centre del grup de Heisenberg G està format per totes les matrius de la forma El centre d'un grup simple no abelià és trivial. El centre del grup diedral Dn és trivial si n és senar. Si n és parell, el centre consisteix en l'element neutre més la rotació de 180° del polígon. El centre del grup dels quaternions és . El centre del grup simètric Sn és trivial per a n ≥ 3. El centre del grup alternant An és trivial per a n ≥ 4. El centre del grup lineal general és el conjunt de matrius escalars . El centre del grup ortogonal és . El centre del grup multiplicatiu dels quaternions no nuls és el grup multiplicatiu dels nombres reals tret del zero. Utilitzant l'equació de classes es pot demostrar que el centre de qualsevol p-grup finit no trivial és no trivial. Si el grup quocient és cíclic, llavors G és abelià (d'on G = Z(G), i és trivial). El grup quocient no és isomorf al grup dels quaternions .

Centres superiors Prenent successivament els quocients pel centre d'un grup, es pot obtenir una successió de grups anomenada sèrie central ascendent:

El nucli del morfisme és li-sim centre de G, i es denota per . En concret, l'-sim centre està format pels elements que commuten amb tots els elements llevat d'un element de li-sim centre. Amb aquesta definició, hom pot definir el 0-sim centre d'un grup com el subgrup identitat. Es pot continuar aquesta definició fins als ordinals transfinits per inducció transfinita; la unió de tots els centres superiors s'anomena hipercentre.Aquesta unió inclou termes transfinits si la sèrie central ascendent no convergeix en una etapa finita.

La cadena ascendent de subgrups

estabilitza a i (equivalentment, ) si i només si no té centre.

Exemples Per a un grup sense centre, tots els centres superiors són zero, que és el cas d'estabilització . Pel lema de Grün, el quocient d'un grup perfecte pel seu centre és un subgrup sense centre, de tal manera que tots els centres superiors són iguals al centre. Aquest és un cas d'estabilització on .

Notes

Vegeu també Centre (àlgebra) Centralitzador i normalitzador Classe de conjugació

Enllaços externs

Categoria:Teoria de grups