Corps fini

Un corps fini est un corps comportant un nombre fini d'éléments ; pour chaque puissance de nombre premier, il existe exactement un tel corps, doté d'une structure riche et utile pour les calculs.

Definition

Un corps fini est un corps contenant un nombre fini d'éléments ; son ordre est nécessairement une puissance d'un nombre premier, et il est construit comme le corps de rupture d'un polynôme approprié sur le corps premier.

Scope

Ce sujet couvre la caractéristique et le sous-corps premier, la classification des corps finis par leur ordre (puissance de nombre premier), la structure cyclique du groupe multiplicatif, l'automorphisme de Frobenius, la structure des sous-corps, et la construction des corps finis comme corps de rupture et quotients d'anneaux de polynômes.

Core questions

• Quels ordres un corps fini peut-il avoir ?
• Comment les corps finis d'un ordre donné sont-ils classifiés ?
• Quelle est la structure du groupe multiplicatif d'un corps fini ?
• Comment l'automorphisme de Frobenius et les sous-corps organisent-ils un corps fini ?

Key theories

Classification des corps finis

Pour chaque puissance de nombre premier, il existe, à isomorphisme près, exactement un corps fini de cet ordre, réalisé comme le corps de rupture du polynôme dont les racines sont précisément ses éléments.

Groupe multiplicatif cyclique

Les éléments non nuls d'un corps fini forment un groupe cyclique sous la multiplication, de sorte que le corps possède un élément primitif générant tous les éléments non nuls comme puissances.

Automorphisme de Frobenius

L'élévation à la puissance du nombre premier caractéristique est un automorphisme de corps, l'application de Frobenius, qui génère le groupe de Galois cyclique d'un corps fini sur son corps premier et régit la structure de ses sous-corps.

Clinical relevance

Les corps finis sont fondamentaux pour la théorie des codes et la cryptographie, où les codes de Reed-Solomon et d'autres codes correcteurs d'erreurs, les cryptosystèmes à courbe elliptique et l'Advanced Encryption Standard effectuent tous des calculs sur des corps finis, ainsi que pour la combinatoire via les géométries finies et les ensembles de différences.

History

Galois a introduit les corps d'ordre puissance de nombre premier lors de l'étude des congruences, c'est pourquoi les corps finis sont également appelés corps de Galois. E. H. Moore a prouvé en 1893 que tout corps fini est déterminé à isomorphisme près par son ordre, et Dickson a développé leur théorie de manière extensive au début du XXe siècle.

Key figures

• Évariste Galois
• E. H. Moore
• Leonard Eugene Dickson

Seminal works

• dummit2004
• lang2002
• hungerford1974

Frequently asked questions

Pourquoi un corps fini doit-il avoir un ordre de puissance de nombre premier ?

Un corps fini contient un plus petit sous-corps isomorphe aux entiers modulo un nombre premier, sa caractéristique, et est un espace vectoriel de dimension finie sur ce sous-corps. Sa taille est donc ce nombre premier élevé à la dimension, une puissance de nombre premier.

Deux corps finis de même taille sont-ils réellement identiques ?

Oui, à isomorphisme près. Pour chaque puissance de nombre premier, il existe un corps fini unique de cet ordre, c'est pourquoi ils sont désignés sans ambiguïté par leur taille. Différentes constructions, telles que différents polynômes irréductibles, donnent des corps isomorphes.