corps commutatif

En mathématiques, un corps commutatif (parfois simplement appelé corps, voir plus bas, ou parfois appelé champ) est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni de deux opérations binaires rendant possibles les additions, soustractions, multiplications et divisions. Plus précisément, un corps commutatif est un anneau commutatif dans lequel l'ensemble des éléments non nuls est un groupe commutatif pour la multiplication. Selon la définition choisie d'un corps qui diffère selon les auteurs (la commutativité de la multiplication n'est pas toujours imposée), soit les corps commutatifs sont des cas particuliers de corps (dans le cas où la commutativité n'est pas imposée), soit la dénomination corps commutatif est un pléonasme qui désigne simplement un corps (dans le cas où elle l'est). On renvoie à l'article corps (mathématiques) pour plus de détails. Des exemples élémentaires de corps commutatifs sont le corps des nombres rationnels noté ℚ (ou Q), le corps des nombres réels noté ℝ (ou R), le corps des nombres complexes noté ℂ (ou C) et le corps ℤ/pℤ des classes de congruences modulo p où p est un nombre premier, noté alors également 𝔽p (ou Fp). La théorie des corps commutatifs est le cadre historique de la théorie de Galois, une méthode d'étude qui s'applique en particulier aux corps commutatifs et aux extensions de corps, en relation avec la théorie des groupes, mais s'étend aussi à d'autres domaines, par exemple l'étude des équations différentielles (théorie de Galois différentielle), ou des revêtements.