Théorie des groupes/Exercices/Théorèmes de Sylow
Problème 1 (Autre démonstration des théorèmes de Sylow)
[modifier | modifier le wikicode]Le but de cet exercice est de donner une démonstration des théorèmes de Sylow qui ne dépend pas de la théorie des espaces vectoriels.
a) Soient G un groupe fini et p un nombre premier. Soit E un ensemble non vide de p-sous-groupes de G possédant les deux propriétés suivantes :
1° si H est un sous-groupe de G appartenant à E, tous les conjugués de H dans G appartiennent à E ;
2° si H et K appartiennent à E, si H normalise K, alors H = K.
Montrer qu'alors, tous les éléments de E sont des sous-groupes de G conjugués entre eux dans G (de sorte que E est une classe de conjugaison de sous-groupes de G) et leur nombre est congru à 1 modulo p.
(Indication. Choisir un élément V de E, le faire opérer par conjugaison sur l’ensemble F de ses conjugués dans G et obtenir un renseignement sur le cardinal de F. Ensuite, supposer que, par absurde, il y ait un élément W de E qui ne soit pas conjugué de V dans G ; faire opérer W par conjugaison sur l’ensemble F déjà considéré (l'ensemble des conjugués de V) et obtenir sur le cardinal de F un renseignement qui contredit le précédent.)
Puisque l’ensemble E est supposé non vide, nous pouvons choisir un élément V de E. Désignons par F l’ensemble des conjugués V1, ... , Vr de V dans G. Par hypothèse sur E, ces conjugués appartiennent tous à E. Faisons opérer V sur F par conjugaison, ce qui est clairement possible, puisque l’ensemble F est stable par conjugaison par tout élément de G et a fortiori par tout élément de V. Si un Vi est point fixe, alors V normalise Vi, donc, par hypothèse sur E, Vi est égal à E. Cela montre que V est le seul point fixe de l'opération. Un lemme du chapitre théorique dit que si un p-groupe fini opère sur un ensemble fini X, le nombre de points fixes de cette opération est congru modulo p au cardinal de X. Il résulte donc de ce qui précède que le cardinal r de l’ensemble F des conjugués de V dans G est congru à 1 modulo p.
Supposons maintenant que, par absurde, il existe un élément W de E qui ne soit pas conjugué de V dans G. Nous avons déjà noté que l’ensemble F est stable par conjugaison par tout élément de G, donc nous pouvons faire opérer W sur F par conjugaison. Si un élément Vi de F était point fixe pour cette opération, W normaliserait Vi, donc, par hypothèse sur E, W et Vi seraient égaux, ce qui contredit notre hypothèse selon laquelle W n’est pas un conjugué de V. L'opération de W sur F n'a donc pas d'orbite ponctuelle. D'après le lemme rappelé plus haut, le cardinal r de F est divisible par p. Cela contredit notre précédent résultat, selon lequel r est congru à 1 modulo p.
Nous avons donc prouvé que E est égal à l’ensemble F des conjugués de V et que le cardinal de F, autrement dit de E, est congru à 1 modulo p. Cela démontre l'énoncé.
b) Soient G un groupe fini et p un nombre premier. Appelons p-sous-groupe maximal de G tout élément maximal de l’ensemble des p-sous-groupes de G, cet ensemble étant ordonné par inclusion. (On verra plus loin que les p-sous-groupes maximaux de G sont ses p-sous-groupes de Sylow, définis comme les sous-groupes de G dont l’ordre est la plus grande puissance de p divisant |G|.) Prouver que si P est un p-sous-groupe maximal de G, si x est un élément de G dont l’ordre est une puissance de p, si x normalise P, alors x appartient à P.
Puisque x normalise P, le sous-groupe <x> normalise P, donc <x> P est un sous-groupe de G. D'après la formule du produit, le nombre d'éléments de <x> P divise le produit des ordres de <x> et de P, donc est une puissance de p, donc <x> P est un p-sous-groupe de G. Par maximalité de P, on doit avoir <x> P = P, donc x appartient à P, comme annoncé.
c) Montrer que les p-sous-groupes maximaux de G forment une classe de conjugaison de sous-groupes et que leur nombre est congru à 1 modulo p. (Indication : montrer que l’ensemble des p-sous-groupes maximaux de G satisfait aux hypothèses sur E du point a.)
Désignons par E l’ensemble des p-sous-groupes maximaux de G et montrons que les hypothèses sur E du point a) sont satisfaites. L'ensemble des p-sous-groupes de G n’est pas vide (il comprend 1), donc, comme tout ensemble ordonné fini non vide, il a au moins un élément maximal. (Il suffit d'ailleurs de considérer un p-sous-groupe de G dont l’ordre est le plus grand possible.) Donc E n’est pas vide.
Montrons que E satisfait à la condition 1° du point a), c'est-à-dire que si E comprend un sous-groupe de G, il comprend tout conjugué de ce sous-groupe dans G. Soient P un p-sous-groupe maximal de G et g un élément de G. Il s'agit de prouver que g-1Pg est un p-sous-groupe maximal de G. Tout groupe isomorphe à un p-groupe est un p-groupe, donc g-1Pg est un p-sous-groupe de G. Prouvons que c’est un p-sous-groupe maximal de G. Soit Q un p-sous-groupe de G contenant g-1Pg; il s'agit de prouver que Q = g-1Pg. Du fait que Q contient g-1Pg, il résulte que gQg-1 contient P. Mais gQg-1 est un p-sous-groupe de G, donc, par maximalité de P, gQg-1 = P, d'où Q = g-1Pg, ce qui, comme on l'a vu, prouve que tout conjugué d'un p-sous-groupe maximal de G est lui aussi un p-sous-groupe maximal de G, autrement dit tout conjugué d'un élément de E appartient à E. Cela prouve que E satisfait à la condition 1° du point a).
Prouvons maintenant que E satisfait à la condition 2° de l'énoncé a). Soient H et K deux p-sous-groupes maximaux de G tels que H normalise K; il s'agit de prouver que H = K. Dire que H normalise K revient à dire que tout élément de H normalise K. Comme l’ordre de tout élément de H est une puissance de p, il résulte du point b) que H est contenu dans K. Par maximalité de H, on a donc H = K, comme annoncé.
Ainsi, E satisfait aux hypothèses du point a). Il résulte donc du point a) que les p-sous-groupes maximaux de G forment une classe de conjugaison de sous-groupes et que leur nombre est congru à 1 modulo p.
d) Soient G un groupe fini et p un diviseur premier de l’ordre de G. Prouver le théorème de Cauchy, à savoir que G comprend au moins un élément d'ordre p. (Indication. On peut utiliser la démonstration de McKay : faire opérer le groupe Z/pZ par « rotation » sur l’ensemble des p-uplets (x1, ... , xp) d'éléments de G tels que x1 ... xp = 1.)
Désignons par A l’ensemble des p-uplets (x0, ... , xp-1) d'éléments de G tels que x0 ... xp-1 = 1. Si (x0, ... , xp-1) est un tel p-uplet, le p-uplet (x1, x2, ... , xp-1, x0) en est un aussi. En effet, en multipliant à gauche les deux membres de l'égalité x0 ... xp-1 = 1 par l'inverse de x0 puis à droite par x0, nous trouvons x1 x2 ... xp-1 x0 = 1.
On en tire qu’il existe une et une seule application de Z/pZ × A (produit cartésien) dans A qui, pour tout nombre naturel n et tout élément x = (x0, ... , xp-1) de A, applique le couple (n + p Z, x) sur (xr(0 + n), ... , xr(p-1+n)), où r(s) désigne le reste de s par p. On vérifie que cette application est une opération du groupe Z/pZ sur l’ensemble A. D'après le lemme rappelé dans la solution de la question a, le nombre des points fixes de cette opération est congru modulo p au cardinal de A. Il est clair que le cardinal de A est la (p-1)-ième puissance de l’ordre de G : à chaque (p-1)-uplet (x0, ... , xp-2) d'éléments de G correspond un seul élément de A de la forme (x0, ... , xp-2, xp-1), xp-1 étant défini de manière unique par la condition x0 ... xp-1 = 1. Puisque l’ordre de G est supposé divisible par p, le cardinal de A est donc divisible par p. Dès lors, il résulte de ce qui précède que le nombre des points fixes est divisible par p. Mais les points fixes sont clairement les p-uplets de la forme (x, x, ... , x) avec xp = 1, donc le nombre des points fixes est le nombre des éléments x de G tels que xp = 1. Nous avons ainsi montré que le nombre de ces éléments est divisible par p. Puisque 1 est un de ces éléments, leur nombre n’est pas nul et est donc au moins égal à p. En particulier, il y a au moins un de ces éléments qui est distinct de 1, c'est-à-dire que G a au moins un élément d'ordre p.
- Remarques
-
- Cette démonstration prouve même que le nombre d'éléments d'ordre p est congru à –1 modulo p.
- On trouve une autre preuve de ce fait plus précis (à partir du théorème de Cauchy proprement dit) au début de (en) Marcel Herzog, « Counting group elements of order modulo », Proc. Amer. Math. Soc., vol. 66, 1977, p. 247-250 [lien DOI]
e) Prouver que les p-sous-groupes maximaux de G sont exactement les p-sous-groupes de Sylow de G, c'est-à-dire les sous-groupes de G dont l'ordre est la plus grande puissance de p divisant |G|. (Indication : à l'aide des points b) et d), montrer que si P est un p-sous-groupe maximal de G, alors l'indice de P dans NG(P) n'est pas divisible par p.)
Posons |G| = pam, où m n’est pas divisible par p. Prouvons d’abord que tout p-sous-groupe de Sylow de G est un p-sous-groupe maximal de G. Soit P un p-sous-groupe de Sylow de G contenu dans un p-sous-groupe Q de G. Il s'agit de prouver que P = Q. Par définition des p-sous-groupes de Sylow, P est d'ordre pa, donc, puisque P est contenu dans Q, l’ordre pa de P divise l’ordre de Q. Puisque Q est un p-groupe, Q est donc d'ordre pb, avec a ≤ b. D'après le théorème de Lagrange, pb divise |G| = pam, donc b ≤ a. On a donc a = b, donc P et Q ont le même ordre. Puisqu’ils sont en relation d'inclusion, on a donc P = Q. Comme on l'a vu, cela prouve que tout p-sous-groupe de Sylow de G est un p-sous-groupe maximal de G.
Prouvons maintenant que tout p-sous-groupe maximal H de G est un p-sous-groupe de Sylow de G. Cela revient clairement à prouver que l'indice de H dans G n’est pas divisible par p. D'après le point c), le nombre des conjugués de H dans G est congru à 1 modulo p et n'est donc pas divisible par p. D'après un théorème démontré dans le chapitre Action de groupe, le nombre des conjugués de H dans G est égal à l'indice dans G du normalisateur NG(H) de H dans G, donc l'indice [G:NG(H)] n’est pas divisible par p. D'après la formule des indices,
- [G:H] = [G:NG(H)] [NG(H):H],
donc, pour prouver que l'indice de H dans G n’est pas divisible par p, il suffit de prouver que [NG(H):H] n’est pas divisible par p. Comme H est normal dans NG(H), nous pouvons considérer le groupe quotient NG(H)/H et il s'agit de prouver que l’ordre de ce groupe n’est pas divisible par p. Supposons que, par absurde, il le soit. Alors, d’après le théorème de Cauchy démontré au point d), il y a dans ce groupe un élément d'ordre p. Cela signifie qu’il y a un élément x de NG(H) n'appartenant pas à H mais tel que xp appartienne à H. Puisque H est un p-groupe, le fait que xp appartient à H entraîne que l’ordre de x est une puissance de p. D'autre part, puisque x appartient à NG(H), x normalise H. D'après le point b), ces deux faits entraînent que x appartient à H, contradiction. Cette contradiction prouve que l’ordre de NG(H)/H n’est pas divisible par p et, comme nous l'avons vu, cela achève de prouver l'énoncé.
Remarques.
- Les théorèmes de Sylow, démontrés dans le chapitre théorique, résultent du point e) et de ce qui précède. On s'est ainsi passé de la théorie des espaces vectoriels.
- Certains énoncés démontrés ici serviront à prouver que tous les groupes simples d'ordre 360 sont isomorphes.
Problème 2 (Groupe p-clos)
[modifier | modifier le wikicode]Soient G un groupe fini et p un nombre premier. Prouver que les trois conditions suivantes sont équivalentes :
a) tout p-sous-groupe de Sylow de G est distingué dans G;
b) il existe un p-sous-groupe de Sylow de G qui est distingué dans G;
c) G n'a qu'un p-sous-groupe de Sylow.
Si la condition a) est satisfaite, la condition b) l'est, car G admet au moins un p-sous-groupe de Sylow.
Supposons la condition b) satisfaite et prouvons c). Il existe donc un p-sous-groupe de Sylow P de G qui est distingué dans G. D'après la théorie, tout p-sous-groupe de Sylow de G est conjugué de P. Puisque P est distingué, il est son seul conjugué, donc il est le seul p-sous-groupe de Sylow de G, donc la condition c) est satisfaite.
Supposons enfin la condition c) satisfaite et prouvons a). soit P l'unique p-sous-groupe de Sylow de G. Tout conjugué de P est un p-sous-groupe de Sylow de G, donc, vu l'hypothèse c), est égal à P. Donc P est distingué. Puisque, par hypothèse, c’est le seul p-sous-groupe de Sylow de G, la condition a) est satisfaite.
Remarque. Dans la littérature mathématique de langue anglaise[1], un groupe fini G est dit p-closed, pour un nombre premier p donné, si les conditions équivalentes a), b) et c) sont satisfaites. On trouve dans la littérature de langue française[2] l'expression « p-sous-groupe p-clos » d'un groupe fini G pour désigner un p-sous-groupe de G qui comprend tous les éléments dont l'ordre est puissance de p. Si un tel sous-groupe de G existe, il est unique et est l'unique p-sous-groupe de Sylow de G. Dire que G admet un p-sous-groupe p-clos dans le second sens de « p-clos » revient donc à dire que G est p-clos dans le premier sens. Dans le présent cours, on utilisera l'expression dans son premier sens.
Problème 3 (Sous-groupes de Sylow d'un sous-groupe et d'un groupe quotient)
[modifier | modifier le wikicode]Soient G un groupe fini, H un sous-groupe de G, p un nombre premier et P un p-sous-groupe de Sylow de G.
a) Dans le chapitre théorique, on a prouvé à l'aide de l'équation aux classes qu'il existe un conjugué P1 de P dans G tel que P1 ⋂ H soit un p-sous-groupe de Sylow de H. Donner une démonstration qui ne repose pas sur l'équation aux classes, mais qui repose sur le fait que H a au moins un p-sous-groupe de Sylow. (On a démontré ce dernier fait au problème 1, sans utiliser l'énoncé à démontrer ici.)
D'après les théorèmes de Sylow, démontrés au problème 1, nous pouvons choisir un p-sous-groupe de Sylow de H, soit Q. Alors Q est un p-sous-groupe de G, donc, toujours d'après les théorèmes de Sylow, Q est contenu dans un p-sous-groupe de Sylow P1 de G. Alors Q est contenu dans P1 ⋂ H, qui est un p-sous-groupe de H. Comme un p-sous-groupe de Sylow de H est maximal parmi les p-sous-groupes de H, on a donc P1 ⋂ H = Q. Toujours d'après les théorèmes de Sylow, P1 est un conjugué de P dans G, d'où l'énoncé.
b) On ajoute aux hypothèses que P ou H est normal dans G. Prouver que H ⋂ P est un p-sous-groupe de Sylow de H.
Si P est normal dans G, alors tout conjugué de P dans G est égal à P et la thèse résulte immédiatement du point a). Cessons de supposer P normal dans G, mais supposons H normal dans G. D'après le point a), il existe un élément g de G tel que (gPg-1)⋂ H soit un p-sous-groupe de Sylow de H. Puisque H est normal dans G, x ↦ g-1 x g définit un automorphisme de H; d'autre part, l'image d'un p-sous-groupe de Sylow de H par un automorphisme de H est clairement un p-sous-groupe de Sylow de H. Donc l'image de (gPg-1)⋂ H par x ↦ g-1 x g, c'est-à dire P ⋂ g-1 H g = P ⋂ H, est un p-sous-groupe de Sylow de H.
Voici une autre démonstration dans le cas où H est normal dans G. D'après la formule du produit, nous avons l'égalité entre indices
- (1) [H: H ⋂ P] = [HP:P].
Comme H est normal dans G, HP est un sous-groupe de G, donc le second membre de (1) divise [G:P] et n'est donc pas divisible par p. Il en est donc de même du premier membre de (1) :
- (2) [H: H ⋂ P], n’est pas divisible par p.
D'autre part, H ⋂ P, étant sous-groupe de P, est un p-groupe et donc un p-sous-groupe de H. Joint à (2), cela prouve que H ⋂ P est un p-sous-groupe de Sylow de H.
c) On ajoute aux hypothèses générales que H est normal dans G. Prouver que PH/H est un p-sous-groupe de Sylow de G/H et que tout p-sous-groupe de Sylow de G/H est de la forme QH/H pour un p-sous-groupe de Sylow Q de G.
D'après la formule du produit (ou le second théorème d'isomorphisme), l’ordre de PH/H est égal à l’ordre de P/ (H ⋂ P), donc divise l’ordre de P, donc PH/H est un p-groupe. D'autre part (par exemple d’après le troisième théorème d'isomorphisme, ou encore simplement d’après la relation [A:B] = |A|/|B|, vraie pour tout groupe fini A et tout sous-groupe B de A), l'indice de PH/H dans G/H est égal à [G:PH]. D'après la formule des indices, l'indice [G:PH] divise [G:P] et n'est donc pas divisible par p. Nous avons donc prouvé que PH/H est un p-sous-groupe de G/H dont l'indice dans G/H n’est pas divisible par p, autrement dit PH/H est un p-sous-groupe de Sylow de G/H, ce qui démontre la première assertion de l'énoncé.
Prouvons la seconde assertion de l'énoncé. Soit Q' un p-sous-groupe de Sylow de G/H; il s'agit de prouver la
- (thèse 1) : il existe un p-sous-groupe de Sylow Q de G tel que Q' soit l'image QH/H de Q par l'homomorphisme canonique
Choisissons un p-sous-groupe de Sylow de G, par exemple le P de l'énoncé. D'après la première partie de l'énoncé, PH/H, autrement dit est un p-sous-groupe de Sylow de G/H, donc Q' et sont conjugués dans G/H, donc il existe un élément g de G tel que
Comme est un p-sous-groupe de Sylow de G, cela prouve notre thèse (1) avec
Problème 4
[modifier | modifier le wikicode]Soient p et q deux nombres premiers distincts et G un groupe d'ordre pq. Prouver que G n'est pas simple.
Soit par exemple p < q. D'après les théorèmes de Sylow, le nombre des q-sous-groupes de Sylow de G est congru à 1 modulo q et divise p. Ce nombre ne peut pas être égal à p, car p, étant < q, n'est pas congru à 1 modulo q. Donc le nombre des q-sous-groupes de Sylow de G est égal à 1. Comme noté dans le problème 2 ci-dessus, cela entraîne que G a un sous-groupe normal d'ordre q et n'est donc pas simple.
Problème 5. (Assez difficile.)
[modifier | modifier le wikicode]Soient G un groupe fini, p un diviseur premier de l’ordre de G et P un p-sous-groupe de Sylow de G. Soient U et W des sous-groupes distingués de P. Prouver que U et W sont conjugués dans G si et seulement s'ils sont conjugués dans le normalisateur NG(P). (Burnside[3])
Solution. Supposons que U et W sont conjugués dans G et prouvons qu’ils le sont dans NG(P), ce qui est évidemment l'essentiel. Il existe un élément g de G tel que gUg-1 = W. Puisque U est normal dans P, il en résulte que W est sous-groupe normal de gPg-1. (Un isomorphisme d'un groupe sur un autre transforme les sous-groupes normaux du premier en les sous-groupes normaux du second. Appliquer cela à l'isomorphisme de P sur gPg-1.) Ainsi, W est normal dans P et dans gPg-1, donc dans le sous-groupe de G qu’ils engendrent, soit H. Il est clair que P et gPg-1 sont des sous-groupes de Sylow de H, donc ils sont conjugués dans H, autrement dit il existe un élément h de H tel que hgPg-1h-1 = P. Alors et hgUg-1h-1 = hWh-1 = W (cette dernière relation provenant de ce que W est normal dans H). Ainsi, W est conjugué de U par l'élément hg de NG(P).
Remarque. L'énoncé de ce problème nous servira à prouver que tous les groupes simples d'ordre 168 sont isomorphes.
Problème 6 (Congruence de Sylow à module renforcé)
[modifier | modifier le wikicode]a) Soient G un groupe fini, p un nombre premier et P un p-sous-groupe de Sylow de G. Montrer que si un élément x de G dont l’ordre est une puissance de p normalise P, x appartient à P.
Cela résulte d'un des problèmes qui précèdent. Pour rendre le présent problème autonome, on va redonner une démonstration. Le sous-groupe <x> de G engendré par x normalise P, donc le sous-groupe de G engendré par P et par x est l’ensemble <x> P. Le cardinal de cet ensemble divise (voir la formule du produit démontrée dans le chapitre Classes modulo un sous-groupe) et est donc une puissance de p. Par maximalité des p-sous-groupes de Sylow de G comme sous-groupes de G dont l’ordre est une puissance de p, <x> P est donc égal à P, donc x appartient à P.
On aurait pu dire aussi que <x> est un p-sous-groupe de NG(P) et est donc contenu dans un p-sous-groupe de Sylow de NG(P). Or P est évidemment un p-sous-groupe de Sylow de NG(P) et c’est le seul, puisqu’il est sous-groupe distingué de NG(P). Donc x appartient à P.
b) Soient G un groupe fini, p un nombre premier et P un p-sous-groupe de Sylow de G. Désignons par Syl(p, G) l’ensemble des p-sous-groupes de Sylow de G et faisons opérer P sur Syl(p, G) par conjugaison. Prouver que pour tout élément Q de Syl(p, G), le stabilisateur de Q est P ⋂ Q.
Soit Q un élément de Syl(P, G). Il est clair que tout élément de P ⋂ Q stabilise Q pour l'opération considérée. Réciproquement, soit x un élément de P qui stabilise Q, prouvons que x appartient à Q (et donc à P ⋂ Q). Dire que x stabilise Q signifie que xQx-1 = Q, autrement dit que x normalise Q. Comme x a pour ordre une puissance de p (parce qu’il appartient à P), il appartient à Q d’après le point a).
c) Soient G un groupe fini, p un nombre premier et m le plus grand entier naturel tel que pm divise l’ordre de G. (Donc pm est l’ordre des p-sous-groupes de Sylow de G.) On suppose que, pour un certain entier naturel i ≤ m, l'intersection de deux p-sous-groupes de Sylow de G distincts est toujours d'ordre ≤ pm-i. Prouver que le nombre des p-sous-groupes de Sylow de G est congru à 1 modulo pi. (Indication : utiliser le point b) et l'équation aux classes.)
Soit r le nombre des p-sous-groupes de Sylow de G. Il s'agit de prouver que r est congru à 1 modulo pi. Comme au point b), choisissons arbitrairement un p-sous-groupe de Sylow P de G et faisons-le opérer sur Syl(p, G) par conjugaison. Si Q est un point fixe pour cette opération, son stabilisateur est P tout entier, donc, d’après le point b), P ⋂ Q = P, d'où P ⊆ Q. Comme P et Q ont le même ordre fini pm, Q est donc égal à P. Ceci montre que P est le seul point fixe pour l'opération considérée. (On a d'ailleurs prouvé ce fait dans la théorie.)
Posons Q1 = P et choisissons un système Q2, ... , Qs de représentants des orbites non ponctuelles. D'après l'équation aux classes,
- r = 1 + [P:Stab(Q2)] + ... + [P:Stab(Qs)].
D'après le point b), cela peut s'écrire
- (1) r = 1 + [P : P ⋂ Q2)] + ... + [P : P ⋂ Qs)].
Puisque Q2, ... , Qs sont tous distincts de P, il résulte des hypothèses de l'énoncé que, pour tout i ≥ 2, l’ordre de P ⋂ Qi divise pm-i, donc [P : P ⋂ Qi], égal à , est multiple de pi. La relation (1) montre donc que r est congru à 1 modulo pi, ce qui démontre l'énoncé.
Remarque : si p ne divise pas l’ordre de G, on ne peut pas trouver deux p-sous-groupes de Sylow de G distincts, car G a alors un unique p-sous-groupe de Sylow, à savoir son sous-groupe trivial. Il en résulte que n'importe quel entier i tel que convient. Les congruences obtenues dans ce cas pour chaque valeur possible de i ne sont pas intéressantes, puisqu'on connaît alors précisément le nombre de p-sous-groupes de Sylow de G, mais elles n'en sont pas moins correctes.
d) Soient G un groupe fini, p un nombre premier et m le plus grand entier naturel tel que pm divise l’ordre de G. (Donc pm est l’ordre des p-sous-groupes de Sylow de G.) On suppose que les p-sous-groupes de Sylow de G se coupent trivialement deux à deux, c'est-à-dire que l'intersection de deux p-sous-groupes de Sylow de G distincts est toujours réduite à l'élément neutre. Prouver que le nombre des p-sous-groupes de Sylow de G est congru à 1 modulo pm.
Faire i = m dans l'énoncé du point c).
Problème 7 (Intersection des p-sous-groupes de Sylow et intersection de leurs normalisateurs)
[modifier | modifier le wikicode]Soient G un groupe fini et p un nombre premier. Prouver 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.
Choisissons un p-sous-groupe de Sylow P de G. Alors l'intersection des p-sous-groupes de Sylow de G est l'intersection des conjugués de P dans G, autrement dit le cœur de P dans G, et est donc un sous-groupe normal de G (voir un exercice de la série Conjugaison, centralisateur, normalisateur). D'autre part, les normalisateurs (dans G) des p-sous-groupes de Sylow de G sont les conjugués de (voir un exercice de la série Conjugaison, centralisateur, normalisateur), donc l'intersection des normalisateurs des p-sous-groupes de Sylow de G est le cœur de et est donc elle aussi un sous-groupe normal de G.
Remarque. On verra dans un exercice de la série Sous-groupes caractéristiques que l'intersection des p-sous-groupes de Sylow de G et l'intersection des normalisateurs de ces sous-groupes dans G sont en fait des sous-groupes caractéristiques de G, ce qui est plus fort que l'énoncé du présent problème.
Problème 8
[modifier | modifier le wikicode]Soit p un nombre premier, soit G un groupe fini, soit m le plus grand nombre naturel tel que pm divise |G|, soit a le nombre des p-sous-groupes de Sylow de G, soient P1, ... , Pa les p-sous-groupes de Sylow de G.
Posons b = |G| / (pma). (D'après les théorèmes de Sylow, b est un nombre naturel.)
Prouver[4] que est l'unique p-sous-groupe de Sylow de et que les ordres de et de Z(G) divisent .
Pour prouver que est l'unique p-sous-groupe de Sylow de , il suffit de prouver que tout élément x de dont l’ordre est une puissance de p est contenu dans . (Si un p-sous-groupe S d'un groupe K comprend tous les éléments de K dont les ordres sont des puissances de p, ce p-sous-groupe S contient tous les p-sous-groupes de Sylow de K, donc, par maximalité des p-sous-groupes de Sylow de K parmi les p-sous-groupes de K, S est égal à tous les p-sous-groupes de Sylow de K.) Pour chaque i (i = 1, ..., a), x est un élément dont l’ordre est une puissance de p et qui normalise le p-sous-groupe de Sylow Pi, donc, d’après un précédent exercice, x appartient à Pi. Ceci étant vrai pour chaque i, x appartient à . Nous avons donc bien prouvé que est l'unique p-sous-groupe de Sylow de . Donc
- (1) p figure à la même puissance dans et dans .
D'autre part, puisque les p-sous-groupes de Sylow de G forment une classe de conjugaison de sous-groupes et que le cardinal de cette classe est a, l'indice de chaque NG(Pi) dans G est a, autrement dit
- (2) chaque NG(Pi) est d'ordre bpm.
Puisque est contenu dans NG(P1), divise |NG(P1)|, c'est-à-dire, d’après (2), que
- divise bpm.
Comme b est premier avec p, ceci et (1) montrent que
- divise b .
Il est clair que Z(G) est contenu dans (le centre normalise tout sous-groupe), donc l’ordre de Z(G) divise lui aussi b .
Remarque. L'énoncé de ce problème nous servira à résoudre un exercice du chapitre Groupes alternés, qui nous permettra à son tour de prouver que le groupe des automorphismes du groupe des quaternions est isomorphe à S4.
Problème 9 (Nombre des p-sous-groupes de Sylow d'un sous-groupe)
[modifier | modifier le wikicode]a) Soient G un groupe fini et p un nombre premier, soient P et Q deux différents p-sous-groupes de Sylow de G. Montrer que le sous-groupe <P,Q> de G engendré par P et Q n'est pas un p-groupe.
Par exemple, P n'est pas contenu dans Q, donc le sous-groupe <P,Q> de G contient Q strictement. Puisque Q est un p-sous-groupe de Sylow de G et que tout p-sous-groupe de Sylow de G est maximal parmi les p-sous-groupes de G, <P,Q> n'est donc pas un p-sous-groupe de G.
b) Soient G un groupe fini, H un sous-groupe de G, p un nombre premier. Notons Sylp(G) (resp. Sylp(H)) l'ensemble des p-sous-groupes de Sylow de G (resp. de H). Prouver qu'il existe une injection f de Sylp(H)) dans Sylp(G)) telle que, pour tout élément S de Sylp(H)), f(S) contienne S (ce qui, en particulier, entraîne que le nombre des p-sous-groupes de Sylow de H est inférieur ou égal au nombre des p-sous-groupes de Sylow de G). (Indication : appliquer le point a) au groupe H.)
Notons Sylp(G) (resp. Sylp(H)) l'ensemble des p-sous-groupes de Sylow de G (resp. de H). Tout p-sous-groupe de Sylow de H est un p-sous-groupe de G, donc est contenu dans un p-sous-groupe de Sylow de G. Nous pouvons donc définir une application f de Sylp(H) dans Sylp(G) telle que, pour tout élément P de Sylp(H), f(P) soit un p-sous-groupe de Sylow de G contenant P. Une telle application f est forcément injective. En effet, si P et Q sont deux différents p-sous-groupes de Sylow de H, alors, d'après le point a), <P,Q> n'est pas un p-groupe, donc P et Q ne sont pas contenus dans un même p-sous-groupe de Sylow de G, donc f(P) et f(Q) sont distincts, ce qui prouve que f est injective. L'énoncé en résulte.
Remarque. On se servira du point b) dans un exercice sur le chapitre des groupes simples d'ordre 168.
Problème 10 (p-sous-groupes normaux)
[modifier | modifier le wikicode]Soient G un groupe fini et un nombre premier.
a) Soient Q un -sous-groupe de G et P un -sous-groupe de Sylow de G. On suppose que Q normalise P ou P normalise Q. Prouver que P contient Q.
On va refaire un raisonnement déjà fait dans certains des problèmes ci-dessus.
Puisque, par hypothèse, un des deux sous-groupes P et Q normalise l'autre, le sous-groupe de G est égal à PQ. Par exemple d'après la formule du produit, il en résulte que l'ordre de est une puissance de , autrement dit est un -sous-groupe de G. Puisque ce sous-groupe contient P, il résulte de la maximalité des -sous-groupes de Sylow dans l'ensemble des -sous-groupes que , donc P contient Q.
b) Soit R un -sous-groupe normal de G. On a vu dans le chapitre théorique que R est contenu dans chaque -sous-groupe de Sylow de G. Prouver ce fait à l'aide du point a).
Soit P un -sous-groupe de Sylow de G. Puisque, par hypothèse, R est normal dans G, P normalise R, donc, d'après le point a), P contient R, ce qui démontre l'énoncé.
Problème 11
[modifier | modifier le wikicode]Soit G un groupe fini, soit un nombre premier, soit Q un -sous-groupe de G. On suppose que Q est normal dans chaque -sous-groupe de Sylow de G qui contient Q.
a) Notons H le sous-groupe de G engendré par les -sous-groupes de Sylow de G contenant Q. Prouver que les -sous-groupes de Sylow de G contenant Q sont exactement les -sous-groupes de Sylow de H.
Indication : on peut utiliser le problème 10.
Soient les différents -sous-groupes de Sylow de G contenant Q. D'après le chapitre théorique, Q est contenu dans au moins un -sous-groupes de Sylow de G, donc , donc nous pouvons parler de
Par définition, H est le sous-groupe de G engendré par
Puisque Q est contenu dans ,
- (1)Q est contenu dans H.
Chaque est contenu dans H. Puisque est un -sous-groupe de Sylow de G, il en résulte que est un -sous-groupe de Sylow de H. Cela montre que tout -sous-groupe de Sylow de G contenant Q est un -sous-groupe de Sylow de H. Il reste à prouver la réciproque, à savoir que
- (thèse 2)tout -sous-groupe de Sylow de H est un -sous-groupe de Sylow de G contenant Q.
Puisque H contient , est divisible par . Puisque est un -sous-groupe de Sylow de G, cela revient à dire que est divisible par la plus grande puissance de qui divise , donc
- tout -sous-groupe de Sylow de H est un -sous-groupe de Sylow de G.
Pour prouver la thèse (2), il reste donc à prouver que
- (thèse 3) tout -sous-groupe de Sylow de H contient Q.
D'après les hypothèses générales du problème, chaque normalise Q, donc normalise Q (rappel : normaliser revient à être contenu dans le normalisateur), ce qui, d'après (1), revient à dire que
- (4)Q est normal dans H.
Dès lors, puisque Q est un -groupe, il résulte du problème 10, point b), que Q est contenu dans tout -sous-groupe de Sylow de H, ce qui prouve la thèse (3). Comme nous l'avons vu, la thèse (2) en résulte, d'où l'énoncé du point a).
b) Toujours dans l'hypothèse où Q est normal dans chaque -sous-groupe de Sylow de G contenant Q, prouver que le nombre des -sous-groupes de Sylow de G contenant Q est congru à 1 modulo et divise le plus grand facteur de non divisible par
D'après le point a), il existe un sous-groupe H de G tel que les -sous-groupes de Sylow de G contenant Q sont exactement les -sous-groupes de Sylow de H. Alors
- (1)le nombre des -sous-groupes de Sylow de G contenant Q est égal au nombre des -sous-groupes de Sylow de H.
D'après les thérèmes de Sylow,
- (2) est congru à 1 modulo
et
- (3) divise le plus grand facteur non divisible par de
Puisque H est un sous-groupe de G, divise , donc le plus grand facteur non divisible par de divise le plus grand facteur non divisible par de , donc d'après (3)
- divise le plus grand facteur non divisible par de
Joint aux résultats (1) et (2), cela démontre l'énoncé du point b).
c) Toujours dans l'hypothèse où Q est normal dans chaque -sous-groupe de Sylow de G contenant Q, prouver que les -sous-groupes de Sylow de G contenant Q sont exactement les -sous-groupes de Sylow de
(Comme au point b), on peut en déduire que le nombre des -sous-groupes de Sylow de G contenant Q est congru à 1 modulo et divise le plus grand facteur non divisible par de )
La démonstration est presque identique à celle du point a). Par hypothèse, tout -sous-groupe de Sylow de G contenant Q normalise Q, autrement dit tout -sous-groupe de Sylow de G contenant Q est contenu dans Un -sous-groupe de Sylow de G contenu dans est évidemment un -sous-groupe de Sylow de , donc
- (1)tout -sous-groupe de Sylow de G contenant Q est un -sous-groupe de Sylow de
Il reste à prouver que
- (thèse 2)tout -sous-groupe de Sylow de est un -sous-groupe de Sylow de G contenant Q.
D'après les théorèmes de Sylow, Q est contenu dans au moins un -sous-groupe de Sylow de G, donc il résulte de (1) que la plus grande puissance de divisant est égale à la plus grande puissance de divisant , donc chaque -sous-groupe de Sylow de est un -sous-groupe de Sylow de G. Pour prouver la thèse (2), il reste à prouver que tout -sous-groupe de Sylow de contient Q. Or Q est un -sous-groupe normal de , donc, d'après le problème 10, point b), il est contenu dans tout -sous-groupe de Sylow de
Remarque. Si G est un groupe fini, un nombre premier et Q un -sous-groupe de G, si on ne suppose pas que G est normal dans chaque -sous-groupe de Sylow de G contenant Q, il n'est pas forcément vrai que le nombre des -sous-groupe de Sylow de G contenant Q divise l'ordre de G. On en verra un contre-exemple dans les exercices sur les groupes simples d'ordre 168.
Problème 12
[modifier | modifier le wikicode]Soit G un groupe fini, soit un nombre premier. On suppose que les -sous-groupes de Sylow de G sont abéliens.
Soit Q un -sous-groupe de G.
a) Prouver que les -sous-groupes de Sylow de G contenant Q sont exactement les -sous-groupes de Sylow de . Prouver que leur nombre est congru à 1 modulo et divise le plus grand facteur non divisible par de
Indication : on peut utiliser le problème 11.
Tout -sous-groupe de Sylow de G contenant Q est abélien par hypothèse et normalise donc Q. Dès lors, l'énoncé résulte du problème 11.
b) Prouver que les -sous-groupes de Sylow de G contenant Q sont exactement les -sous-groupes de Sylow de
On va calquer la démonstration sur celle du problème 11, point c).
Soit P un -sous-groupe de Sylow de G contenant Q. D'après les hypothèses générales, P est abélien, donc, puisque Q est contenu dans P, P centralise Q, autrement dit P est contenu dans Ainsi, P est un -sous-groupe de Sylow de G contenu dans , ce qui entraîne clairement que P est un -sous-groupe de Sylow de Nous avons donc prouvé que
- (1)tout -sous-groupe de Sylow de G contenant Q est un -sous-groupe de Sylow de
Il reste à prouver la réciproque, à savoir que
- (thèse 2)tout -sous-groupe de Sylow de est un -sous-groupe de Sylow de G contenant Q.
D'après les théorèmes de Sylow, Q est contenu dans un -sous-groupe de Sylow de G. D'après (1), est un -sous-groupe de Sylow de . Donc est à la fois un -sous-groupe de Sylow de G et un -sous-groupe de Sylow de , donc la plus grande puissance de divisant et la plus grande puissance de divisant sont égales, donc
- (3)tout -sous-groupe de Sylow de est un -sous-groupe de Sylow de G.
Donc pour prouver la thèse (2), il reste à prouver que tout -sous-groupe de Sylow de contient Q. Puisque Q est normal dans , cela résulte du problème 10, point b).
c) Toujours dans l'hypothèse où les -sous-groupes de Sylow de G sont abéliens, soient et des -sous-groupes de G (non forcément distincts). Prouver que les quatre conditions suivantes sont équivalentes :
- 1° et sont contenus dans un même -sous-groupe de Sylow de G;
- 2° et se centralisent;
- 3° normalise ;
- 4° normalise
Si et sont contenus dans un même -sous-groupe de Sylow de G, soit P, alors, d'après les hypothèses générales, P est abélien, donc et sont contenus dans un même sous-groupe abélien de G, donc ils se centralisent. Cela prouve que 1° entraîne 2°.
Si et se centralisent, alors normalise . Cela prouve que 2° entraîne 3°.
Si normalise , alors le sous-groupe de G engendré par et est égal à , donc, d'après la formule du produit, est un -sous-groupe de G, donc, d'après les théorèmes de Sylow, est contenu dans un -sous-groupe de Sylow de G, ce qui revient à dire que et sont contenus dans un même -sous-groupe de Sylow de G. Cela montre que 3° entraîne 1°.
Donc (dans l'hypothèse où les -sous-groupes de Sylow de G sont abéliens) les conditions 1°, 2° et 3° sont équivalentes. En échangeant et , on voit que les conditions 1°, 2° et 4° sont équivalentes, donc les conditions 1° à 4° sont équivalentes.
Problème 13
[modifier | modifier le wikicode]a) Soit un nombre premier, soit G un groupe, fini ou infini. On suppose qu'il existe un sous-groupe normal H de G tel que H et G/H soient des p-groupes. Prouver que G est un p-groupe.
Soit un élément de G. Puisque G/H est un p-groupe, il existe un nombre naturel tel que la -ième puissance de l'élément xH de G/H soit l'élément neutre de G/H. Cela revient à dire que appartient à H. Puisque H est supposé être un p-groupe, il existe donc un nombre naturel tel que la -ième puissance de soit l'élément 1 de H. Cela revient à dire que est l'élément 1 de G, donc G est un p-groupe.
b) Soit un nombre premier, soit G un groupe fini. On suppose qu'il existe deux p-sous-groupes H et K de G tels que G = HK. (On ne suppose pas qu'un de ces deux sous-groupes soit normal dans G.) Prouver que G est un p-groupe.
D'après la formule du produit,
- ,
donc
- divise ,
autrement dit divise Puisque et sont des puissances de , est donc une puissance de , donc G est un p-groupe.
c) Soit un nombre premier, soit G un groupe (fini ou infini). On suppose qu'il existe un p-sous-groupe H de G et un p-sous-groupe normal K de G tels que G = HK. Prouver que G est un p-groupe.
Puisque G = HK et que K est normal dans G, nous pouvons écrire
- (1)G/K = HK/K.
(Rappelons que, par convention sur la précédence des opérateurs, le membre droit de (1) désigne (HK)/K.)
D'après le second théorème d'isomorphisme, il résulte de (1) que
- (2) G/K est isomorphe à .
Tout quotient d'un p-groupe est un p-groupe, donc est un p-groupe, donc, d'après (2), G/K est un p-groupe. Puisque K est lui aussi un p-groupe, il résulte du point a) que G est un p-groupe.
Remarque. L'énoncé du point c) nous servira dans un exercice sur les produits semi-directs.
Problème 14 (exposant d'un groupe fini)
[modifier | modifier le wikicode]Soit G un groupe d'ordre n et pour chaque facteur premier p de n, soit ep l'exposant de n'importe quel p-Sylow de G (tous ont même exposant puisqu'ils sont conjugués donc isomorphes).
Démontrer que l'exposant de G est égal au produit des ep.
- L'exposant e de G est évidemment un multiple de chaque ep donc (puisque ep est une puissance de p) e est un multiple du produit des ep.
- Réciproquement, soient x un élément de G et m = p1k1…prkr son ordre (où les pj sont des nombres premiers distincts). On sait décomposer x en un produit x1…xr d'éléments de G d'ordres respectifs p1k1, … , prkr donc tels que chaque xk appartienne à un pk-Sylow. Ceci prouve que m divise le produit des ep, et ce pour tout ordre m d'un élément de G. Donc e lui-même (le ppcm de ces ordres) divise ce produit.
Références
[modifier | modifier le wikicode]- ↑ Voir par exemple H. Kurzweil et B. Stellmacher, The theory of Finite Groups, An Introduction, Springer, 2004, p. 64.
- ↑ Voir Félix Ulmer, Théorie des groupes, Paris, éd. Ellipses, 2012, p. 86.
- ↑ D. Gorenstein, Finite Groups, 2e éd., 1980, p. 240.
- ↑ Voir N. Bourbaki, Algèbre I, Chapitres 1 à 3, Paris, 1970, ch. 1, § 6, exerc. 39, a, p. I, 142.
Lien externe
[modifier | modifier le wikicode]Frédéric Touzet, « Théorie des groupes, Feuille de TD no 11 », sur perso.univ-rennes1.fr (six exercices corrigés)