Académique Documents
Professionnel Documents
Culture Documents
On note G = (E , ?).
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Soit n ∈ N. i 0 1 2 3 4
2i 1 2 4 3 1
I Z/nZ est un corps si et seulement si n est un nombre premier.
Dans F7
Puissances de 3 dans F7
Définition i 0 1 2 3 4 5 6
Les corps premiers sont les corps Z/pZ, notés aussi Fp , avec p 3i 1 3 2 6 4 5 1
premier.
Théorème
Le groupe multiplicatif d’un corps fini est cyclique.
Remarque : il existe des corps finis de cardinalité non première Autrement dit, il existe un élément non nul α dans Fq tel que
(voir plus loin). On désignera aussi par Fq un corps possédant q l’ensemble des puissances αi pour 0 ≤ i < q soit égal à l’ensemble
des éléments non nuls de Fq .
éléments. Un tel élément est appelé élément primitif dans Fq .
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
z + z 0 = (a + a0 ) + i(b + b 0 )
Autrement dit, du point de vue algébrique (les relations ne faisant
zz 0 0 0 0
= (aa − bb ) + i(ab + ba ). 0 intervenir que l’addition et la multiplication), aucune différence
I Soient P = a + bx et Q = a0 + b 0 x deux polynômes de degré
entre
≤ 1 à coefficients réels. On a
1. le corps C des nombres complexes,
P + Q = (a + a0 ) + (b + b 0 )x
PQ = aa0 + (ab 0 + ba0 )x + bb 0 x 2 .
2. et l’ensemble R[x]/(x 2 + 1) des polynômes avec opérations
effectuées modulo x 2 + 1.
I L’addition des complexes est identique à celles des polynômes
de degré ≤ 1.
I La multiplication diffère, sauf pour le coefficient de i et celui
I
de x.
Mais si on identifie x 2 et −1, autrement dit si le produit est
C ' R[x]/(x 2 + 1).
effectué modulo le polynôme x 2 + 1, alors
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Autrement dit, s’il n’existe pas deux polynômes Q et Q 0 dans K[x] Remarque : Il n’y a pas de corps à q éléments si q possède au
de degré au moins égal à 1 tel que P = Q × Q 0 . moins deux facteurs premiers (i.e. si q n’est pas une puissance d’un
nombre premier). Par exemple, il n’y a pas de corps à 6 éléments.
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
p = 2, n = 2, P(x) = x 2 + x + 1,
Construction d’un corps à q = p n éléments (p premier, n entier α = représentant de x dans F2 /(P).
positif)
I comme extension du corps Fp × 0 1 α 1+α
I à partir d’un polynôme P de degré n et irréductible dans Fp [x] 0 0 0 0 0
1 0 1 α 1+α
Corps obtenu en considérant les polynômes à coeffcients dans Fp α 0 α 1+α 1
modulo P 1+α 0 1+α 1 α
Fq = Fp [x]/(P)
Tab.: Multiplication dans F2 [x]/(x 2 + x + 1)
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
p = 2, n = 4, P1 (x) = x 4 + x 3 + x 2 + x + 1,
α = représentant de x dans F2 /(P1 ).
i 0 1 2 3 4 5 6 7 i 0 1 2 3 4 5 6 7
αi 1 α α2 α3 1 + α + α2 + α3 1 α α2
βi 1 β β2 1+β β + β2 1 + β + β2 1 + β2 1
i 8 9 10 11 12 13 14 15
αi α3 1 + α + α2 + α3 1 α α2 α3 1 + α + α2 + α3 1
⇒ β est un élément primitif, et x 3 + x + 1 un polynôme primitif
dans F2 [x]. Tab.: Puissances de α dans F2 [x]/(x 4 + x 3 + x 2 + x + 1)
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
i 0 1 2 3 4 5 6 7 8 1. 255 = 3 × 5 × 17 ;
αi 1 α 2 2α 1 α 2 2α 1 2. α3 = α3 6= 1 ;
3. α5 = α5 6= 1 ;
⇒ α n’est pas un élément primitif, et x 2 + 1 n’est pas un 4. α17 = α2 + α3 + α4 + α5 + α7 6= 1.
polynôme primitif dans F3 [x].
⇒ Le plus petit entier i non nul tel que αi = 1 est i = 255.
⇒ α est un élément primitif, et x 8 + x 4 + x 3 + x + 1 est un
polynôme primitif dans F2 [x].
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Multiplication Inversion
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Corps Corps finis Arithmétique dans les corps finis Corps Corps finis Arithmétique dans les corps finis
Multiplication Inversion
Le calcul de l’inverse repose sur le théorème de Bezout.
Théorème
Pour tout polynôme P et Q dans K[x], il existe deux polynômes U
Le produit de deux éléments de Fpn représentés par deux et V dans K[x] tels que
polynômes A et B de Fp [x] de degré n se calcule en
P × U + Q × V = pgcd(P, Q).
1. calculant le produit R = A × B ;
2. et en réduisant R mod P. L’algorithme d’Euclide étendu permet de calculer les deux
polynômes U et V , ainsi que pgcd(P, Q) par des divisions
euclidiennes successives.
Lorsque P et Q sont premiers entre eux (ie lorsque
deg(pgcd(P, Q)) = 0), alors Q est inversible modulo P et
Q −1 mod P = V mod P.
Corps finis Licence et Master mention informatique, USTL Corps finis Licence et Master mention informatique, USTL
Exemple d’inversion
Calcul de l’inverse de A = 09 dans F256 = F2 [x]/(P).
P = x 8 + x 4 + x 3 + x + 1 et A est représenté par le polynôme
x 4 + 1.
i Q R V1 V2 A B
0 1 0 x8 + x4 x3
+ +x +1 x4
+1
1 x4 x3 + x + 1 x4 1 x4 + 1 x3 + x + 1
2 x x2 + x + 1 x5 + 1 x4 3
x +x +1 x2 + x + 1
3 x +1 x x6 + x5 + x4 + x + 1 x5 + 1 x2 + x + 1 x
4 x +1 1 7 5
x +x +x +x 4 2 6 5 4
x +x +x +x +1 x 1
5 x 0 x8 + x4 + x3 + x + 1 x7 + x5 + x4 + x2 1 0
A−1 = V2 = x 7 + x 5 + x 4 + x 2 .