- Sous-groupe invariant
-
Sous-groupe normal
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
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.
Article détaillé : Groupe quotient.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 / HG est isomorphe à un sous-groupe de Sn, le groupe symétrique sur n éléments.
- Portail des mathématiques
Catégories : Page à recycler (mathématiques) | Théorie des groupes
Wikimedia Foundation. 2010.