1 Structure des corps finis
1.1 Caractéristique, cardinal
: corps fini. Image de dans : isomorphe à un ( premier: caractéristique). Corps des fractions
isomorphe à , sous-corps premier de .
est un automorphisme de .
: extension de de degré . On a .
1.2 Existence et unicité des corps finis
Théorème 2 (unicité) Tout corps à éléments est isomorphe à .
1.3 Conditions suffisantes (cas fini)
Théorème 3Tout anneau intègre fini est un corps.
Théorème 4 (Wedderburn) Tout anneau à division fini est un corps.
1.4 Sous-corps, clôture algébrique
On peut alors définir: . C’est la clôture algébrique de tout avec .
2 Groupe multiplicatif de 
Application: logarithme discret, cryptographie.
est appelé caractère quadratique de .
Conséquence: tout élément de est somme de 2 carrés.
3 Polynômes sur les corps finis
: corps fini; : entier .
3.1 Existence de polynômes irréductibles
Soit générateur de . Alors . Le polynôme minimal de sur est un polynôme irréductible de
de degré .
3.2 Corps de décomposition, corps de rupture
Conséquences:
Le corps de rupture et le corps de décomposition d’un polynôme irréductible sont les mêmes. Deux polynômes
irréductibles de même degré ont le même corps de décomposition.
Automorphismes de laissant invariant: groupe engendré par (cyclique d’ordre ).
Si est premier, divise .
3.3 Théorème de Chevalley
Corollaire 1Si les sont sans terme constant, alors ils ont un zéro commun non trivial.
4 Applications
4.1 Groupes simples finis
est simple sauf pour et ou . De plus, si est fini, est un groupe simple
fini.
4.2 Théorème de Sylow
4.3 Construction de matrices de Hadamard
Matrices de Hadamard : matrices de telles que .
4.4 Codes linéaires
Alphabet fini: (en général ). Codage: . Soient et .
Message avec ; : symboles de contrôle. .
où est le nombre de composantes non nulles; ssi colonnes
de sont toujours linéairement indépendantes. peut corriger jusqu’à erreurs si .
Code cyclique: linéaire et stable par permutations circulaires. est cyclique ssi est un idéal de .
Références
Serre: Cours d’arithmétique.
Lidl: Introduction to finite fields and their applications.
Menezes: Application of finite fields.
Perrin.
|