5
1.6. Th´eor`eme (Euler) Soient Fun corps, A⊂F∗un sous-groupe fini. Alors A
est cyclique.
1.6.1. Lemme. Soient Aun groupe ab´elien, x, y ∈Ades ´el´ements d’ordres a, b,
tels que (a, b) = 1. Alors xy a l’ordre ab.
En effet, si B(resp. C) est un sous-groupe engendr´e par x(resp. y) alors l’ordre
de B∩Cdivise l’ordres de Bet de C, donc B∩C={1}. Si (xy)c= 1 alors
xc, yc∈B∩Cdonc xc=yc= 1, donc a|cet b|c. Il en suit que (ab)|c, d’o`u
l’assertion.
1.6.2. Lemme. Soient Aun groupe ab´elien, x, y ∈Ades ´el´ements d’ordres a, b.
Alors il existe un z∈Ad’ordre c:= ppcm(a, b).
En effet, on peut trouver des d´ecompositions a=a′a′′,b=b′b′′ avec (a′, b′) = 1
et c=a′b′(v´erifier!). Alors xa′′ (resp. yb′′ est de l’ordre a′(resp. b′), donc par le
lemme pr´ec´edent z=xa′′ yb′′ est de l’ordre c.
1.6.3. Corollaire. Soit Aun ab´elien groupe fini, dle maximal des ordres
d’´el´ements de A. Alors l’ordre de chaque ´el´ement de Adivise d, donc xd= 1
pour chaque x∈C.
Revenons `a notre th´eor`eme. Soit dle maximal des ordres d’´el´ements de A.
D’apr`es le corollaire pr´ec´edent, xd= 1 pour chaque x∈A. D’autre part, l’´equation
td−1 = 0 ne peut pas avoir plus que dracines dans F, d’o`u d= Card(A), donc A
est cyclique.
(b)
1.7. Th´eor`eme (Fermat) Soit Fun corps de caract´eristique p > 0.
Alors (x+y)p=xp+yppour tous x, y ∈F.
En effet,
(x+y)p=
p
X
i=0 i
pxiyp−i
Mais
i
p≡0(p)
pour 1 ≤i≤p(v´erifier!), d’o`u l’assertion.
Il en suit que l’application σ:F−→ F,σ(x) = xpest un morphisme de corps,
necessairement injectif; de mˆeme pour ses it´er´es σf,σf(x) = xpf, f ≥1.
Le sous-corps fix´e F0={x∈F|σ(x) = x} ⊂ Fcontient Fppar le petit Fermat.
Puisque l’´equation tp−t= 0 ne peut avoir plus que pracines dans F, il en suit que
F0=Fp.
1.8. Soit Fun corps fini. Sa caract´eristique est necessairement un nombre
premier p; on a Fp⊂F. Si le degr´e [F:Fp] est ´egale `a f, alors Fest un espace
vectoriel sur Fpde dimension f, donc Card(F) = pf.