Sous-groupe normal

Un article de Wikipédia, l'encyclopédie libre.
Cet article ou cette section concernant les mathématiques doit être recyclé.
Une réorganisation et une clarification du contenu est nécessaire. Discutez des points à améliorer en page de discussion.

En théorie des groupes, un sous-groupe normal ou sous-groupe distingué ou sous-groupe invariant H d'un groupe G est un sous-groupe globalement stable par l'action de G sur lui-même par conjugaison. Les sous-groupes normaux interviennent naturellement dans la définition du quotient d'un groupe. Les sous-groupes normaux de G sont exactement les noyaux des morphismes définis sur G.

Un sous-groupe caractéristique de G est un sous-groupe stable par l'action de tous les automorphismes de G. Un tel sous-groupe est toujours normal.

Les sous-groupes normaux connaissent des applications en géométrie dans l'étude des actions de groupes, en topologie algébrique dans la classification des revêtements, en théorie de Galois dans la correspondance de Galois.

Sommaire

[modifier] Définition

On dit que H est un sous-groupe distingué de G s'il est stable par conjugaison, soit \forall (x, h) \in G\times H, x h x^{-1} \in H \,.

On note alors H\trianglelefteq G.

Une façon équivalente de définir un sous-groupe distingué est de dire que les classes à droite et à gauche de H dans G coïncident, c'est-à-dire:

\forall x \in G, x H = H x \,

Si G est abélien, tous les sous-groupes sont distingués.

[modifier] Lien avec les morphismes de groupes

Le noyau N d'un morphisme de groupes f:G\to G' est toujours un sous-groupe normal de G, car pour h\in N, l'image f(h) est l'élément neutre de G', et donc f(xhx − 1) = f(x)f(x − 1) aussi, pour tout x\in G. Réciproquement, tout sous-groupe normal est noyau d'un morphisme de groupes (un tel morphisme est la surjection canonique du groupe dans le groupe quotient). Donc les sous-groupes distingués sont précisément les sous-ensembles qui sont le noyau d'un morphisme de groupes. Ainsi, si N est un sous-groupe normal et g:G''\to G est un morphisme de groupes, l'image réciproque g − 1(N) est un sous-groupe normal de G'' : on peut voir N comme le noyau d'un morphisme de groupes f:G\to G', et alors g − 1(N) est le noyau du morphisme composée g\circ f.

Article détaillé : homomorphisme de groupes

[modifier] Groupe quotient

Les sous-groupes distingués sont importants dans l'étude des groupes quotients à cause du résultat suivant:

On peut construire un groupe quotient G / H de loi compatible avec celle de G

si et seulement si

H est un sous-groupe distingué de G.

Icône de détail Article détaillé : Groupe quotient.

[modifier] Exemples

  • {e} et G sont toujours des sous-groupes normaux (et même caractéristiques) de G. S'ils sont les seuls sous-groupes normaux (et G\neq\{e\}), alors G est dit simple.
  • Tout sous-groupe d'un groupe abélien est normal (mais pas toujours caractéristique).
Z_G = \left\{ x \in G\ |\ \forall y \in G, x y = y x \right\}

C'est toujours un sous-groupe normal (et caractéristique) de G.

  • On appelle groupe dérivé de G, noté D(G), le groupe engendré par les commutateurs, soit D(G)=\langle\{aba^{-1}b^{-1}|(a, b)\in G^2\}\rangle est normal (et caractéristique). C'est le plus petit sous-groupe distingué de G tel que le quotient soit commutatif.