logo

Centre d'un groupe


Centre d'un groupe : encyclopédie mathématiques

wikipediaCet article est issu de l'encyclopédie libre Wikipedia.
Vous pouvez consulter l'article ici ainsi que son historique.
Les textes et les images sont disponibles sous les termes de la Licence de documentation libre GNU.

En théorie des groupes, on appelle centre d'un groupe G l'ensemble des éléments qui commutent avec tous les autres.

Sommaire

[modifier] Définition

Soit (G, * ) un groupe, noté multiplicativement, de neutre e.

 Z_G = \left\{ z \in G | gz = zg \forall g \in G\right\}

ZG est un sous-groupe de G.

[modifier] Propriétés

  • ZG est un sous-groupe caractéristique (et donc normal) de G.
  • Tout sous-groupe de ZG est sous-groupe normal de G.
  • ZG est abélien.

[modifier] Exemples

  • Le centre d'un groupe abélien G est le groupe G entier, c'est-à-dire :

Z_G = G \,

  • Le centre du groupe alterné An est trivial pour n ≥ 4.

[modifier] Application

On considère l'automorphisme intérieur :

\phi : G \rightarrow Aut(G), \, g \mapsto \phi_g \,

où \phi_g \, est l'automorphisme défini par:

\phi _g : G \rightarrow G, h \mapsto g h g^{-1} \,

On a alors:

 \ker (\phi)=Z_G \,
 \mbox{Im} \, \phi= \mbox{Int}(G)

Le sous-groupe Int(G) est appelé groupe des automorphismes intérieurs de G.

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

 G/Z(G) \cong \mbox{Int}(G) \,.

[modifier] Voir aussi

  • Centre (algèbre)
wikipediaCet article est issu de l'encyclopédie libre Wikipedia.
Vous pouvez consulter l'article ici ainsi que son historique.
Les textes et les images sont disponibles sous les termes de la Licence de documentation libre GNU.


maths haut de pagehaut Retrouvez cette page sur ilemaths l'île des mathématiques
© Tom_Pascal & Océane 2012