Théorie des groupes/Exercices/Intermède : groupes simples d'ordre 360
Problème 1. (Préliminaire 1 du chapitre théorique)
[modifier | modifier le wikicode]Soient G un groupe fini, p un nombre premier, P un p-sous-groupe de Sylow cyclique de G. Prouver que l'indice [NG(P) : CG(P)] divise p-1. (Indication : utiliser le lemme N/C et le chapitre Automorphismes d'un groupe cyclique.)
L'énoncé étant banal si p ne divise pas l'ordre de G, on va supposer qu'il le divise. Alors est de la forme , avec
D'après le lemme N/C, le groupe est isomorphe à un sous-groupe de Aut(P), donc divise . Puisque P est cyclique et d'ordre avec nous avons (chapitre Automorphismes d'un groupe cyclique)
Donc
- (1) divise
D'autre part, puisque P est supposé cyclique, il est abélien, donc
- (2)
Puisque l'ordre d'un p-sous-groupe de Sylow de G est la plus grande puissance de p qui peut diviser l'ordre d'un sous-groupe de G, il résulte de (2) que p figure à la même puissance dans et dans donc n'est pas divisible par p. Dès lors, d'après (1),
- divise p - 1.
Problème 2. (Préliminaire 8 du chapitre théorique)
[modifier | modifier le wikicode]Soit G un groupe simple fini d'ordre non premier, soit p un diviseur premier de , soit P un p-sous-groupe de Sylow de G. Alors le groupe n'est pas commutatif. (Indication : on peut utiliser le théorème du complément normal de Burnside.)
Supposons que, par absurde, le groupe soit commutatif. Alors , donc, d'après le théorème du complément normal de Burnside, P admet un complément normal K dans G. Puisque P est distinct de 1, nous avons K < G. De plus, puisque G est un groupe simple fini dont l'ordre n'est pas un nombre premier, on sait (Groupes résolubles) qu'il n'est pas résoluble, a fortiori il n'est pas nilpotent, donc son ordre n'est pas un puissance de nombre premier, donc P est distinct de G, donc 1 < K. Ainsi, K est un sous-groupe normal de G tel que 1 < K < G, ce qui contredit la simplicité de G.
Problème 3. (Préliminaire 9 du chapitre théorique)
[modifier | modifier le wikicode]Tout groupe d'ordre 36 a un sous-groupe normal d'ordre 4 ou un sous-groupe normal d'ordre 9. (Indication : utiliser le théorème du complément normal de Burnside.)
Soit H un groupe d'ordre 36. Supposons que
- (1) H n'a pas de sous-groupe normal d'ordre 9.
Il s'agit de prouver que
- (thèse 2) H contient un sous-groupe normal d'ordre 4.
Soit n le nombre des 3-sous-groupes de Sylow de H. D'après l'hypothèse (1), n > 1. D'autre part, d'après les théorèmes de Sylow, n est congru à 1 modulo 3 et divise 4. Donc n = 4, donc si P désigne un 3-sous-groupe de Sylow de H, NH(P) est d'ordre 9 (autrement dit NH(P) = P). Puisque tout groupe dont l'ordre est le carré d'un nombre premier est commutatif, NH(P) est donc commutatif. Il en résulte clairement que NH(P) = CH(P), donc, d'après le théorème du complément normal de Burnside, H contient un sous-groupe normal d'ordre 4, ce qui démontre la thèse 2.
Problème 4. (Préliminaire 10 du chapitre théorique)
[modifier | modifier le wikicode]Soit H un groupe fini, soit p un nombre premier distinct de 2. On suppose que H contient un et un seul p-sous-groupe de Sylow, soit P, et que P est commutatif. On suppose aussi que H n'a pas d'élément d'ordre 2p. Alors, pour tout élément t d'ordre 2 de H et tout élément a de H dont l'ordre est une puissance de p,
(Puisque t est d'ordre 2, on pourrait évidemment écrire «t» au lieu de « t-1 », mais le fait que soit le résultat de la conjugaison de a par t n'est pas indifférent.)
Posons
- (1)
Puisque l'ordre de a est une puissance de p et que b est un conjugué de a,
- (2) a et b ont tous deux pour ordre de b une puissance de p.
En appliquant aux deux membres de (1), on trouve
Puisque t est d'ordre 2, cela peut s'écrire
En multipliant cela membre à membre avec (1), on obtient
- (3)
Puisque, comme vu en (2), a et b ont tous deux pour ordre une puissance de p et que, par hypothèse, P est l'unique p-sous-groupe de Sylow de P, a et b appartiennent tous deux à P. Puisque, par hypothèse, P est commutatif,
- (4) a et b commutent, donc (3) peut s'écrire
donc
- (5) a b et t commutent.
On a vu en (4) que a et b commutent, donc, puisqu'ils ont pour ordre une puissance de p, l'ordre de a b est une puissance de p. Si cet ordre était distinct de 1, il serait de la forme avec n > 0, donc, d'après (5), l'ordre de a b t serait avec n > 0 (on utilise ici le fait que le nombre premier p est distinct de 2), donc l'ordre de a b t serait divisible par 2 p, donc H comprendrait un élément d'ordre 2 p, ce qui est contraire aux hypothèses. Donc ce qui, d'après la définition de b, signifie que
Problème 5. (Non-simplicité des groupes d'ordre 720)
[modifier | modifier le wikicode]On va prouver qu'il n'y a pas de groupe simple d'ordre 720. L'essentiel de la démonstration consistera à prouver que dans un groupe simple d'ordre 720, les 3-sous-groupes de Sylow devraient être en nombre 10, isomorphes à et se couper trivialement deux à deux. Cela fait, un résultat du chapitre théorique fournira immédiatement une contradiction.
a) Soit G un groupe simple d'ordre 720. Prouver que tout sous-groupe propre de G est d'ordre
Soit H un sous-groupe propre de G; notons l'indice [G:H]. D'après le chapitre Premiers résultats sur les groupes simples, G est isomorphe à un sous-groupe de , donc est divisible par Comme 720 est divisible par 16, , c'est-à-dire , est donc divisible par 16. Puisque n'est pas divisible par 16, il faut donc , , autrement dit
b) Soit G un groupe simple d'ordre 720. Prouver qu'un des deux cas suivants a lieu :
- (i) les 3-sous-groupes de Sylow de G sont en nombre 10 et leurs normalisateurs dans G sont d'ordre 72;
- (ii) les 3-sous-groupes de Sylow de G sont en nombre 40 et leurs normalisateurs dans G sont d'ordre 18.
Notons le nombre des 3-sous-groupes de Sylow de G.
D'après le chapitre Premiers résultats sur les groupes simples, G est isomorphe à un sous-groupe de Comme dans la solution du point a), on en déduit que
- (1)
(On pourrait d'ailleurs appliquer le point a) au sous-groupe propre de G, où P désigne un 3-sous-groupe de Sylow de G.)
D'autre part, d'après les théorèmes de Sylow,
- est et divise
Joint à (1), cela montre que
- (2) est égal à un des nombres 10, 16, 40.
Si était égal à 16, le normalisateur dans G d'un 3-sous-groupe de Sylow P de G serait d'ordre Mais, d'après un exercice du chapitre Groupes nilpotents, tout groupe d'ordre 45 est abélien, donc serait abélien, ce qui contredit une conséquence du théorème du complément normal de Burnside (ou encore le lemme , démontré dans le chapitre Transfert, théorème du complément normal de Burnside). Donc est distinct de 16, donc, d'après (2),
- est égal à 10 ou à 40.
Puisque le nombre des 3-sous-groupes de Sylow de G est égal à l'indice dans G de n'importe lequel de ces 3-sous-groupes de Sylow, l'énoncé en résulte.
c) Soit G un groupe simple d'ordre 720. Prouver que G n'a pas de sous-groupe d'ordre 45 ni de sous-groupe d'ordre 90.
Indication : si H est un sous-groupe d'ordre 45 de G, raisonner sur le normalisateur dans G d'un 3-sous-groupe de Sylow de H. Utiliser la question b).
Supposons que, par absurde, H soit un sous-groupe d'ordre 45 de G. D'après un exercice sur les groupes nilpotents déjà utilisé au point b), H est abélien. Donc H a un unique 3-sous-groupe de Sylow, soit P. Puisque H est abélien, H est contenu dans , donc est divisible par . C'est impossible, car P est un 3-sous-groupe de Sylow de G, ce qui, d'après le point b), entraîne que est égal à 18 ou à 72. La contradiction obtenue prouve que
- (1)G n'a pas de sous-groupe d'ordre 45.
On a vu dans un exercice sur le chapitre Groupes alternés, et aussi dans un exercice sur le chapitre Transfert, théorème du complément normal de Burnside, que tout groupe fini d'ordre pair non divisible par 4 contient un sous-groupe d'indice 2. Donc si G avait un sous-groupe d'ordre 90, il aurait un sous-groupe d'ordre 45, ce qui contredit (1). Donc G n'a pas de sous-groupe d'ordre 90, ce qui achève la démonstration.
d) Soit G un groupe simple d'ordre 720. Soit Q un sous-groupe Q d'ordre 3 de G contenu dans plusieurs 3-sous-groupes de Sylow de G (à supposer qu'il existe un tel sous-groupe Q). Prouver que
- (i)les 3-sous-groupes de Sylow de G contenant Q sont exactement les 3-sous-groupes de Sylow de ;
- (ii)les 3-sous-groupes de Sylow de sont en nombre 4;
- (iii)Q est contenu dans exactement quatre 3-sous-groupes de Sylow de G;
- (iv) est égal à 36 ou à 72.
Les 3-sous-groupes de Sylow de G sont d'ordre 9 et sont donc abéliens, donc, d'après un exercice sur le chapitre Théorèmes de Sylow,
- (1)les 3-sous-groupes de Sylow de G contenant Q sont les 3-sous-groupes de Sylow de
Puisque G est simple, est un sous-groupe propre de G, donc, d'après les questions a) et c),
- (2)
et
- (3) n'est pas divisible par 45.
Puisque Q est contenu dans au moins un 3-sous-groupe de Sylow de G (et même dans plusieurs, vu les hypothèses de l'énoncé) et qu'un tel 3-sous-groupe de Sylow de G est d'ordre 9, il résulte de (1) que
- (4) est divisible par 9.
Donc (3) revient à dire que n'est pas divisible par 5. Dès lors, puisque, d'après (4), est divisible par 9 et que, d'autre part, divise , nous avons
- (5),
où divise 16. Puisqu'on a vu en (2) que , (5) montre que
- (6), avec
De (6) et des théorèmes de Sylow, il résulte que le nombre des 3-sous-groupes de Sylow de est et divise 8; de plus, d'après les hypothèses de l'énoncé et le résultat (1), ce nombre est > 1. Donc
- (7) les 3-sous-groupes de Sylow de sont en nombre 4,
ce qui, d'après (1), revient à dire que
- (8) les 3-sous-groupes de Sylow de G contenant Q sont en nombre 4,
De (7) et des théorèmes de Sylow, il résulte que est divisible par 4, donc, d'après (6), il est égal à 36 ou à 72. Joint aux résultats (1), (7) et (8), cela démontre l'énoncé.
e) Soit G un groupe fini, soit un diviseur premier de , soit la plus grande puissance de divisant , soit Q un sous-groupe d'ordre de G contenu dans plusieurs sous-groupes de Sylow de G. Prouver que Q est un sous-groupe caractéristique de et en déduire que est son propre normalisateur dans G.
Puisque Q est d'indice premier dans tout -sous-groupes de Sylow de G contenant Q, il résulte de la formule des indices que
- (1)Q est sous-groupe maximal de tout -sous-groupe de Sylow de G contenant Q.
D'autre part, tout -sous-groupe de Sylow de G est un p-groupe et est donc nilpotent. Or, d'après le chapitre Groupes nilpotents, tout sous-groupe maximal d'un groupe nilpotent est normal dans ce groupe. Donc, d'après (1),
- Q est normal dans tout -sous-groupe de Sylow de G contenant Q.
D'après un exercice sur le chapitre Théorèmes de Sylow, il en résulte que
- les -sous-groupes de Sylow de G contenant Q sont exactement les -sous-groupes de Sylow de
Il en résulte d'une part que
- (2)Q est contenu dans tout -sous-groupe de Sylow de
et d'autre part, vu les hypothèses de l'énoncé, que
- (3) a plusieurs -sous-groupes de Sylow.
Le résultat (2) revient à dire que
- (4)Q est contenu dans l'intersection des -sous-groupes de Sylow de
D'autre part, d'après (3), cette intersection est d'ordre Joint à (4), cela montre que
- Q est l'intersection des -sous-groupes de Sylow de , donc, d'après un exercice sur le chapitre Sous-groupes caractéristiques,
- (5)Q est un sous-groupe caractéristique de
Désignons par N le normalisateur de dans G. Alors est normal dans N, donc, d'après (5), Q est normal dans N, donc Comme, d'autre part, N contient évidemment , on a donc , c'est-à-dire que est son propre normalisateur dans G. Joint à (5), cela démontre l'énoncé.
f) Comme à la question d), on suppose que G est un groupe simple d'ordre 720 et Q un sous-groupe d'ordre 3 de G contenu dans plusieurs 3-sous-groupes de Sylow de G. Prouver que
Indication : supposer que, par absurde, ; en utilisant un problème ci-dessus sur les groupes d'ordre 36 et un exercice sur le chapitre Groupes nilpotents, prouver qu'il existe un sous-groupe H d'ordre 4 de tel que
- et ;
à l'aide de la question e), en déduire une contradiction.
D'après la question d), est égal à 36 ou à 72. Il suffit donc de prouver que
Supposons que, par absurde,
- (hyp. 1)
D'après un problème ci-dessus, tout groupe d'ordre 36 est 2-clos ou 3-clos, donc est 2-clos ou 3-clos. Mais n'est pas 3-clos, car on a vu à la question d) qu'il a quatre 3-sous-groupes de Sylow. Donc est 2-clos, ce qui, dans notre hypothèse (1), revient à dire qu'il a un sous-groupe normal H d'ordre 4. Alors
- (2)
Puisque H est un 2-sous-groupe de G et n'est pas un 2-sous-groupe de Sylow de G, il résulte d'un exercice sur le chapitre Groupes nilpotents que contient un sous-groupe d'ordre 8 (contenant H), donc
- (3) est divisible par 8.
D'autre part, il résulte de (2) que est divisible par , ce qui, joint à (3), montre que
- (4) est divisible par 72.
Donc, d'après notre hypothèse (1) et notre résultat (2),
- est un sous-groupe d'indice 2 de ,
donc
- est un sous-groupe propre normal de
C'est impossible, car d'après la question e) (où on fait p = 3 et n = 2), est son propre normalisateur dans G. La contradiction obtenue prouve que notre hypothèse (1) est fausse, ce qui, comme nous l'avons vu, démontre l'énoncé.
g) Soient G un groupe fini, un nombre premier et Q un -sous-groupe de G. Prouver qu'il existe un et un seul nombre naturel tel que chaque -sous-groupe de Sylow de G contienne exactement G-conjugués de Q.
Pour tout -sous-groupe de Sylow P de G, notons l'ensemble des G-conjugués de Q contenus dans P.
Soient et des p-sous-groupes de Sylow de G. D'après les théorèmes de Sylow, et sont conjugués dans G, donc il existe un élément de G tel que
Si désigne un G-conjugué de Q contenu dans , alors est un conjugué de Q contenu dans
De même, si désigne un G-conjugué de Q contenu dans , alors est un conjugué de Q contenu dans
Donc l'application
et l'application
sont réciproques l'une de l'autre, donc
Il existe donc un nombre naturel tel que pour chaque -sous-groupe de Sylow P de G,
Par définition de , cela signifie qu'il existe un nombre naturel tel que chaque -sous-groupe de Sylow de G contienne exactement G-conjugués de Q. Puisque l'ensemble des p-sous-groupes de Sylow de G est non vide, est évidemment unique.
h) Soit G un groupe fini, soit un nombre premier, soit Q un -sous-groupe de G, soient les différents -sous-groupe de Sylow de G contenant Q.
Pour chaque dans on désigne par l'ensemble des G-conjugués de Q contenus dans
Prouver que
- 1° l'ensemble des G-conjugués de Q normalisés par Q est contenu dans ;
- 2° si Q est normal dans tout -sous-groupe de Sylow de G contenant Q,
- l'ensemble des G-conjugués de Q normalisés par Q est égal à
Soit R un G-conjugué de Q normalisé par Q.
Puisque R est un G-conjugué de Q et que Q est un -sous-groupe de G, Q et R sont tous deux des sous-groupes de G, Donc, puisque Q normalise R, Q et R sont contenus dans un même sous-groupe de Sylow de G (voir les exercices sur le chapitre Théorèmes de Sylow), donc R est contenu dans un des Donc, puisque R est un G-conjugué de Q, R appartient à un des Nous avons donc prouvé que
- (1)l'ensemble des G-conjugués de Q normalisés par Q est contenu dans ,
ce qui est l'assertion 1° de l'énoncé.
Faisons maintenant l'hypothèse supplémentaire que
- (hyp. 2)Q est normal dans tout -sous-groupe de Sylow de G contenant Q,
Du fait que les p-sous-groupes de Sylow de G forment une classe de conjugaison de sous-groupes de G et de l'hypothèse (2), on tire facilement que
- (3)tout G-conjugué R de Q est normal dans tout -sous-groupe de Sylow de G contenant R
(imiter la façon dont on a prouvé l'existence de à la question g) ).
Soit T un élément de ; donc T est un G-conjugué de Q contenu dans D'après (3), T est normal dans ; donc, puisque Q est contenu dans T est normalisé par Q. Donc T est un G-conjugué de Q normalisé par Q. Cela prouve que
- est contenu dans l'ensemble des G-conjugués de Q normalisés par Q.
Joint à (1), cela prouve l'assertion 2° de l'énoncé.
i) Soit G un groupe fini, soit un diviseur premier de , soit la plus grande puissance de divisant , soit Q un sous-groupe d'ordre de G.
On désigne par le nombre des -sous-groupes Sylow de G contenant Q et par conj(Q) le nombre des G-conjugués de Q.
Comme à la question g), on désigne par l'unique nombre naturel tel que chaque p-sous-groupe de Sylow de G contienne exactement G-conjugués de Q.
Déduire de la question h) que
- 1°les G-conjugués de Q normalisés par Q sont en nombre ;
- 2°
Pour alléger les notations, on va écrire pour
Comme à la question h), notons les différents -sous-groupe Sylow de G contenant Q et, pour chaque dans notons l'ensemble des G-conjugués de Q contenus dans
Par définition de , nous avons
- (1)
D'autre part, puisque les contiennent tous Q et que Q est un G-conjugué de Q,
- (2) comprennent tous Q.
Soient deux différents indices dans Si et avaient en commun un élément R distinct de Q, Q et R seraient tous deux contenus dans et tous deux contenus dans Puisque et sont d'ordre et que Q et R seraient deux différents sous-groupes d'ordre de G, on aurait donc
- et ,
d'où , contradiction.
Donc les ensembles (où parcourt ) sont deux à deux disjoints, donc, d'après (1) et (2),
- (3),
D'après les hypothèses de l'énoncé, Q est d'indice premier dans chaque -sous-groupe de Sylow de G contenant Q, donc, d'après la formule des indices, Q est sous-groupe maximal de chaque -sous-groupe de Sylow P de G contenant Q. Puisqu'un tel P est un -groupe et est donc nilpotent, il résulte donc du chapitre Groupes nilpotents que Q est normal dans chaque -sous-groupe de Sylow de G contenant Q. Donc, d'après la question h), le membre gauche de (3) est égal au nombre des G-conjugués de Q normalisés par Q, donc
- (4)les G-conjugués de Q normalisé par Q sont en nombre ,
ce qui démontre le point 1° de l'énoncé.
Puisque l'ensemble des G-conjugués de Q normalisé par Q est une partie de l'ensemble des G-conjugués de Q, nous avons donc
- ,
ce qui démontre le point 2° de l'énoncé.
j) Soit G un groupe fini, soit un nombre premier. On note le nombre des -sous-groupes de Sylow de G. Pour tout -sous-groupe T de G, on note le nombre des -sous-groupes de Sylow de G contenant T.
Comme à la question g), on note le nombre naturel tel que chaque -sous-groupe de Sylow de G contienne exactement G-conjugués de T.
Soit Q un -sous-groupe de G. On note conj(Q) le nombre des G-conjugués de Q.
Prouver que
Indication : on peut évaluer de deux façons le nombre des couples (R, P), où R est un G-conjugué de Q, où P est un p-sous-groupe de Sylow de G et où R est contenu dans P.
Notons l'ensemble des p-sous-groupes de Sylow de G.
Notons C l'ensemble des couples (R, P), où R est un G-conjugué de Q, où P est un p-sous-groupe de Sylow de G et où R est contenu dans P.
Une première évaluation de est
- (1),
où Conj(Q) désigne l'ensemble des G-conjugués de Q.
Du fait que les p-sous-groupes de Sylow de G forment une classe de conjugaison de sous-groupes de G, on tire facilement que si R est un G-conjugué de Q,
- le nombre des p-sous-groupes de Sylow de G contenant R est égal au nombre des p-sous-groupes de Sylow de G contenant Q
(imiter la façon dont on a prouvé l'existence de à la question g) ).
Donc le résultat (1) peut s'écrire
- (2)
Une seconde évaluation de est
- (3),
où, pour chaque p-sous-groupe de Sylow P de G, désigne le nombre des G-conjugués de Q contenus dans P.
Mais il résulte de la question g) que, pour chaque p-sous-groupes de Sylow P de G, le nombre des G-conjugués de Q contenus dans P est égal à , donc (3) peut s'écrire
La comparaison de ce résultat avec (2) démontre l'énoncé.
k) Comme aux questions d) et f), on suppose que G est un groupe simple d'ordre 720 et Q un sous-groupe d'ordre 3 de G contenu dans plusieurs 3-sous-groupes de Sylow de G. D'après la question g), il existe un et un seul nombre naturel tel que chaque 3-sous-groupe de Sylow de G contienne exactement G-conjugués de Q.
À l'aide notamment des questions i) et j), prouver que
- 1°;
- 2°le seul G-conjugué de Q normalisé par Q est Q.
D'après la question j),
- (1)
où conj(Q) désigne le nombre des G-conjugués de Q,
où désigne le nombre des 3-sous-groupes de Sylow de G
et où désigne le nombre des 3-sous-groupes de Sylow de G contenant Q.
On a vu à la question f) que , donc
- (2)
D'après la question d), point (iii),
- (3)
En portant (2) et (3) dans (1), on obtient
- (4)
D'après la question i), point 2°, où on fait , nous avons
- ,
ce qui, d'après (2) et (3), peut s'écrire
- ,
d'où
- (5)
D'après la question b), est égal à 10 ou à 40; s'il est égal à 10, alors, d'après (4), , ce qui contredit (5). Donc , donc, d'après (4),
- (6),
ce qui démontre le point 1° de l'énoncé.
En portant (6) dans la question i), point 1° (où on fait ), on trouve qu'il n'y a qu'un G-conjugué de Q normalisé par Q. Puisque Q est un G-conjugué de Q normalisé par Q, cela revient à dire que le seul G-conjugué de Q normalisé par Q est Q, ce qui démontre le point 2° de l'énoncé.
l) Soit G un groupe simple d'ordre 720. Prouver que les 3-sous-groupes de Sylow de G se coupent trivialement deux à deux.
Indication : si, par absurde, Q est un sous-groupe d'ordre 3 de G contenu dans plusieurs 3-sous-groupes de Sylow de G, alors, d'après la question f), ; en déduire, à l'aide du lemme N/C, que tout élément d'ordre 3 de Q est le carré d'un élément d'ordre 6 de G; faire opérer un tel élément d'ordre 6 par conjugaison sur l'ensemble des G-conjugués de Q; à l'aide du préliminaire 11 du chapitre théorique, en tirer une conclusion qui contredit la question k).
Supposons que, par absurde,
- (hyp. 1)les 3-sous-groupes de Sylow de G ne se coupent pas tous trivialement deux à deux.
Donc
- (2)il existe un sous-groupe Q d'ordre 3 de G qui est contenu dans plusieurs 3-sous-groupes de Sylow de G.
D'après le point f),
- (3)
D'après le lemme N/C,
- (4) divise
Puisque Q est un groupe (cyclique) d'ordre 3, est égal à 2, donc, d'après (3) et (4),
- divise 2,
- divise ,
donc
- (5) est divisible par 36.
Retenons seulement que est pair. Donc comprend (au moins) un élément d'ordre 2, soit Choisissons un élément d'ordre 3 de Q. Puisque commute avec , nous avons
- avec et , donc
- (6)
D'autre part, puisque les ordres respectifs 3 et 2 de et de sont premiers entre eux, est d'ordre 6, donc (6) montre que
- (7) est le carré d'un élément d'ordre 6 de G.
Notons X l'ensemble des G-conjugués de Q.
Puisque G est un groupe simple fini d'ordre composé, il résulte du chapitre Premiers résultats sur les groupes simples que
- (8)la permutation de X est paire et d'ordre 6.
D'après (3), , donc, d'après (8),
- est une permutation paire d'ordre 6 d'un ensemble à 10 éléments.
D'après le préliminaire 11 du chapitre théorique, la permutation a donc plusieurs points fixes. Cela signifie que la permutation de X, autrement dit la permutation de X, a plusieurs points fixes, ce qui revient à dire que normalise plusieurs G-conjugués de Q. Puisque engendre Q, cela revient encore à dire que Q normalise plusieurs G-conjugués de Q, ce qui contredit la question k)., point 2°. La contradiction obtenue prouve que notre hypothèse (1) est fausse, donc les 3-sous-groupes de Sylow de G se coupent trivialement deux à deux.
m) Soit G un groupe simple d'ordre 720. Prouver que les 3-sous-groupes de Sylow sont en nombre 10.
Indication : utiliser un théorème qu'on a appelé « congruence de Sylow à module renforcé » dans un exercice sur le chapitre Théorèmes de Sylow.
D'après la question l), les 3-sous-groupes de Sylow de G se coupent trivialement deux à deux. Donc, d'après un théorème qu'on a appelé « congruence de Sylow à module renforcé » dans un exercice sur le chapitre Théorèmes de Sylow,
- (1)le nombre des 3-sous-groupes de Sylow de G est
D'autre part, on a vu à la question b) que ce nombre est égal à 10 ou à 40. Puisque , il résulte donc de (1) qu'il est égal à 10.
n) Soit G un groupe simple d'ordre 720. Prouver que G n'a pas d'élément d'ordre 6.
Indication : faire opérer un tel élément par conjugaison sur l'ensemble des 3-sous-groupes de Sylow de G; en utilisant la question m) et le préliminaire 11 du chapitre théorique, obtenir un résultat qui contredit la question l).
Notons l'ensemble des 3-sous-groupes de Sylow de G.
D'après la question m),
- (1)
Puisque les 3-sous-groupes de Sylow de G forment une classe de conjugaison de sous-groupes de G, G agit transitivement (et donc non trivialement) par conjugaison sur Supposons que, par absurde,
- (hyp. 2)il existe un élément d'ordre 6 dans G.
On va maintenant refaire des raisonnements déjà tenus dans la solution de la question l).
Notons la permutation
- de
Puisque G est un groupe simple fini non abélien, il résulte du chapitre Premiers résultats sur les groupes simples que est une permutation paire d'ordre 6. Donc, d'après (1),
- est une permutation paire d'ordre 6 d'un ensemble à 10 éléments.
Dès lors, d'après le préliminaire 11 du chapitre théorique, la permutation de a plusieurs points fixes. Autrement dit, la permutation
- de
a plusieurs points fixes, ce qui revient à dire que
- (3) normalise plusieurs 3-sous-groupes de Sylow de G.
Mais est un élément d'ordre 3 de G, or un élément d'ordre 3 de G qui normalise un 3-sous-groupe de Sylow de G appartient à ce sous-groupe ( voir exercices sur le chapitre Théorèmes de Sylow), donc, d'après (3), est un élément d'ordre 3 de G qui appartient à plusieurs 3-sous-groupes de Sylow de G, ce qui contredit la question l). Cette contradiction prouve que notre hypothèse (2) est fausse, donc G n'a pas d'élément d'ordre 6, ce qui démontre l'énoncé.
o) Soit G un groupe d'ordre 720. Prouver que les 3-sous-groupes de Sylow de G sont isomorphes à
Indication : utiliser la question m); puis, si un 3-sous-groupe de Sylow de G est cyclique, lui appliquer le problème 1 (préliminaire 1 du chapitre théorique); en déduire un résultat qui contredit la question n).
Soit P un 3-sous-groupe de Sylow de G.
D'après la question m), les 3-sous-groupes de Sylow de G sont en nombre 10, donc (question b) )
- (1)
Supposons que, par absurde,
- (hyp. 2)P soit cyclique.
Alors, d'après le problème 1 (préliminaire 1 du chapitre théorique),
- divise 2,
autrement dit, d'après (1),
- divise 2,
- divise ,
- est divisible par 36.
Retenons seulement que
- est pair.
Nous pouvons donc choisir un élément d'ordre 2 dans D'autre part, nous pouvons choisir un élément d'ordre 3 dans P. Puisque appartient à , et commutent. Puisque leurs ordres respectifs 2 et 3 sont premiers entre eux, est donc un élément d'ordre 6 de G, ce qui contredit la question n). Cette contradiction prouve que notre hypothèse (2) est fausse, donc P n'est pas cyclique. Puisque P est d'ordre 9, il est donc isomorphe à , ce qui démontre l'énoncé.
p) À l'aide des questions l), m) et o) et d'une conséquence qu'un théorème démontré dans le chapitre théorique permet d'en tirer, prouver qu'il n'y a pas de groupe simple d'ordre 720.
Soit, par absurde, G un groupe simple d'ordre 720. D'après les question l), m) et o), G possède les trois propriétés suivantes :
- les 3-sous-groupes de Sylow se coupent trivialement deux à deux;
- ils sont en nombre 10;
- ils sont isomorphes à
Puisque, de plus, G est simple, G est donc ce qu'on a appelé dans le chapitre théorique un groupe coléen. Or on a prouvé dans le chapitre théorique que tout groupe coléen est isomorphe à Donc tout groupe simple d'ordre 720 devrait être isomorphe à , ce qui est impossible, puisque est d'ordre 360. Il n'y a donc pas de groupe simple d'ordre 720.
Notes et références
[modifier | modifier le wikicode]