Le corps s'exprime
-------------------
Il s'agit d'une structure fondamentale de l'algèbre « calquée » sur les propriétés de l'ensemble des nombres réels : il s'agit d'un ensemble, possédant au moins deux éléments, muni de deux opérations binaires, traditionnellement notées + (addition) et × (multiplication), qui rendent possible le calcul d'opposés et d'inverses. Cela permet de définir la soustraction et la division (par tout élément non nul) en respectant certaines règles usuelles de calcul (commutativité des deux opérations binaires, distributivité de × sur + notamment).
Ainsi, l'ensemble des entiers naturels n'est pas un corps car on ne peut pas y définir une soustraction (0 – 1 par exemple n'appartient pas à ?). L'ensemble des entiers relatifs n'est pas non plus un corps, car on en peut pas y définir une division (en effet, 1 / 2 n'appartient pas à ?). Mais l'ensemble ? des nombres rationnels, l'ensemble des réels ou encore ?, l'ensemble des complexes sont des corps. Mais il y en a bien d'autres encore…
-
L'espace des polynômes
----------------------
