En mathématiques, un corps gauche ou anneau à division (parfois simplement appelé corps, voir plus bas) est une des structures algébriques utilisées en algèbre générale. C'est un ensemble muni de deux opérations binaires rendant possibles certains types d'additions, de soustractions, de multiplications et de divisions. Plus précisément, un corps gauche est un anneau dans lequel l'ensemble des éléments non nuls est un groupe pour la multiplication.
Un corps gauche dont la multiplication est commutative est appelé « corps commutatif ». Certains auteurs (dont Bourbaki) appellent simplement « corps » un corps gauche, tandis que d'autres réservent cette dénomination aux corps commutatifs. On renvoie à l'article Corps (mathématiques) pour plus de détails.
Un corps gauche est un anneau (unitaire) non nul dans lequel tout élément non nul a un inverse. Dit autrement, c'est un anneau dans lequel les éléments non nuls forment un groupe pour la multiplication.
Tout corps commutatif est un corps gauche.
L'exemple le plus célèbre de corps gauche non commutatif est celui des quaternions, découvert par William Rowan Hamilton en 1843.
Soit un automorphisme de corps. Soit l'anneau des séries de Laurent formelles à coefficients complexes avec la loi multiplicative définie de la façon suivante : au lieu de simplement autoriser les coefficients à commuter avec l'indéterminée , pour , on pose pour . Si est un automorphisme non trivial du corps des complexes (par exemple la conjugaison), alors l'anneau des séries de Laurent formelles correspondant est un corps gauche non commutatif.
Un théorème de Wedderburn assure que tout corps gauche fini est commutatif.
Étant donné un module simple sur un anneau (unitaire) R, l'anneau des endomorphismes de ce module est un corps gauche, a priori non commutatif même si R l'est. C'est une des nombreuses formes du lemme de Schur.
Le centre d'un corps gauche K est par définition l'ensemble Z(K) = {x ∈ K | ∀y ∈ K, xy = yx}. C'est un corps commutatif.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
vignette|Richard Dedekind - 1870 En algèbre, un anneau est un ensemble muni de deux lois de composition interne appelées addition et multiplication, qui vérifient des propriétés analogues à celles de ces opérations sur les entiers relatifs. Plus précisément, deux définitions sont représentées dans la littérature mathématique, selon la considération d'un élément neutre : la majorité des sources récentes définissent un « anneau » comme un anneau unitaire, avec la multiplication ayant un élément neutre ; tandis que, selon de nombreux ouvrages, la présence d'une unité multiplicative n'est pas requise, et ce type d'anneau est ailleurs dénommé pseudo-anneau.
En mathématiques, un corps gauche ou anneau à division (parfois simplement appelé corps, voir plus bas) est une des structures algébriques utilisées en algèbre générale. C'est un ensemble muni de deux opérations binaires rendant possibles certains types d'additions, de soustractions, de multiplications et de divisions. Plus précisément, un corps gauche est un anneau dans lequel l'ensemble des éléments non nuls est un groupe pour la multiplication. Un corps gauche dont la multiplication est commutative est appelé « corps commutatif ».
vignette|Corps commutatif (pour n premier) 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.
Explore le théorème de Wedderburn, les algèbres de groupe et le théorème de Maschke dans le contexte des algèbres simples de dimension finie et de leurs endomorphismes.