Centre d'un groupe

• Le centre d'un groupe abélien G est le groupe G entier, c'est-à-dire : Z_G = G.
• Le centre du groupe alterné A_n est trivial pour n ≥ 4.
• Le centre du groupe linéaire GL_n(R) est le sous-groupe des matrices scalaires non nulles, pour tout anneau commutatif R.

L'action par conjugaison de G sur lui-même est le morphisme de G dans le groupe des automorphismes de G ${\displaystyle \iota :G\to Aut(G),\,g\mapsto \iota _{g},}$

où ι_g est l'automorphisme intérieur défini par ${\displaystyle \iota _{g}:G\to G,h\mapsto ghg^{-1}.}$

Son noyau et son image sont

${\displaystyle \ker(\iota )=Z_{G}\quad {\text{ et }}{\mbox{im}}(\iota )={\mbox{Int}}(G).}$

Le sous-groupe Int(G) est appelé groupe des automorphismes intérieurs de G. Ce résultat permet de montrer que tout groupe fini dont l'ordre est le carré d'un nombre premier est abélien.

On peut en déduire, d'après les théorèmes d'isomorphisme :

${\displaystyle G/Z_{G}\simeq {\mbox{Int}}(G).}$

Notons également qu'on groupe est abélien, si et seulement si, le quotient par son noyau est cyclique.

• Centre (algèbre)
• Centralisateur

• Portail de l’algèbre