Préparation à l’agrégation
Corps finis
ENS Rennes - Année 2014–2015
Romain Basson
où la somme porte sur un certain nombre de diviseurs dstricts de n(d=nsignifie que x∈Z).
Or, de la relation Xn−1 = Qm|nΦmdans Z[X], on déduit que, pour d|n,qn−1
qd−1=Qm|net m-dΦm(q), ainsi
Φn(q)|qn−1
qd−1, pour d6=n.
Finalement, on a donc Φn(q)|q−1et, en particulier, |Φn(q)|6q−1. Or Φn(q) = (q−ζ1). . . (q−ζϕ(n)),
où les ζisont les racines primitives nèmes de l’unité dans Cet |q−ζi|>|q−1|(faire un dessin !), ainsi
|Φn(q)|>(q−1)ϕ(n)>q−1, d’où une contradiction.
QED
1.2 Existence et unicité des corps finis
Théorème 1.7
(i) Le cardinal d’un corps fini kest une puissance d’un nombre premier. Précisément, |k|=p[k:Fp], où pest
la caractéristique de k.
(ii) Soit pun nombre premier, q=pd, avec d∈N∗, et Ωun corps algébriquement clos de caractéristique p. Il
existe un unique sous-corps à qéléments de Ω, noté Fq; c’est l’ensemble des racines du polynôme Xq−X.
(iii) Tout corps fini à q=pdéléments est Fp-isomorphe à Fq.
Démonstration. (i) Le sous-corps premier de kne saurait être Q,kest donc un espace vectoriel de dimension
finie sur son sous-corps premier Fp.
(ii) Puisque Ωest algébriquement clos, f:x7−→ xqest un automorphisme de Ω(puissance dèmedu Frobenius).
Les éléments de Ωinvariants par fforment un sous-corps Fqde Ωqui a qéléments. En effet il s’agit des racines
du polynôme Xq−Xqui est séparable sur Fpet scindé dans Ωalgébriquement clos. En outre, si kest un
sous-corps de Ωàqéléments, le groupe multiplicatif de kest d’ordre q−1, ainsi xq−1= 1, pour x∈k?(th. de
Lagrange), d’où xq=xpour tout x∈k. Ainsi k⊂Fqet l’égalité par égalité des cardinaux.
(iii) Fqn’est rien d’autre qu’un corps de décomposition de Xq−Xsur Fp.
QED
Remarque 1.8 D’après le point (iii), il n’y a essentiellement qu’un corps fini à qéléments. Toutefois, il n’y
a pas unicité d’un isomorphisme entre deux tels corps (cf. les sections 2.3 et 2.5), d’où un certain danger de la
notation Fq. À ce sujet, on pourra consulter la remarque de la section 9.3.3 de [Dem09, p. 223].
Il est alors naturel de se demander quels sont les sous-corps de Fq? La réponse découle essentiellement du
lemme préliminaire suivant.
Lemme 1.9 Soit aun entier supérieur à 2 et det ndeux entiers naturels. ad−1|an−1⇐⇒ d|n.
Démonstration. Si n=db, alors
an−1 = (ad)b−1=(ad−1)((ad)b−1+··· + 1) = (ad−1)N.
Réciproquement, écrivons la division euclidienne de npar d:n=bd +r. Modulo ad−1, on a ad≡1, donc
adb ≡1, or an≡1, ainsi ar≡1, ce qui impose r= 0, puisque r < d.
QED
Proposition 1.10 - Sous-corps de Fpn.
Fpnpossède un sous-corps de cardinal pdsi et seulement si d|n. Le cas échéant un tel sous-corps est unique,
formé de l’ensemble des racines de Xpd−X.
3