∑
MathTCG
#004 / 100•Algebra & Numbers•MathTCG #304 / 500•★★★★★Légendaire•⊕Algèbre•Concept

Corps fini

Période historique : 1830

Structure de corps à nombre fini d'éléments F_{p^n}, socle universel de la cryptographie et des télécommunications.

Contenu & Formulation mathématique

Définition rigoureuse
Corps commutatif possédant un nombre fini d'éléments q = p^n de caractéristique p première.
Notation usuelle & Exemples
\mathbb{F}_{2^8} \text{ (utilisé dans AES)}
Fq=Fpn,∣Fq×∣=q−1,xq=x  ∀x∈Fq\mathbb{F}_q = \mathbb{F}_{p^n}, \quad |\mathbb{F}_q^\times| = q - 1, \quad x^q = x \; \forall x \in \mathbb{F}_q

Genèse & Portée historique

Aussi appelés corps de Galois, les corps finis n'existent que pour un cardinal égal à une puissance de nombre premier q = p^n. Pour chaque telle puissance, il existe un unique corps fini à isomorphisme près, dont le groupe multiplicatif est toujours cyclique.

Évariste Galois a construit ces corps en 1830 en adjoignant des racines de polynômes irréductibles modulo p, préfigurant le chiffrement AES et les codes de Hamming.

« Un univers arithmétique fermé où chaque élément non nul engendre le monde par ses puissances. »

Filiations & Relations conceptuelles (0)

Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.

Objet de collection MathTCG

#304
★★★★★Légendaire
⊕

Corps fini

Algèbre•CONCEPT

Corps commutatif possédant un nombre fini d'éléments q = p^n de caractéristique p première.

Fq=Fpn,∣Fq×∣=q−1,xq=x  ∀x∈Fq\mathbb{F}_q = \mathbb{F}_{p^n}, \quad |\mathbb{F}_q^\times| = q - 1, \quad x^q = x \; \forall x \in \mathbb{F}_q
1830

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Algebra & Numbers.

Extension : Algebra & Numbers (#004 / 100)
Numéro global MathTCG : MathTCG #304 / 500
Rareté officielle : Légendaire (★★★★★)
Domaine théorique : Algèbre
Identifiant pérenne : corps-fini
Consulter mon classeurExplorer tout le recueil