Corps (mathématiques)
Pour les articles homonymes, voir corps.
En mathématiques, un corps 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 possible l'addition, la multiplication et le calcul d'opposés et d'inverses, permettant de définir les opérateurs de soustraction et de division. Il est également important de noter qu’un corps ne possède pas de diviseurs de 0.
La dénomination corps en français sortie de son contexte est ambiguë car la définition varie selon les auteurs. Dans tous les cas, un corps est un anneau (unitaire) non nul dans lequel tout élément non nul a un inverse pour la multiplication. Dit autrement, c'est un anneau dans lequel l'ensemble des éléments non nuls est un groupe pour la multiplication. Cependant, certains auteurs[1],[2] exigent que la multiplication soit commutative alors que d'autres l'autorisent à ne pas l'être[3],[4].
- Dans le cas où la définition n'exige pas la commutativité, on parle alors de corps commutatifs et de corps non commutatifs pour distinguer les corps dans lesquels la multiplication est commutative et ne l'est pas.
- Dans le cas où la définition exige la commutativité, l'appellation corps commutatif est alors un pléonasme. La structure algébrique qui correspond à un corps sans la contrainte de commutativité (c'est-à-dire un anneau dans lequel tout élément non nul a un inverse pour la multiplication) est alors appelée corps gauche ou anneau à division. Si la multiplication n'est pas commutative, on parle alors de corps gauches non commutatifs voire de corps non commutatifs (même s'il s'agit stricto sensu d'un oxymore) ou bien d'anneaux à division non commutatifs.
On renvoie à l'article Corps commutatif qui traite le cas où la multiplication est commutative et à l'article Corps gauche qui traite le cas où la commutativité n'est pas imposée.
À noter que ces distinctions sont sans importance dans le cas où le corps considéré est fini, puisque le théorème de Wedderburn assure qu'il n'existe pas de corps fini non commutatif.
Références
modifier- Josette Calais, Extensions de corps : Théorie de Galois, Ellipses, , 218 p. (ISBN 978-2-7298-2780-9)
- Grégory Berhuy, Algèbre : le grand combat : Cours et exercices, Paris, Calvage et Mounet, , 1213 p. (ISBN 978-2-916352-66-4)
- Nicolas Bourbaki, Algèbre : Chapitre 1 à 3, Berlin, Springer, coll. « Éléments de mathématiques », , 422 p. (ISBN 978-3-540-34398-1)
- Xavier Gourdon, Les maths en tête : Algèbre, Paris, Ellipses, , 304 p. (ISBN 978-2-7298-5014-2)
