3
non premiers avec pα, c’est-`a-dire divisibles par p, est ´egal `a pα−1, ce qui est
´evident.
Le th´eor`eme de Lagrange implique que
∀a∈Z,pgcd(a, n) = 1 ⇒aϕ(n)= 1 mod n;
dans le cas particulier o`u n=pest un nombre premier, on obtient le petit
th´eor`eme de Fermat :
∀a∈Z, p 6 |a⇒ap−1= 1 mod p
et donc
∀a∈Z, ap=amod p.
Il r´esulte par exemple de (1) que :
Proposition 1. — L’anneau Z/nZest un corps si et seulement si nest un
nombre premier.
Pour tout nombre premier p, on notera Fple corps fini Z/pZ. Le groupe F×
p
est cyclique. Cette assertion est un cas particulier du :
Th´eor`eme 2. — Pour tout corps fini K, le groupe K×=K\{0}est cyclique.
Avant de prouver ce th´eor`eme, une digression sur la notion d’exposant est
utile.
D´efinition 3. — L’exposant d’un groupe fini G, not´e ω(G), est le ppcm des
ordres des ´el´ements de G.
Le th´eor`eme de Lagrange montre que :
Proposition 4. — L’exposant ω(G)de tout groupe fini Gdivise l’ordre de G.
Proposition 5. — Tout groupe ab´elien fini Gposs`ede un ´el´ement d’ordre
ω(G).
D´emonstration. — On consid`ere la d´ecomposition ω(G) = pα1
1···pαr
rde ω(G)
en facteurs premiers. Pour tout i∈[[1, r]], il existe un ´el´ement hide Gdont
l’ordre est divisible par pαi
i. Alors gi:= ho(hi)/pαi
i
iest d’ordre pαi
i. Puisque
g1, ..., grcommutent entre eux et que leurs ordres sont premiers entre eux deux
`a deux, l’´el´ement g=g1···grde Gest d’ordre o(g1)···o(gr) = ω(G).
Nous sommes `a pr´esent en mesure de prouver le th´eor`eme.
Preuve du Th´eor`eme 2. — Soit qle cardinal de K. Notons ω=ω(K×). Il
r´esulte de la d´efinission de ωque le polynˆome Xω+1 −X∈K[X] s’annule sur
K. Donc ω+ 1 = deg Xω+1 −X≥♯K =q. Puisque ωdivise |K×|=q−1,
on en d´eduit que ω=q−1. Le r´esultat est maintenant une cons´equence de la
Proposition 5.