Théorie des groupes/Sous-groupe distingué et groupe quotient

Leçons de niveau 14
Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
Sous-groupe distingué et groupe quotient
Icône de la faculté
Chapitre no 4
Leçon : Théorie des groupes
Chap. préc. :Classes modulo un sous-groupe
Chap. suiv. :Sous-groupes de Z, divisibilité dans N et dans Z

Exercices :

Sous-groupe distingué et groupe quotient
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Théorie des groupes : Sous-groupe distingué et groupe quotient
Théorie des groupes/Sous-groupe distingué et groupe quotient
 », n'a pu être restituée correctement ci-dessus.

Sous-groupe distingué[modifier | modifier le wikicode]


Cette définition est équivalente à dire que pour tout g dans G.

En effet, si pour tout g, ceci est aussi vrai pour , donc , d'où en multipliant correctement .

Pour exprimer que H est sous-groupe normal de G, on écrit souvent H G ou encore H ⊴ G.

Remarques :

  • Si H est un sous-groupe distingué de G, les classes à gauche et à droite de G suivant H coïncident : . On vérifie facilement que cette propriété caractérise les sous-groupes distingués : un sous-groupe H d’un groupe G est distingué si et seulement les classes à gauche de G suivant H sont identiques aux classes à droite. Donc, si H est sous-groupe distingué de G, la relation d'équivalence entre éléments de G (appartenir à la même classe à gauche) est équivalente à la relation d'équivalence (appartenir à la même classe à droite). Si deux éléments x et y de G sont dans cette relation, nous dirons qu’ils sont congrus modulo H et nous écrirons
  • Si H est un sous-groupe distingué de G, il n'y a pas de différence entre transversale droite et transversale gauche de H dans G.
  • Nous verrons qu'un sous-groupe de G de la forme avec est appelé un conjugué de H. La définition revient donc à dire qu'un sous-groupe est distingué si et seulement s'il est son seul conjugué.
  • Rappelons que si f est une application d’un ensemble X dans lui-même, une partie A de X est dite stable par f si . Un sous-groupe de G est donc distingué dans G si et seulement s'il est stable par tout automorphisme intérieur de G.
  • Si un sous-groupe H de G est distingué dans G, il est distingué dans tout sous-groupe intermédiaire entre H et G.
  • On trouvera dans les exercices un exemple de sous-groupe non normal.
  • Un sous-groupe distingué d’un sous-groupe distingué d’un groupe G n’est pas forcément un sous-groupe distingué de G. Nous en verrons un exemple dans le cas où G est le quatrième groupe alterné. (Chapitre sur les groupes alternés finis, sous-chapitre sur les sous-groupes distingués de An.) Le lecteur pourra trouver un autre exemple en explorant les sous-groupes du groupe diédral D8.
  • On vérifie facilement que si (Hi)i ∈ I est une famille non vide de sous-groupes distingués d’un groupe G, est un sous-groupe distingué de G. Soit X une partie de G. L'ensemble des sous-groupes distingués de G contenant X n’est pas vide, car il comprend au moins G. D'après ce qui précède, l'intersection des sous-groupes distingués de G contenant X est donc un sous-groupe distingué de G. C’est le plus petit sous-groupe distingué de G contenant X. On l'appelle le sous-groupe distingué de G engendré par X. Il est égal au sous-groupe ⟨Y⟩ engendré par et contient le sous-groupe ⟨X⟩.


Début de l'exemple
Fin de l'exemple



Soient G un groupe et H un sous-groupe de G. On vérifie facilement que les éléments g de G qui normalisent H forment un sous-groupe de G.


Il est clair que NG(H) contient H et que c’est le plus grand sous-groupe de G contenant H dans lequel H est normal.

Un sous-groupe H de G est sous-groupe normal de G si et seulement si NG(H) est G tout entier.


Démonstration. Quitte à remplacer G par NG(H), nous pouvons supposer que H est sous-groupe distingué de G. Nous avons . Comme les classes à droite suivant H sont identiques aux classes à gauche, ceci peut s'écrire . Ainsi, HK = KH. Nous avons vu (dans un exercice de la série Groupes, premières notions) que, de façon générale, si A et B sont deux sous-groupes de G tels que AB = BA, alors AB est un sous-groupe de G ; c’est évidemment le sous-groupe de G engendré par , d'où le point 1° de l'énoncé. Supposons que K soit lui aussi distingué dans G et prouvons que HK est distingué dans G. Pour tout élément g de G, nous avons g(HK)g-1 = (gHg-1)(gKg-1) = HK, d'où la thèse.

Remarque. Soient G un groupe commutatif noté additivement, H et K des sous-groupes de G. Puisque G est commutatif, H et K sont distingués dans G, donc, d’après ce qui précède, le sous-groupe de G engendré par H et K est l’ensemble H + K des éléments de G de la forme h + k, avec h dans H et k dans K. Cela peut évidemment se démontrer plus directement.


.

Nous verrons dans la suite de ce chapitre que, réciproquement, tout sous-groupe distingué d’un groupe G est le noyau d’un homomorphisme de groupes partant de G.

Notion de groupe simple[modifier | modifier le wikicode]


Exemples :

  • avec p premier est simple (il n'a pas de sous-groupe autre que lui-même et que son sous-groupe nul). Ce sont les groupes abéliens simples. (On le démontrera au chapitre sur les groupes monogènes.)
  • Le groupe alterné An est simple pour n = 3 ou n ≥ 5. (Nous le verrons dans un des chapitres suivants.)
  • Toutes les structures de groupes simples finis ont été classées à peu près entre 1955 et 1983 ; voir les articles de Wikipédia en français et anglais.

Définition d’un groupe quotient[modifier | modifier le wikicode]

Rappelons que, de façon générale, si X et Y sont deux parties d’un groupe G noté multiplicativement, on désigne par XY l’ensemble des produits xy, où x parcourt X et y parcourt Y. On définit ainsi une loi de composition associative (vérification facile) dans l’ensemble des parties de G. Si X (par exemple) est réduit à un seul élément x, on écrit aussi xY (notation déjà rencontrée) au lieu de {x}Y.

Soient G un groupe et H un sous-groupe distingué de G.

Montrons que si X et Y sont deux classes d'éléments de G suivant H, XY en est une aussi. (Rappel : il n'y a pas à distinguer entre classes à gauche et classes à droite, puisque le sous-groupe H est distingué.)
Il existe des éléments x et y de G tels que X soit la classe de x suivant H et Y la classe de y. Nous avons alors XY = (Hx)(yH) = H(xy)H; comme H est distingué, nous pouvons remplacer H(xy) par (xy)H et nous trouvons XY = xyHH. Mais HH = H (puisque H est un sous-groupe de G), donc la relation obtenue peut s'écrire XY = xyH, ce qui montre bien que XY est une classe suivant H (et, plus particulièrement, la classe de xy).

De ce qui précède, il résulte qu'en faisant correspondre à une classe X et une classe Y l’ensemble XY, nous définissons une loi de composition dans l’ensemble des classes suivant H et que cette loi peut être caractérisée par la relation

.

Prouvons que cette loi est une loi de groupe. Elle est associative, car elle est induite par une loi de composition associative définie dans l’ensemble des parties de G (voir plus haut). Il est clair que H est une classe suivant H, à savoir la classe 1H du neutre 1; la règle , notée plus haut, montre donc que H est neutre à gauche (faire ) et à droite (faire ); ainsi, H est neutre pour notre loi . Enfin, la règle donne et aussi , ce qui montre que la classe xH admet la classe pour inverse.
Nous avons donc défini une loi de groupe dans l’ensemble des classes d'éléments de G suivant H.



En général, dans une expression comportant le symbole /, tout autre symbole d'opération entre groupes est censé avoir la précédence sur /. Par exemple, signifie ; de même, si H et K sont des sous-groupes de G tels que HK soit lui aussi un sous-groupe de G, l'expression G/HK signifie G/(HK). Il nous arrivera cependant d'utiliser des parenthèses que cette convention rend théoriquement inutiles.

La relation

.

montre que la surjection de G sur G/H est un homomorphisme de groupes, dit homomorphisme canonique, ou surjection canonique, de G sur G/H (on trouve également les appellations projection canonique[1],[2][3],[4][5], application canonique[5],[6] et bien sûr morphisme canonique[5]).

Il est clair que le noyau de cet homomorphisme est H, ce qui montre que tout sous-groupe distingué d’un groupe G est noyau d’un homomorphime de groupes partant de G.

Remarque : pour prouver que la loi définie sur l’ensemble des classes est une loi de groupe et la surjection canonique un homomorphisme de groupes, nous aurions pu dire brièvement que la relation

.

montre que la surjection de G sur l’ensemble des classes est un homomorphisme de magmas; or si est un homomorphisme surjectif de magmas et que est un groupe, alors est un groupe et f est un homomorphisme de groupes.

Début d’un théorème
Fin du théorème


Sous-groupes d’un groupe quotient[modifier | modifier le wikicode]

Si H est un sous-groupe normal d’un groupe G, si K est un sous-groupe de G contenant H, on vérifie facilement que l’image de K par l'homomorphisme canonique de G sur G/H est K/H, qui est donc un sous-groupe de G/H. Le théorème qui suit entraîne, entre autres choses, que tout sous-groupe de G/H s'obtient de cette façon.

Début d’un théorème
Fin du théorème



Sous-groupes normaux maximaux[modifier | modifier le wikicode]

Un sous-groupe normal maximal de G est donc un sous-groupe normal propre M de G pour lequel il n'existe pas de sous-groupe normal N de G tel que M < N < G.

Par exemple, un groupe est simple si et seulement si son sous-groupe réduit à l'élément neutre est un sous-groupe normal maximal (et est alors évidemment le seul). Un groupe réduit à l'élément neutre n'a pas de sous-groupe normal maximal. Dans un groupe fini, tout sous-groupe normal propre est contenu dans un sous-groupe normal maximal; en effet, si H est un sous-groupe normal propre d’un groupe fini G, on peut, dans l’ensemble non vide des sous-groupes normaux propres de G contenant H, en considérer un dont l’ordre est le plus grand possible (d'ailleurs, tout ensemble ordonné fini non vide admet un élément maximal). En particulier, tout groupe fini non réduit à l'élément neutre admet au moins un sous-groupe normal maximal (dans ce qui précède, prendre pour H le sous-groupe normal propre 1).

On déduit facilement du théorème de correspondance ci-dessus, ou de son corollaire, que si H est un sous-groupe normal d’un groupe G, alors H est sous-groupe normal maximal de G si et seulement si le groupe quotient G/H est simple.

Les trois théorèmes d'isomorphisme[modifier | modifier le wikicode]

Soit un homomorphisme de groupes. Nous désignerons par K = Ker(f) le noyau de f et par Im(f) son image . Si deux éléments x et y de G appartiennent à une même classe suivant Ker(f), ils ont la même image par f, donc pour toute classe X, il existe un et un seul élément z de Im(f) possédant la propriété suivante : . Si à chaque classe X, nous faisons correspondre cet élément z, nous définissons une application telle que, pour tout , . Pour tous éléments x, y de G, , donc est un homomorphisme de G/Ker(f) dans H.
La relation (1) montre que (qui a Im(f) pour groupe d'arrivée) est surjectif : tout élément de Im(f) est image d’un certain x par f et est donc image de l'élément xK de G/Ker(f) par .
La même relation (1) montre que si , alors f(x) = 1, donc , donc xK est l'élément neutre K du groupe G/K. Ainsi, le seul élément du noyau de est l'élément neutre, donc est injectif et, finalement, est un isomorphisme de G/Ker(f) sur Im(f).
Nous avons ainsi prouvé le

Début d’un théorème
Fin du théorème


On tire facilement du premier théorème d'isomorphisme que si et sont des groupes, alors il existe un homomorphisme surjectif de sur si et seulement si est isomorphe à un quotient de (Voir les exercices.) Au lieu de dire que est isomorphe à un quotient de , on dit souvent (abusivement) que est un quotient de . Puisque le composé de deux homomorphismes surjectifs est un homomorphisme surjectif, on tire facilement de ce qui précède que la relation « A est un groupe isomorphe à un quotient du groupe B » est transitive (en A et B)

Dans les hypothèses du premier théorème d'isomorphisme, désignons par p l'homomorphisme canonique de G sur G/Ker(f) et par i l'injection canonique de Im(f) dans H (i est évidemment un homomorphisme). Alors f se décompose en .

Il résulte du premier théorème d'isomorphisme et de la relation que si f est un homomorphisme partant d’un groupe G, . En particulier, l’ordre de Im(f) divise celui de G.

Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème

Remarque. D'après le théorème de correspondance, l'hypothèse selon laquelle K est normal dans G équivaut (dans les hypothèses du théorème ci-dessus) à ce que K/H soit normal dans G/H. Le troisième théorème d'isomorphisme montre donc que tout quotient d'un quotient d'un groupe G est isomorphe à un quotient de G. On en tire facilement que la relation « A est un groupe isomorphe à un quotient du groupe B » est transitive (en A et B), ce qu'on a d'ailleurs déjà déduit du premier théorème d'isomorphisme.

Voici un théorème qui est dans une certaine mesure plus fort et dans une certaine mesure plus faible que le premier théorème d'isomorphisme.

Début d’un théorème
Fin du théorème

Remarque. Faisons les mêmes hypothèses que dans le troisième théorème d'isomorphisme, sauf que nous ne supposons plus que le sous-groupe K de G est normal dans G. Donc :

H ⊴ G et H ⊴ K ≤ G.

Désignons par G/K l’ensemble des classes à gauche de G suivant K. (Donc ici, G/K ne désigne pas un groupe.) Comme dans la démonstration du troisième théorème d'isomorphisme, on prouve qu’il existe une et une seule application h de G/H sur G/K telle que, pour tout x dans G,

h(xH) = xK.

La relation d'équivalence (en X et Y dans G/H) « h(X) = h(Y) » équivaut à ce que X et Y appartiennent à la même classe à gauche du groupe G/H suivant son sous-groupe K/H (démontré dans Exercices/Sous-groupe distingué et groupe quotient). L'application déduite de h par passage au quotient par cette relation d'équivalence est une bijection de l'ensemble (G/H)/(K/H) (ensemble des classes à gauche de G/H suivant K/H) sur l’ensemble G/K. (Le troisième théorème d'isomorphisme revient à dire que si K est normal dans G, la bijection en question est un isomorphisme de groupes.) Il en résulte qu'on a la relation entre indices :

[(G/H) : (K/H)] = [G:K].

Ce fait et le troisième théorème d'isomorphisme amènent certains auteurs[7] à énoncer le théorème de correspondance sous la forme plus complète que voici :

Début d’un théorème
Fin du théorème


Une conséquence de la formule du produit[modifier | modifier le wikicode]

Début d’un théorème
Fin du théorème

Notes et références[modifier | modifier le wikicode]

  1. Daniel Perrin (1996), Cours d'algèbre, Ellipses.
  2. Pierre Colmez (2012), Éléments d'analyse et d'algèbre, Les éditions de l'École polytechnique.
  3. Jean-Pierre Ramis, André Warusfel et al. (2007), Mathématiques tout-en-un pour la licence — Niveau L2, Dunod.
  4. Jean-Pierre Escofier (2016), Toute l'algèbre de la licence, Dunod.
  5. 5,0 5,1 et 5,2 Claude Deschamps, André Warusfel et al. (2001), Mathématiques 2e année, Dunod.
  6. Georges et Marie-Nicole Gras (2004), Algèbre fondamentale — Arithmétique, Ellipses.
  7. Par exemple J. J. Rotman, An Introduction to the Theory of Groups, 4e édition, tirage de 1999, p. 38.