4
Th´eor`eme 0.5
Soit Kun corps fini de cardinal pr.
1. Tout sous-corps de Ka pour cardinal pt, avec tdiviseur de r,
2. pour tout entier positif tdiviseur de r, il existe un unique sous-corps de
Kdont le cardinal est pt,
3. pour tout entier tdiviseur de r, le sous-corps de Kde cardinal ptest
l’ensemble des racines de Xpt−X.
Par cons´equent, si αest un ´el´ement d’un corps fini de cardinal pr, alors le
dergr´e du polynˆome minimal de αsur Fpest un diviseur de r.
Enfin, si Kest un corps fini de cardinal pr, si test un diviseur de ret si Lest
l’unique sous-corps de Kde cardinal pt,
1. su αest une racine primitive de L, alors le degr´e de son polynˆome
minimal sur Fpest ´egal `a t,
2. si βest un ´el´ement de Kdont le degr´e du polynˆome minimal sur Fpest
´egal `a t, alors Fp(β) = L.
Bon, un petit dernier.
Th´eor`eme 0.6
Si pest un entier premier, et si rest un entier strictement positif, alors il
existe un corps fini de cardinal pr.
Si pest un entier premier, et si rest un entier strictement positif, alors il
existe un polynˆome de degr´e rsur Fpqui est irr´eductible sur Fp.
Deux corps finis de mˆeme cardinal sont isomorphes.
Si pest un entier premier, et si rest un entier strictement positif. Soit m(X)
un polynˆome de degr´e rsur Fp, irr´eductible sur Fp. Tout corps fini de cardinal
prest isomorphe `a Fp[X]/(m(X)).