Théorie des groupes/Exercices/Sous-groupes caractéristiques
Problème 1
modifierSoient H un groupe non commutatif et K un sous-groupe commutatif de H non contenu dans le centre de H. Puisque K est sous-groupe de H, il est clair que pour tout élément (x, y) de , (1,x) appartient lui aussi à . Il est clair aussi que l’application f : est un endomorphisme de . Montrer que le centre de n’est pas stable pour cet endomorphisme, c’est -à-dire que
- .
En déduire que le centre d'un groupe n’est pas forcément stable pour tout endomorphisme de ce groupe[1], ce qui montre qu'un sous-groupe caractéristique n’est pas forcément stable pour tout endomorphisme.
Comme vu dans un exercice, le centre de est . Puisque K est commutatif, Z(K) = K, donc le centre de est . Donc
- .
Puisque, par hypothèse, K n’est pas contenu dans le centre de H, il en résulte que n’est pas contenu dans , autrement dit dans , ce qui démontre la première partie de l'énoncé.
Montrons maintenant qu’il existe des H et des K tels que dans l'énoncé. Choisissons un groupe non commutatif H (par exemple le groupe symétrique d'un ensemble d'au moins trois éléments). Puisque H n’est pas commutatif, son centre n’est pas égal à H tout entier. Choisissons un élément a de H qui n'appartient pas au centre de H. Le sous-groupe <a> de H engendré par a est commutatif et n’est pas contenu dans le centre de H, donc il convient pour K. Compte tenu de la première partie de la solution, nous avons prouvé que le centre d'un groupe G n’est pas forcément stable par tout endomorphisme de G.
Problème 2
modifierSoient G un groupe fini et p un nombre premier. On a vu dans les exercices de la série Théorèmes de Sylow que l'intersection des p-sous-groupes de Sylow de G et l'intersection des normalisateurs de ces sous-groupes dans G sont des sous-groupes normaux de G. Prouver que ce sont des sous-groupes caractéristiques de G.
Soit un automorphisme de G. L'image par de l'intersection des p-sous-groupes de Sylow de G est l'intersection des images de ces sous-groupes par :
- (1)
où P parcourt les p-sous-groupes de Sylow de G.
Puisque les p-sous-groupes de Sylow de G sont les sous-groupes de G d'un certain ordre, les images de ces sous-groupes par sont ces mêmes sous-groupes, donc (1) peut s'écrire
ce qui montre que est un sous-groupe caractéristique de G.
D'après un exercice de la série Conjugaison, centralisateur, normalisateur, . On vient de voir que les images des p-sous-groupes de Sylow de G par sont ces mêmes sous-groupes de Sylow, donc, si on fait parcourir à P les p-sous-groupes de Sylow de G,
ce qui montre que est un sous-groupe caractéristique de G.
Problème 3
modifierSoient G un groupe et K un sous-groupe caractéristique de G.
a) Prouver que pour tout automorphisme de G, il existe un et un seul automorphisme de G/K qui, pour tout élément de G, applique l'élément gK de G/K sur l'élément de G/K.
Soit donc un automorphisme de G. Si et sont deux éléments de G qui appartiennent à la même classe modulo K, alors appartient à K, donc , autrement dit , appartient à Puisque K est supposé caractéristique dans G, est égal à , donc notre résultat signifie que
- appartient à K,
ce qui revient à dire que et appartiennent à la même classe modulo K.
Nous avons donc prouvé que si et sont des éléments de G tels que la classe modulo K de soit égale à la classe modulo K de , alors la classe modulo K de est égale à la classe modulo K de . Il en résulte (théorie des ensembles) qu'il existe une et une seule application de G/K dans lui-même telle que, pour tout élément de G, applique l'élément de G/K sur l'élément de G/K.
Il reste à prouver que est un automorphisme de G/K.
Soient A et B deux éléments de G/K. Nous pouvons choisir un élément de A et un élément de B. Alors A = aK, B = bK et le produit AB des éléments A et B de G/K est égal à abK. Donc, par définition de , applique AB sur , autrement dit sur , autrement dit (d'après la définition de la loi de composition dans G/K) sur le produit des éléments et , autrement dit sur . Ceci prouve que est un endomorphisme de G/K.
Il reste à prouver que cet endomorphisme est un automorphisme. Prouvons d'abord qu'il est surjectif. Tout élément A de G/K est de la forme avec dans G; alors A est l'image par de l'élément de G/K, ce qui prouve que est surjectif. Prouvons enfin qu'il est injectif. Il suffit pour cela de prouver que son noyau est trivial. Soit A = gK, avec dans G, un élément de G/K appartenant à ce noyau. Alors est l'élément neutre de G/K, ce qui revient à dire que appartient à K. Puisque K est caractéristique dans G, il en résulte que appartient à K, donc A (égal à gK) est l'élément neutre de G/K, ce qui prouve que le noyau de est trivial, donc est injectif.
b) Pour tout automorphisme de G, on désigne, comme dans la solution du point a), par l'unique automorphisme de G/K qui, pour tout élément de G, applique l'élément gK de G/K sur l'élément de G/K. Prouver que l'application
est un homomorphisme de Aut(G) dans Aut(G/K).
Soient et des automorphismes de G; il s'agit de prouver que
- (thèse 1)
Soit A un élément de G/K; alors A est de la forme gK, avec g dans G. Le premier membre de notre thèse (1) applique A sur , c'est-à-dire sur , autrement dit sur , autrement dit sur , autrement dit sur
Cela prouve que le premier et le second membre de notre thèse (1) appliquent A sur le même élément de G/K, donc cette thèse est vraie.
Remarque. Cet exercice nous servira dans le chapitre Sous-groupe de Frattini.
Références
modifier- ↑ Pour ce dernier énoncé, voir N. Bourbaki, Algèbre, ch I, § 5, exerc. 22, Paris, 1970, p. 53 et 132.