CORPS, mathématiques

La structure de corps n'est en fait qu'un cas particulier de la structure plus générale d'anneau ; en plus des axiomes généraux, on stipule que le groupe multiplicatif des éléments inversibles est le complémentaire de 0. Les corps sont donc les domaines dans lesquels les opérations habituelles du calcul sont valables, y compris la division par un élément non nul. La terminologie habituelle sous-entend la commutativité de la multiplication, mais il s'introduit de manière naturelle des corps où la multiplication n'est pas commutative (cf. Quaternions, in anneaux et algèbres, chap. 2 et infra, chap. 3). Du point de vue arithmétique, l'étude d'un corps commutatif se caractérise par l'absence d'idéaux non triviaux.

On se limitera ici à la théorie proprement algébrique des corps, mais on rencontre aussi des corps munis de structures additionnelles compatibles avec la structure de corps : les corps ordonnés (cf. nombres réels), les corps topologiques et les corps valués (cf. théorie des nombres - Nombres p-adiques).

Un sous-ensemble K d'un corps L qui est un corps pour l'addition et la multiplication induites est appelé un sous-corps de L. Pour ne prendre que des exemples bien connus, les nombres rationnels forment un sous-corps Q du corps R des nombres réels, qui est lui-même un sous-corps du corps C des nombres complexes.

Si K apparaît comme sous-corps d'un corps L, on dit aussi que L est une extension de K. On peut alors considérer L comme un espace vectoriel à gauche sur K, l'opération externe n'étant autre que la multiplication à gauche des éléments de L par les éléments de K. Si cet espace vectoriel L est de dimension finie n sur K, on dit que L est une extension finie de K ; le nombre n s'appelle le degré de L sur K, et on le note [L : K]. Si M est une extension finie de L, c'est une extension finie de K et on a :

Un homomorphisme f d'un corps K dans un corps L est un homomorphisme d'anneau, c'est-à-dire qui respecte les deux lois addi [...]