∑
MathTCG
#097 / 100•Algebra & Numbers•MathTCG #397 / 500•★Commune•⊕Algèbre•Concept

Corps commutatif

Période historique : 1893

Anneau commutatif non nul où tout élément non nul possède un inverse multiplicatif.

Contenu & Formulation mathématique

Définition rigoureuse
Anneau commutatif dont tout élément non nul est une unité inversible.
Notation usuelle & Exemples
\mathbb{Q}, \; \mathbb{R}, \; \mathbb{C}, \; \mathbb{F}_p
∀x∈K∖{0},  ∃x−1∈K,  x⋅x−1=1\forall x \in K \setminus \{0\},\; \exists x^{-1} \in K,\; x \cdot x^{-1} = 1

Genèse & Portée historique

Un corps commutatif K permet d'additionner, soustraire, multiplier et diviser par n'importe quel élément non nul. Les exemples fondateurs sont les rationnels Q, les réels R, les complexes C et les corps finis F_p de congruences modulo un premier p.

Heinrich Weber a formulé la définition axiomatique moderne d'un corps abstrait (Körper en allemand) en 1893.

« La structure la plus féconde où les quatre opérations arithmétiques règnent sans entrave. »

Filiations & Relations conceptuelles (0)

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

Objet de collection MathTCG

#397
★Commune
⊕

Corps commutatif

Algèbre•CONCEPT

Anneau commutatif dont tout élément non nul est une unité inversible.

∀x∈K∖{0},  ∃x−1∈K,  x⋅x−1=1\forall x \in K \setminus \{0\},\; \exists x^{-1} \in K,\; x \cdot x^{-1} = 1
1893

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

Extension : Algebra & Numbers (#097 / 100)
Numéro global MathTCG : MathTCG #397 / 500
Rareté officielle : Commune (★)
Domaine théorique : Algèbre
Identifiant pérenne : corps-commutatif