Vous êtes sur la page 1sur 5

Thorme de Cauchy et thormes de Sylow

1 Introduction
Le thorme de Lagrange nous apprend que lordre dun lment dans un groupe ni est un diviseur de lordre du groupe. Le thorme de Lagrange peut snoncer encore sous la forme suivante: lordre dun sous groupe dun groupe engendr par un lment de ce groupe est un diviseur de lordre du groupe. Il est alors naturel de se poser le problme de la rciproque: Si p est un diviseur de lordre dun groupe existe-t-il un lment dordre p dans ce groupe? Si p est un diviseur de lordre dun groupe, existe-t-il un sous groupe dordre p dans ce groupe?

Le thorme de Cauchy, puis ceux de Sylow qui sont une gnralisation du premier, apporteront des lments de rponse ces questions.

2 Thorme de Cauchy
Thorme de Cauchy Soit (G,.) un groupe ni et p un diviseur premier de lordre de G. Alors il existe un lment dordre p dans G. Dmonstration Soit p un diviseur premier de |G|. Considrons lensemble x1 x p
G  X  G  ; x1 x2  x p e 
p f ois

o e dsigne le neutre de G. Pour choisir un lment x de X, nous devons faire p-1 choix dlments dans G, donc le cardinal de X est |G| p  1. On fait agir  /p  sur X de la faon suivante: (On commettra sans aucun scrupule labus de notation qui consiste identier la classe dquivalence de i  et llment de  compris entre 0 et p-1 qui est un reprsentant de cette classe dquivalence. Autrement dit, on ne sera pas gn par lgalit i=k o k est le reprsentant de i qui est compris entre 0 (compris) et p (non compris)). Si x est llment (x1 ,...,x p) de X et si i est la classe dquivalence de i (0  i<p) dans  /p  , alors i.x=(x1  i ,...,x p  i). On vrie sans peine que ceci dnit bien une action sur X. Supposons que G ne possde aucun lment dordre p. Remarquons que lorbite de (e,...,e) X na quun lment. Si un autre lment x de X na que lui mme dans son orbite, alors en particulier, x=(x1 ,...,x p)= (x1  1,...,x p 1)=(x2 ,...,x p,x1 )=(x3,...,x1,x2 )=... . Et donc x1 =x2 =...=x p et x1 p =e, ce qui implique que G possde un lment x1 dordre p et est contraire notre hypothse de dpart. On suppose donc que (e,...,e) est le seul lment de X possdant une orbite ne contenant que lui mme. Si x est un lment de X, |w(x)| est alors un diviseur de |  /p  |=p diffrent de 1. Comme p est premier, 1

ceci implique que |w(x)|=1. Choisissons alors des lments x de X dont les orbites respectives partitionnent X. La formule des classes nous donne:    G    X X w x
x partitionnant X

Donc |X| est de la forme 1+m.p o m dsigne le nombre dorbites de taille plus grande que 1 et partitionnant X. Ceci contredit le fait que |X| est de cardinal |G| p  1 qui est divisible par p. Nous venons alors de dmontrer par labsurde que G possdait au moins un lment dordre p.

3 Thormes de Sylows
Dnition On dit que le groupe ni (G,.) est un p-groupe si p est premier et si le cardinal de G est une puissance de p.

Proposition Si G est un p-groupe agissant sur un ensemble X et si XG = x X ;  g G g x x  alors on a:   G  X X mod p Dmonstration Soient x1 ,...,xk des lments de X tels que XG ,w(x1 ),...,w(xk )  dnit une partition de X. XG est en fait lensemble des lments de X dont lorbite est constitue dun unique point. On suppose donc que pour tout i=1,...,k |w(xi )|>1. Comme |w(xi )| est un diviseur de |G|=p et que p est premier, |w(xi )| est de la forme |w(xi )| pour tout i=1,...,k. Mais comme X est la runion p avec "! 1. Donc p divise disjointe des lments de XG ,w(x1),...,w(xk )  alors son cardinal  est la somme des cardinaux de tout ces lments et comme p divise chaque |w(xi )|, |X| XG (mod p).
Dnition Soit G un groupe de cardinal n=p .m avec p premier et p ne divisant pas m. On dit que le sous groupe H de G est un p-Sylows de G si |H|=p . Voici un exemple de p-Sylow. Proposition Soit le corps ni IF p #  /p  ( p est un nombre premier). Considrons lensemble des matrices inversibles de rang n coefcient dans IF p . Cet ensemble, not n$ n% 1& GLn(IF p), est un groupe de cardinal m.p 2 o m et n sont des entiers non nuls. Si lon note T le sous ensemble de GLn(IF p) des matrices triangulaires suprieures de rang n, coefcients dans IF p et lments diagonaux tous gaux 1, alors T est un p-Sylow de GLn(IF p). Dmonstration On ne dmontrera pas que GLn(IF p) est un groupe. Ceci est un rsultat de base dalgbre linaire. On ne dmontrera pas non plus que T est un sous 2

groupe de GLn(IF p ) car cest relativement facile. Calculons par contre le cardinal de GLn(IF p). Etudions la premire colonne dune matrice de GLn(IF p). On peut choisir nimporte quelle valeur pour les lments de cette colonne. La seule ventualit viter est que tout les lments de cette colonne soient nuls simultanment. Cela nous fait donc pn -1 possibilits pour cette premire colonne. Etudions maintenant la deuxime colonne. Les lments de cette colonne peuvent prendre nimporte quelles valeurs. Les seules conditions vrier sont que cette colonne ne soit pas dpendante de la premire et quelle ne soit pas nulle. Il y a p-1 colonnes possibles dpendantes de la premire et quune colonne nulle possible. Cela nous fait alors pn -p possibilits pour la deuximre colonne. De mme, par rcurrence, on tablit quil y a pn -pk possibilits pour la kime colonne. Donc |GLn(IF p)|=(pn-1)(pn-p)...(p n-pn  1 ). Ce cardinal peut se re-crire sous la forme: p.p2 ...pn  1.(pn -1)(pn  1-1)...(p-1)=p 1  2 (' ' '  n  1.(pn -1)(pn  1n$ n% 1& 1)...(p-1)=p 2 .(pn-1)(pn  1-1)...(p-1) Donc, en posant m gal la partie du produit prcdent qui est aprs le premier facteur, n$ n% 1& on vient de montrer que |GLn(IF p)|=m.p 2 . Calculons maintenant le cardinal de T. Pour cela remarquons quil y a pn  1 choix possibles pour la premire ligne, pn  k choix possibles pour la kime ligne. Au total, cela n$ n% 1& nous fait p.p2 ...pn  1 choix possibles pour une matrice de T. Ceci prouve que |T|=p 2 et que T est un p-Sylow de GLn(IF p ). Avant dnoncer les thormes de Sylow, dmontrons le lemme suivant qui nous sera fort utile pour la suite. Lemme Soit G un groupe de cardinal n, p un diviseur premier de n tel que n=p .m et p ne divisant pas m, soit H un sous groupe de G et S un p-sylow de G. Alors il existe g dans G tel que g.S.g  1 ) H soit un p-sylow de H. Dmonstration Considrons le quotient G/S qui est en fait lensemble des classes gauche de G relativement au sous groupe S: G/S= a H ; a G  . G agit sur G/S par translation gauche: g.aS=(ga)S. Llment g G est lment du stabilisateur de aS si et seulement si g.aS=aS. Cest dire si et seulement si g est lment de aSa  1 . Rciproquement, on montre que si g est lment de aSa  1 alors g Stab(aS). H agit sur G/S par restriction de laction de G. Le stabilisateur dun lment aS pour cette nouvelle action est alors de la forme aSa  1 ) H. S tant un p-Sylow de G, |S|=p . Comme aSa  1 est un sous groupe conjugu de S, il a mme cardinal que S. De plus, comme H est un sous groupe de G, son cardinal est, daprs le thorme de Lagrange, de la forme m.p o m divise m et o * . Lintersection de deux sous groupes dun groupe est encore un sous groupe. Donc aSa  1 ) H est un sous groupe de G. Cest de plus un sous groupe de H et de S. Son cardinal, toujours daprs le thorme de Lagrange, divise la fois p et m.p . Il est donc de la forme p  o est la fois plus petit (ou gal) et . Notons que dpend a priori de a. Supposons que pour tout a dans G, a ,+ . Cette hypothse 3

revient supposer que aSa  1 ) H nest jamais un p-Sylow de H. Alors, comme lorbite dun lment aS de G/S par laction de H vrie la formule |w(aS)|=|H|/|Stab(aS)| et  1 ) H, on a |w(aS)|=m.p     . Comme pour tout a de G, on a supque Stab(aS)=aSa pos que a -+ alors p divise |w(aS)| et ce  a G. Mais w aS ; a G  dnit une partition de G/S. La runion de toutes ces orbites est gale G/S. Le cardinal de G/S est donc divisible par p. Mais ceci est impossible car daprs le thorme de Lagrange |G/S|=m qui nest pas divisible par p. Nous avons donc abouti une contradiction. Ceci nous permet dafrmer quil existe un lment a de G tel que aSa  1 ) H est un p-Sylow de H. Thorme (Premier thorme de Sylow) Si G est un groupe de cardinal n et que n vrie n=p .m avec p premier et p ne divisant pas m, alors G possde un p-Sylow. Dmonstration Soit G un groupe comme dans lnonc du thorme. Le thorme de Cayley nous permet dafrmer lexistence dun morphisme injectif de G dans le groupe symtrique n lments Sn. Mais on a une injection vidente de Sn dans GLn(IF p): a toute permutation de Sn, on fait correspondre lapplication linaire f dnie par : si (ei)i. 1 ' ' n est une base de (IF p / n alors f(ei)=e 0 i / . On ralise ainsi une injection de G dans GLn(IF p). Ainsi, limage dun groupe par un morphisme tant un sous groupe du groupe darrive du morphisme, et notre morphisme tant injectif (et surjectif sur son image) G est isomorphe un sous groupe H de GLn(IF p). De plus, comme on la vu dans lexemple prcdent, GLn(IF p ) possde un p-Sylow S. Daprs le lemme prcdent, il existe alors un lment a de GLn(IF p) tel que aSa  1 ) H est un p-Sylow de H. H contient donc un p-Sylow. Ce p-Sylow se transporte par lapplication inverse de notre isomorphisme vers un p-Sylow du groupe G. Cqfd. Thorme Soit G un groupe de cardinal n, n vriant n=p .m avec p premier et p ne divisant pas m. G contient, daprs le premier thorme de Sylow, un ou des p-Sylows. (Second thorme de Sylow) Les p Sylows de G sont tous conjugus. De plus, leur nombre k divise n.  (Troisime thorme de Sylow) Le nombre k de p-Sylow dans G vrie: k 1 (mod p).

Dmonstration Considrons 1 S1 Sk  lensemble des p Sylows de G. Daprs le premier lemme de ce paragraphe, pour tout i=1..k, il existe un lment a de G tel que aS1 a  1 ) Si soit un p-Sylow de Si . Mais en raison de ce fait et des cardinaux respectifs de aS1 a  1 et de Si , on en dduit que aS1 a  1 =Si . On dmontre ainsi que tout les p-Sylows sont conjugus. Remarquons ce stade de la dmonstration que si un p-Sylow est normal dans le groupe qui le contient, alors ncessairement, il est lunique p-Sylow de ce groupe. Faisons maintenant agir G par conjugaison sur 1 : g.Si =gSi g  1 . Cette action est , avec ce qui vient dtre tabli, bien dnie. De plus, comme tout les p-sylows de G sont conjugus, cette action nengendre quune et une seule orbite sur 1 . Comme le cardinal

de lorbite dun point par une action est un diviseur du cardinal du groupe dnissant cette action, on en dduit que k est un diviseur du cardinal de G. S1 agit de mme sur 1 par restriction de laction de G sur 1 . Etudions le sous ensemble 1 S1 de 1 . Si est un lment de 1 S1 si et seulement si pour tout g de S1 , g.Si .g  1 est inclus dans Si . Si on considre le sous groupe H de G engendr par Si et S1 , on en dduit que Si 2 H. Mais Si et S1 sont deux p-Sylows de H. Donc, daprs la remarque faite prcdemment, ceci implique que ces deux p-Sylows nen forment quun: S1 =Si . Le seul p-Sylow contenu dans 1 S1 est donc S1 . Mais S1 un  3  est S1 |=1 p groupe. Donc daprs la proposition tablie tout au dbut de ce thme, 1 1  (mod p). Donc k 1 (mod p), Cqfd. Voici un corollaire immdiat de ce qui vient dtre dmontr. Corollaire Soit G un groupe de cardinal n, n vriant n=p .m avec p premier et p ne divisant pas m. Soit k le nombre de p-Sylow dans G. Alors k divise m et k est premier avec p. Dmonstration Cela dcoule directement des deux thormes prcdents. Remarquons avant den terminer avec ce thme que le premier thorme de Sylow implique le thorme de Cauchy.