Algbre

Anne 20092010

ENS Cachan
Vincent Beck

p-groupes et thorme de Sylow

Dnition 1 lment maximal. Soit (X, ) un ensemble ordonn. Un lment x X est un lment maximal de X si pour tout y X vriant x y , on a x = y (cest--dire si x na pas dlment strictement plus grand que lui dans X). Soit G un groupe et H un sous-groupe de G. On dit que H est maximal si cest un lment maximal de lensemble ordonn (pour linclusion) des sous-groupes de G distincts de G. Autrement dit, un sous-groupe H de G est maximal si les seuls sous-groupes de G contenant H sont H et G, cest--dire si pour tout G vriant H G G, on a G = H ou G = G. Exercice 1 Sous-groupes maximaux. a) Soit G un groupe et H un sous-groupe dindice p premier. Montrer que H est un sous-groupe maximal de G. b) Soit G un p-groupe et H un sous-groupe maximal de G. Montrer que H G et (G : H) = p. c) En dduire que dans un p-groupe, les sous-groupes maximaux sont exactement les sous-groupes dindice p et quils sont tous distingus. d) Soit G un groupe. On considre (G) le sous-groupe de Frattini qui est dni comme lintersection des sous-groupes maximaux de G. Montrer que (G) est distingu dans G. e) Soit G un p-groupe. Montrer que G/(G) est ablien et que tous ses lments (sauf 1) sont dordre p. f) Montrer quune partie S de G engendre G si et seulement si son image dans G/(G) engendre G/(G). Encore une dmonstration des thormes de Sylow. Cet exercice propose une autre dmonsExercice 2 tration des thormes de Sylow. Il sagit donc dobtenir les rsultats sans se servir des thormes de Sylow. a) Soit G un groupe. On suppose que G admet un p-Sylow. On va montrer que tout sous-groupe de G admet aussi un p-Sylow. Pour cela, faire oprer H sur G/S (par translation gauche) et calculer le stabilisateur de aS pour tout a G. Montrer que ces stabilisateurs sont des p-groupes et montrer quil en existe un dont lindice est premier p. Conclure : on obtiendra en particulier quil existe a G tel que aSa1 H est un sous-groupe de Sylow de H. b) Montrer que tout groupe dordre n est isomorphe un sous-groupe de Sn (penser au morphisme de Cayley) puis que Sn est isomorphe un sous-groupe de GLn (Z/pZ) (penser aux matrices de permutations). En dduire que tout groupe ni admet un p-Sylow. c) Retrouver le rsultat de la question a en une ligne en utilisant les thormes de Sylow. Dnition 2 Soit G un groupe (pas ncessairement ni) et H G. On dit que H est sous-groupe caractristique de G si (H) = H pour tout Aut(G) ou encore si (H) H pour tout Aut(G). Un sous-groupe caractristique est toujours distingu (penser aux automorphismes intrieurs). La rciproque est fausse. Par exemple, {1}, G, D(G) et Z(G) sont des sous-groupes caractristiques. Exercice 3 Sous-groupes caractristiques. a) Soit G un groupe ayant un seul sous-groupe H dordre (resp. dindice) d. Montrer que H est un sous-groupe caractristique. p-Sylow, sous-groupe, quotient. Exercice 4 a) Soit H G et S un p-Sylow de H. Montrer quil existe S un p-Sylow de G tel que S = S H. Montrer que ce nest pas vrai pour tous les p-Sylow de G. b) Soit H G, S un p-Sylow de H et S1 un p-Sylow de G. Montrer quil existe g G tel que S = g Sg 1 H (comparer avec lexercice 2). c) Soit H G et S un p-Sylow de G. Montrer que S H est un p-Sylow de H. d) Soit H G et : G G/H la surjection canonique. Montrer que (S) est un p-Sylow de G/H et que, pour tout p-Sylow S de G/H, il existe un p-Sylow de G tel que (S) = S . Montrer quun tel que S est unique si, de plus, H est un p-groupe ou H Z(G). Exercice 5 Thorme de Sylow et groupe symtrique. a) Dterminer les lments dordre p dans Sp . En particulier, combien y en a-t-il ?

b) Dterminer le nombre de p-Sylow de Sp . c) En dduire le thorme de Wilson : (p 1)! = 1 [p]. Exercice 6 Lemme de Cauchy et thorme de Sylow. Dans lune des preuves des thormes de Sylow (laquelle au fait ?), on sest servi du lemme de Cauchy et pas dans lautre (cest sr ?). Vrier qu laide des thormes de Sylow et du corollaire 1 sur les p-groupes, on retrouve le lemme de Cauchy.