Aller au contenu

Théorie des groupes/Exercices/Intermède : groupes simples d'ordre 168

Leçons de niveau 14
Une page de Wikiversité, la communauté pédagogique libre.
Intermède : groupes simples d'ordre 168
Image logo représentative de la faculté
Exercices no35
Leçon : Théorie des groupes
Chapitre du cours : Intermède : groupes simples d'ordre 168

Exercices de niveau 14.

Exo préc. :Simplicité des groupes linéaires spéciaux projectifs
Exo suiv. :Intermède : groupes simples d'ordre 360
En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Intermède : groupes simples d'ordre 168
Théorie des groupes/Exercices/Intermède : groupes simples d'ordre 168
 », n'a pu être restituée correctement ci-dessus.




a) Soit G un groupe fini, soit p un nombre premier; on suppose que (nombre des p-sous-groupes de Sylow de G) est le plus petit diviseur d de tel que d > 1 et d ≡ 1 (mod p).
Soient P, Q deux différents p-sous-groupes de Sylow de G. Prouver que est contenu dans tous les p-sous-groupes de Sylow de G. (Indication : utiliser l'énoncé qu'on a appelé « lemme de l'intersection maximale » dans le chapitre théorique.)

b) Soit G un groupe fini, soit p un nombre premier; on suppose que

est le plus petit diviseur d de tel que d > 1 et d ≡ 1 (mod p);
n'est pas congru à 1 modulo la plus grande puissance de p qui divise l'ordre de G.

Prouver que G n'est pas simple. (Utiliser le point a) et une forme forte du théorème de congruence de Sylow qu'on a démontrée dans les exercices sur les théorèmes de Sylow.)

c) Soit G un groupe d'ordre 4400. Prouver que G n'est pas simple. (Indication. Si le nombre des 5-sous-groupes de Sylow de G est égal à 16 ou à , utiliser le théorème du complément normal de Burnside; si utiliser le point b).)

Soit G un groupe simple d'ordre 168, soit H un sous-groupe d'ordre 2 de G. Prouver que H est contenu dans exactement cinq 2-sous-groupes de Sylow de G.

Remarque. Comme 5 ne divise pas 168, cela montre qu'on ne peut pas énoncer ce renforcement d'un théorème de Sylow : soit G un groupe fini, soit p un nombre premier, soit P un p-sous-groupe de G; le nombre des p-sous-groupes de Sylow de G qui contiennent P divise l'ordre de G.