Corps Corps finis Arithm´etique dans les corps finis
Corps finis non premiers
Retour sur le corps C
ISoient z=a+ib et z0=a0+ib0deux nombres complexes
(a,b,a0,b0∈R). On a
z+z0= (a+a0) + i(b+b0)
zz0= (aa0−bb0) + i(ab0+ba0).
ISoient P=a+bx et Q=a0+b0xdeux polynˆomes de degr´e
≤1 `a coefficients r´eels. On a
P+Q= (a+a0)+(b+b0)x
PQ =aa0+ (ab0+ba0)x+bb0x2.
IL’addition des complexes est identique `a celles des polynˆomes
de degr´e ≤1.
ILa multiplication diff`ere, sauf pour le coefficient de iet celui
de x.
IMais si on identifie x2et −1, autrement dit si le produit est
effectu´e modulo le polynˆome x2+ 1, alors
PQ = (aa0−bb0)+(ab0+ba0)x+bb0(x2+ 1)
≡(aa0−bb0)+(ab0+ba0)x(mod x2+ 1)
Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithm´etique dans les corps finis
Corps finis non premiers
Retour sur C
Autrement dit, du point de vue alg´ebrique (les relations ne faisant
intervenir que l’addition et la multiplication), aucune diff´erence
entre
1. le corps Cdes nombres complexes,
2. et l’ensemble R[x]/(x2+ 1) des polynˆomes avec op´erations
effectu´ees modulo x2+ 1.
C'R[x]/(x2+ 1).
Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithm´etique dans les corps finis
Corps finis non premiers
Est-ce g´en´eralisable ?
Th´eor`eme
Soit Kun corps, et P∈K[x] un polynˆome. Alors
IL’ensemble K[x]/(P) des polynˆomes avec addition et
mulitplications effectu´ees modulo Pest un anneau.
ISi de plus le polynˆome Pest irr´eductible dans K[x], alors c’est
un corps.
D´efinition
Un polynˆome P∈K[x] est dit irr´eductible s’il ne peut ˆetre
factoris´e en deux polynˆomes de degr´e au moins ´egal `a 1.
Autrement dit, s’il n’existe pas deux polynˆomes Qet Q0dans K[x]
de degr´e au moins ´egal `a 1 tel que P=Q×Q0.
Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithm´etique dans les corps finis
Corps finis non premiers
Existence de polynˆomes irr´eductibles
Th´eor`eme
Soit pun nombre premier. Pour tout entier non nul n∈N, il existe
un polynˆome irr´eductible P∈Fp[x] de degr´e n.
Corollaire
Pour tout entier de la forme q=pn, avec ppremier et nentier
strictement positif, il existe un corps `a q´el´ements.
Remarque : il existe mˆeme beaucoup de polynˆomes irr´eductibles de
degr´e ndans Fp[x], puisque leur nombre mn(p) est encadr´e par
pn−pbn/2c+1
n≤mn(p)≤pn
n.
Remarque : Il n’y a pas de corps `a q´el´ements si qposs`ede au
moins deux facteurs premiers (i.e. si qn’est pas une puissance d’un
nombre premier). Par exemple, il n’y a pas de corps `a 6 ´el´ements.
Corps finis Licence et Master mention informatique, USTL