2. (a) Kest un groupe cyclique d’ordre l’ordre du cycle (1...p) qui vaut p.
(b) (a1, . . . , ap) est un point fixe pour l’action de Ksi et seulement si (a1, . . . , ap) =
(ap, a1, . . . , ap−1), si et seulement si ap=a1=a2=a3=. . . =ap−1.
(c) La formule des classes donne
Card(Ap) = Card((Ap)K) +
r
X
i=1
O(xi)
o`u O(xi) est l’orbite de xiet x1, . . . , xrsont des repr´esentants des orbites ayant n > 1
´el´ements. Comme le cardinal de O(xi) divise pon a O(xi) = p. Donc np=n+rp
c’est-`a-dire npest congru `a nmodulo p.
Exercice 3.
1. On a αz +β=z0si et seulement si z=1
α(z0−β). Donc f(α,β)est une bijection de C
d’application r´eciproque f(1
α,−β
α).
2. Fest non vide (f(1,0) =IdC) et on a montr´e que f∈F⇒f−1∈Fdans la question
pr´ec´edente. Par ailleurs
(f(α,β)◦f(α0,β0))(z) = α(α0z+β0) + β=f(αα0,αβ0+β)(z) (1)
donc Fest stable par composition. En cons´equence, Fest un sous-groupe des bijections
de C.
3. On d´emontre le relation par r´ecurrence sur n. Pour n= 1, la relation est v´erifi´ee. Sup-
posons que la relation soit vraie au rang net calculons
(f(α,β))n+1 =fn
(α,β)◦f(α,β)=f(αnα,αnβ+(Pn−1
i=0 αi)β)=f(αn+1,(Pn
i=0 αi)β)
par hypoth`ese de r´ecurrence et d’apr`es l’´equation (1). Donc la relation est vraie au rang
n+ 1. Le principe de r´ecurrence permet de conclure que la formule est vraie pour tout
n≥1.
4. f(α,β)est d’ordre fini si et seulement si il existe n∈N∗tel que (f(α,β))n=IdC=f(1,0), si
et seulement si il existe n∈Ntel que αn= 1 et (Pn−1
i=0 αi)β= 0.
Donc αnest une racine n-i`eme de l’unit´e.
Premier cas: α= 1, alors n´ecessairement β= 0 et f(1,0) =IdCest d’ordre 1.
Deuxi`eme cas: α6= 1. Soit dl’ordre de αdans C∗. On a ddivise net αest une racine
primitive d-i`eme de l’unit´e, donc {αi,0≤i≤d−1}est l’ensemble des racines d-i`eme de
l’unit´e. Par cons´equent Pd−1
i=0 αi= 0 et donc (f(α,β))d=IdC.
Ainsi f(α,β)est d’ordre fini si et seulement si αest une racine d-i`eme de l’unit´e pour un
certain d≥2 ou (α, β) = (1,0).
Exercice 4.
1. Soit Gun groupe d’ordre p2. D’apr`es P2. |Z(G)|∈{p, p2}. Si |Z(G)|=p2alors Z(G) = G
et Gest ab´elien. Si |Z(G)|=palors G/Z(G) est d’ordre p, donc cyclique par P3; alors
P1. implique que Gest un groupe ab´elien (et d’ailleurs cela implique que Z(G) = Gdonc
que |Z(G)| 6=p) .
2