50
Soit nple nombre d’´el´ements de Gd’ordre pet soit Nple nombre de sous-groupes de Gd’ordre
p. Alors np+ 1 et Np−1sont divisible par pet np=Np(p−1), donc npest divisible par p−1.
Preuve. Dans cette preuve ce n’est pas Gqui agit, mais un groupe cyclique P=< σ > d’ordre p.
D´efinissons sur l’ensemble
Y:= {(g1, g2, . . . , gp)∈Gp;g1g2. . . gp=1G}.
une P-action par
σ•(g1, g2, . . . , gp) := (g2, g3, . . . , gp, g1),
la permutation cyclique des coefficients. Donc en effet σpagit trivialement, et si g1g2. . . gp=1,
alors
g2g3. . . gpg1=g−1
1g1g2. . . gpg1=1.
On va identifier les points fixe. On a que (g1, g2, . . . , gp)∈YPsi et seulement si
(g1, g2, . . . , gp) = (g2, g3, . . . , gp, g1)
donc g1=g2=g3=. . . =gp, disons g, et g1g2. . . gp=gg . . . g =gp=1. Donc
|YP|=|{g∈G;gp=1}| = 1 + np,
parce que pest premier.
L’application
π:Y−→ Gp−1: (g1, g2, . . . , gp)7→ (g1, g2, . . . , gp−1)
est une bijection, parce que gp= (g1g2. . . gp−1)−1. Donc
|Y|=O(G)p−1.
Par l’´equation de classe (ou par lemme 6.2) on obtient que
|Y|−|YP|=O(G)p−1−(1 + np)
est divisible par p. Par l’hypoth`ese pdivise O(G), donc np+ 1 est divisible par p. En particulier,
np>0 et il existe un ´el´ement d’ordre p.
L’intersection de deux sous-groupes diff´erents d’ordre pest {1}, chaque groupe d’ordre pcontient
exactement p−1 ´el´ements d’ordre pet chaque ´el´ement xd’ordre pest dans un unique sous-groupe
d’ordre p(le sous-groupe <x>). Donc np=Np(p−1) et pNp−Np+ 1 est divisible par p, donc
Np−1 est divisible par p.
Nous allons maintenant donner une preuve alternative (aussi utilisant des actions) pour l’existence
d’un ´el´ement d’ordre p.
Preuve de l’existence d’un ´el´ement d’ordre p, si pdivise O(G).Nous allons utiliser une preuve par
induction sur O(G). Si O(G) = p, alors Gest cyclique d’ordre pet donc il existe en effet un ´el´ement
d’ordre p. Supposons en suite le r´esultat soit vrai pour les groupes d’ordre < O(G).
Supposons alors que pest un diviseur premier de l’ordre de G. Supposons qu’il existe un sous-
groupe H < G tel que H6=Get pdivise O(H). Par l’hypoth`ese d’induction il existe un h∈Htel
que O(h) = p, mais h∈Gdonc on a trouv´e Gun ´el´ement d’ordre pdans G. Donc la preuve serait
compl`ete.