Leçon 123 — Corps finis. Applications.

Points clés

• Existence et unicité
• Structure multiplicative
• Polynômes irréductibles
• Frobenius
• Codes correcteurs

Plan

1. Existence et unicité
   • Caractéristique d'un corps fini : toujours un premier [formule]
   • Pour tout [formule], il existe un corps à [formule] éléments, unique à isomorphisme près
   • Construction : [formule] avec [formule] irréductible de degré [formule]
2. Structure multiplicative
   • [formule] est cyclique d'ordre [formule]
   • Générateurs : racines primitives, leur nombre est [formule]
   • Les éléments de [formule] sont les racines de [formule]
3. Polynômes irréductibles sur [formule]
   • Nombre de polynômes irréductibles de degré [formule] : [formule]
   • [formule]
   • Construction effective de polynômes irréductibles
4. Le morphisme de Frobenius
   • [formule] est un automorphisme de [formule]
   • [formule]
   • Les sous-corps de [formule] sont les [formule] pour [formule]
5. Extensions de corps finis
   • [formule] ssi [formule]
   • Clôture algébrique : [formule]
   • Trace et norme
6. Applications
   • Codes correcteurs : codes de Reed-Solomon
   • Comptage de solutions d'équations sur [formule]
   • Cryptographie sur courbes elliptiques

Théorèmes clés

• Existence et unicité : pour tout [formule], il existe un corps à [formule] éléments, unique à isomorphisme près, noté [formule]
• [formule] est cyclique d'ordre [formule]
• Les sous-corps de [formule] sont les [formule] pour [formule], et [formule]
• Nombre d'irréductibles unitaires de degré [formule] sur [formule] : [formule]

Exemples importants

• [formule]
• [formule]
• Nombre d'irréductibles de degré [formule] sur [formule] : [formule] ([formule] et [formule])
• Le Frobenius [formule] sur [formule] échange [formule] et [formule]
• Code de Hamming [formule] sur [formule]

Erreurs courantes

• Croire qu'il existe un corps à [formule] éléments
• Confondre [formule] (anneau) et [formule] (corps)
• Oublier que le Frobenius est un automorphisme de corps

Conseils du jury

• Savoir construire explicitement [formule], [formule], [formule]
• La preuve d'existence et d'unicité est un développement classique
• Le jury apprécie les applications aux codes correcteurs

Développements associés

• Existence et unicité des corps finis
• Codes cycliques
• Lemme de Burnside matriciel
• Polynômes cyclotomiques
• Loi de réciprocité quadratique

Prérequis

anneaux corps, polynomes