Un corps est un anneau associatif unitaire et commutatif dont tout élément non nul possède un inverse multiplicatif.

Principe

Il conjugue l'inversibilité des éléments non nuls et la commutativité de la multiplication, ce qui impose des lois algébriques symétriques utilisées en arithmétique des polynômes et en algèbre linéaire sur scalaires.

Démonstration

Les nombres rationnels forment un corps : on y effectue addition, soustraction, multiplication et division par éléments non nuls, et les axiomes usuels sont satisfaits ; il existe aussi des corps finis à p^n éléments utiles en théorie du codage.

Mauvaise application

Diviser par un élément quelconque dans un anneau qui admet des diviseurs de zéro ou qui n'a pas d'inverses ; par exemple annuler des facteurs dans Z/6Z sans vérifier l'inversibilité mène à des erreurs.

Conséquence

Les corps servent de scalaires pour les espaces vectoriels, permettent la construction d'anneaux de polynômes et de corps de fractions, et soutiennent des propriétés de factorisation dans de nombreux contextes ; ils sont la base des extensions de corps et de la théorie de Galois.

Inversion

Un anneau de division non commutatif, un anneau avec diviseurs de zéro, ou tout anneau privé d'inverses pour certains éléments non nuls : de telles structures n'autorisent pas la division universelle.

Limite

Doit être associatif, unitaire et commutatif pour la multiplication ; exclut les algèbres de division non associatives ; l'élément zéro n'est pas inversible et tout corps est un domaine intègre.

Tension sémantique

Proximité avec l'anneau de division : tous deux exigent des inverses pour les éléments non nuls, mais le corps ajoute la contrainte de commutativité ; on le voit aussi comme un domaine intègre clos par formation de corps de fractions.

Synthèse

Un corps est un anneau commutatif unitaire où chaque élément non nul est inversible, fournissant le cadre algébrique minimal et régulier pour la division, l'arithmétique polynomiale et l'algèbre linéaire.