Un anneau commutatif unitaire dans lequel tout élément non nul possède un inverse multiplicatif ; équivalemment, un ensemble muni de deux opérations formant un groupe additif abélien et un groupe multiplicatif abélien sur les éléments non nuls.

Principe

Imposer l'inversibilité multiplicative complète (sauf pour zéro) avec commutativité afin que la division (par des éléments non nuls) soit toujours possible et que l'algèbre linéaire suive le comportement classique.

Démonstration

Les rationnels Q, les réels R et les corps finis GF(p) sont des corps ; sur un tel corps, les espaces vectoriels possèdent des bases et des dimensions bien définies, permettant l'algèbre linéaire standard.

Mauvaise application

Prendre un anneau intègre ou un anneau local pour un corps en supposant qu'une division arbitraire est disponible, ou négliger la caractéristique qui influence la factorisation des polynômes et l'indépendance linéaire.

Conséquence

Les corps permettent de résoudre des systèmes linéaires par division, fournissent le corps scalaire des espaces vectoriels et fondent les notions d'extension algébrique, de théorie de Galois et de nombreux résultats de classification.

Inversion

L'inversion produit des anneaux dont les éléments non nuls ne sont pas nécessairement inversibles (par ex. Z), ce qui supprime la possibilité de division et modifie profondément le comportement des modules et des équations.

Limite

Exclut les anneaux à division non commutatifs (corps gauches/droits) lorsque la commutativité est exigée ; exclut aussi l'anneau nul et les anneaux avec diviseurs de zéro car ils ne peuvent satisfaire l'inversibilité des éléments non nuls.

Tension sémantique

Tension entre corps et anneaux à division non commutatifs (analogues non commutatifs), et entre corps de différentes caractéristiques ; certaines constructions valables en caractéristique zéro échouent en caractéristique finie.

Synthèse

Un corps est un système algébrique commutatif maximalement inversible : un anneau dont chaque élément non nul est une unité, fournissant le domaine scalaire canonique pour les opérations linéaires et algébriques classiques.