Groupe distingué

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 1 Définition 2 Lien avec les morphismes de groupes 3 Groupe quotient 4 Exemples

Définition

On dit que H est un sous-groupe distingué de G s'il est stable par conjugaison, soit .

On note alors .

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:

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

Lien avec les morphismes de groupes

Le noyau N d'un morphisme de groupes est toujours un sous-groupe normal de G, car pour , l'image f(h) est l'élément neutre de G', et donc f(xhx ^{− 1}) = f(x)f(x ^{− 1}) aussi, pour tout . 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 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 , et alors g ^{− 1}(N) est le noyau du morphisme composée .

Article détaillé : homomorphisme de groupes

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.

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 ), alors G est dit simple.

• Tout sous-groupe d'un groupe abélien est normal (mais pas toujours caractéristique).

• On appelle centre du groupe G le sous-groupe:

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 est normal (et caractéristique). C'est le plus petit sous-groupe distingué de G tel que le quotient soit commutatif.

• Si G est un groupe et H un sous-groupe de G, le coeur de H dans G est défini par . C'est un sous-groupe de H qui est distingué dans G et qui contient tous les sous-groupes de H qui sont distingués dans G. Si H est d'indice fini n dans G alors le groupe quotient G / H_G est isomorphe à un sous-groupe de S_n, le groupe symétrique sur n éléments.

• Portail des mathématiques