Anneau principal non commutatif

Par anneau principal non commutatif on entend ici un anneau qui généralise la notion classique d'anneau principal au cas non commutatif. Ce qui suit est donc valide dans le cas commutatif également. Les exemples d'anneaux principaux non commutatifs abondent, et l'on peut citer notamment l'anneau ${\displaystyle B_{1}\left(k\right)}$ des opérateurs différentiels à coefficients dans ${\displaystyle k\left(t\right)}$ où ${\displaystyle k}$ est un corps commutatif^[1].

Définitions et propriétés

Anneau principal

Un anneau sans diviseur de zéro ${\displaystyle R}$ est appelé un anneau principal à gauche si tout idéal à gauche de ${\displaystyle R}$ est principal, i.e. de la forme ${\displaystyle Ra}$ où ${\displaystyle a\in R}$. On définit de même un anneau principal à droite, et un anneau principal est un anneau principal à gauche qui est un anneau principal à droite.

Il est clair qu'un anneau principal à gauche ${\displaystyle R}$ est noethérien à gauche, donc est un anneau d'Ore à gauche. Il admet donc un corps de fractions à gauche.

Élément invariant

Soit ${\displaystyle R}$ un anneau sans diviseur de zéro. Un élément ${\displaystyle c\neq 0}$ de ${\displaystyle R}$ est dit invariant si ${\displaystyle Rc=cR}$. On alors ${\displaystyle Rc=cRc}$. L'idéal ${\displaystyle Rc}$ des multiples à gauche de ${\displaystyle c}$ coïncide donc avec l'idéal ${\displaystyle cR}$ de ses multiples à droite, et on montre aisément que, de même, l'ensemble des diviseurs à gauche de ${\displaystyle c}$ coïncide avec l'ensemble de ses diviseurs à droite. Soit ${\displaystyle a,b\in R\backslash \left\{0\right\}}$. On dit que ${\displaystyle a}$ est un diviseur total de ${\displaystyle b}$, et on écrit ${\displaystyle a\parallel b}$, s'il existe un élément invariant ${\displaystyle c}$ tel que ${\displaystyle a|c|b}$^[2]. Si l'anneau ${\displaystyle R}$ est simple, ses seuls éléments invariants sont les unités (i.e. les éléments inversibles) dont les seuls diviseurs sont de nouveau les unités.

Élément borné et élément totalement non borné

Soit ${\displaystyle R}$ un anneau sans diviseur de zéro. Un élément ${\displaystyle q}$ de ${\displaystyle R}$ est dit borné à gauche si le ${\displaystyle R}$-module à gauche ${\displaystyle R/Rq}$ n'est pas fidèle^[3]. On définit de même un élément borné à droite, et un élément borné est un élément qui est borné à gauche et à droite. Un élément ${\displaystyle u}$ de ${\displaystyle R}$ est dit totalement non borné s'il n'a pas d'autres diviseurs bornés que les unités (i.e. les éléments inversibles) de ${\displaystyle R}$^[4]. Si l'anneau ${\displaystyle R}$ est simple, tout élément de ${\displaystyle R}$ qui n'est pas une unité est totalement non borné^[5].

Atome et anneau atomique

Dans un anneau ${\displaystyle R}$ sans diviseur de zéro, un atome est un élément qui ne peut pas s'écrire sous forme de produit de deux éléments qui ne seraient pas des unités. Un élément de ${\displaystyle R}$ est dit atomique s'il est un produit fini d'atomes. L'anneau ${\displaystyle R}$ est atomique si tout élément de ${\displaystyle R}$ qui n'est pas une unité est atomique.

Un anneau (éventuellement non commutatif) est principal si, et seulement s'il est bézoutien et atomique^[6].

Éléments semblables

Soit ${\displaystyle R}$ un anneau sans diviseur de zéro et ${\displaystyle a,b}$ deux éléments non nuls de ${\displaystyle R}$. Alors il existe un isomorphisme ${\displaystyle R/Ra\cong R/Rb}$ si, et seulement s'il existe un isomorphisme ${\displaystyle R/aR\cong R/bR}$. Dans ce cas, ${\displaystyle a}$ et ${\displaystyle b}$ sont dits semblables^[7].

Exemples

Soit l'anneau des opérateurs différentiels de la forme

${\displaystyle a_{0}\left(t\right){\frac {d^{n}}{dt^{n}}}+a_{1}\left(t\right){\frac {d^{n-1}}{dt^{n-1}}}+...+a_{n}\left(t\right)}$.

où les ${\displaystyle a_{i}\left(t\right)}$ sont des fractions rationnelles en ${\displaystyle t}$ à coefficients dans le corps ${\displaystyle k=\mathbb {R} }$ ou ${\displaystyle \mathbb {C} }$. Cet anneau ${\displaystyle B_{1}\left(k\right)}$ est un anneau principal simple.

Plus généralement, soit ${\displaystyle K}$ un corps, ${\displaystyle \alpha }$ un automorphisme de ${\displaystyle K}$ et ${\displaystyle \delta :K\rightarrow K}$ une ${\displaystyle \alpha }$-dérivation, et considérons l'anneau ${\displaystyle R=K[X;\alpha ,\delta ]}$ des polynômes tordus d'indéterminée ${\displaystyle X}$ à coefficients dans ${\displaystyle K}$ (voir l'article anneau de Dedekind non commutatif). Cet anneau ${\displaystyle R}$ est principal (il est même euclidien). De plus, en supposant ${\displaystyle K}$ commutatif, il est simple si ${\displaystyle \delta :K\rightarrow K}$ est une dérivation extérieure, la réciproque étant exacte si ${\displaystyle K}$ est de caractéristique 0^[8].

Soit de nouveau ${\displaystyle K}$ un corps, ${\displaystyle \alpha }$ un automorphisme de ${\displaystyle K}$ et considérons l'anneau des polynômes de Laurent tordus ${\displaystyle L=K\left[Y,Y^{-1};\alpha \right]}$ (voir l'article anneau de Dedekind non commutatif). Cet anneau ${\displaystyle L}$ est principal (car obtenu par localisation d'un anneau principal) et, en supposant ${\displaystyle K}$ commutatif, ${\displaystyle L}$ est simple si, et seulement si aucune puissance de ${\displaystyle \alpha }$ n'est un automorphisme intérieur de ${\displaystyle K}$^[9].

Rappelons (voir l'article anneau de Dedekind non commutatif) que, ci-dessus, la loi de commutation s'écrit ${\displaystyle Xa=a^{\alpha }X+a^{\delta }}$ pour tout ${\displaystyle a\in K}$. En posant ${\displaystyle Z=X^{-1}}$ on obtient pour loi de commutation ${\displaystyle aZ=Za^{\alpha }+Za^{\delta }Z}$. On peut alors former l'anneau des séries formelles tordues, noté ${\displaystyle S=K[[Z;\alpha ,\delta ]]}$. Cet anneau est principal et local (avec pour unique idéal maximal ${\displaystyle SZS}$). Notons que tous les idéaux de ${\displaystyle S}$ sont bilatères, de la forme ${\displaystyle SZ^{n}S}$^[10].

Forme de Jacobson-Teichmüller

Par une démonstration semblable à celle du théorème des facteurs invariants (mais en prenant en compte la non commutativité éventuelle de l'anneau principal ${\displaystyle R}$), on montre ce qui suit^[2]:

Soit ${\displaystyle A}$ une matrice à éléments dans ${\displaystyle R}$. Il existe des matrices inversibles ${\displaystyle P}$ et ${\displaystyle Q}$ telles que

${\displaystyle P^{-1}AQ=diag\left(e_{1},...,e_{r},0,...,0\right)}$, ${\displaystyle e_{i}\parallel e_{i+1}}$, ${\displaystyle e_{r}\neq 0}$

où ${\displaystyle r}$ est le rang de ${\displaystyle A}$ et où chaque ${\displaystyle e_{i}}$ est déterminé de manière unique à une similitude près. Notons que la matrice ci-dessus n'est pas nécessairement carrée.

L'existence de cette forme a été démontrée par Jacobson dans le cas où ${\displaystyle R}$ est un anneau euclidien non commutatif^[11], résultat qui a été généralisé par Teichmüller au cas où ${\displaystyle R}$ est un anneau principal non commutatif^[12]. L'unicité des ${\displaystyle e_{i}}$ à une similitude près a été démontrée par Nakayama^[13].

Modules sur les anneaux principaux non commutatifs

Soit ${\displaystyle R}$ un anneau principal non nécessairement commutatif et ${\displaystyle M}$ un ${\displaystyle R}$-module à gauche de type fini. On a la décomposition

${\displaystyle M={\mathcal {T}}\left(M\right)\oplus F}$

où ${\displaystyle {\mathcal {T}}\left(M\right)}$ est le sous-module de torsion de ${\displaystyle M}$ (qui est bien défini car, ${\displaystyle R}$ étant Noethérien, c'est un anneau d'Ore) et où ${\displaystyle F}$ est un sous-module libre.

Traduisons en termes de module le résultat sur la forme normale de Jacobson-Teichmüller^[14]: ${\displaystyle {\mathcal {T}}\left(M\right)}$ est une somme directe de sous-modules cycliques, i.e. il existe des éléments ${\displaystyle e_{i}\left(1\leq i\leq r\right)}$ tels que

${\displaystyle {\mathcal {T}}\left(M\right)\cong \oplus _{1\leq i\leq r}R/Re_{i}}$

où ${\displaystyle e_{i}\parallel e_{i+1}}$, et les sous-modules cycliques ${\displaystyle R/Re_{i}}$ sont déterminés de manière unique à un isomorphisme près.

Voyons maintenant comment se généralise la théorie classique des diviseurs élémentaires^[15]: soit ${\displaystyle T}$ un ${\displaystyle R}$-module de torsion à gauche de type fini. Alors

${\displaystyle T\cong R/Rq_{1}\oplus ...\oplus R/Rq_{k}\oplus R/Ru}$

où chaque ${\displaystyle q_{i}}$ est un produit d'atomes bornés semblables deux à deux et où ${\displaystyle u}$ est totalement non borné^[16]. Si l'anneau ${\displaystyle R}$ est simple, la somme directe ci-dessus se réduit au dernier terme.

Notes et références

Notes

Références

• N. Bourbaki, Algèbre, chapitres 4 à 7, Springer, 2006, 432 p. (ISBN 3540343989)
• (en) Henri Bourlès et Bogdan Marinescu, Linear Time-Varying Systems : Algebraic-Analytic Approach, Berlin, Springer, 2011, 638 p. (ISBN 978-3-642-19727-7, BNF 44701685, lire en ligne)
• (en) Paul Moritz Cohn, Free Rings and their Relations, Academic Press, 1985, 2^e éd., 595 p. (ISBN 0121791521)
• (en) Nathan Jacobson, « Pseudo-linear transformations », Ann. Math., vol. 38,‎ 1937, p. 484-507
• (en) John C. McConnell et James C. Robson, Noncommutative Noetherian Rings, AMS, 2001 (1^re éd. 1987), 636 p. (ISBN 978-0-82182169-5, lire en ligne)
• (en) Tadashi Nakayama (de), « A note on the elementary divisor theory in non-commutative domains », Bull. Amer. Math. Soc., vol. 44,‎ 1938, p. 719-723 (lire en ligne)
• (en) Oswald Teichmüller, « Der Elementarteilersatz für nichtkommutative Ringe », S. Ber. Preuss. Akad. Wiss.,‎ 1937, p. 169-177

Voir aussi

• Anneau principal
• Anneau de Dedekind non commutatif
• Anneau atomique
• Théorème des facteurs invariants

v · m Théorie des anneaux
Structures	Anneau unitaire Pseudo-anneau Demi-anneau Anneau commutatif Anneau de polynômes Ordre Algèbre de Weyl Idéal Corps des fractions Module sur un anneau Algèbre sur un anneau Catégorie des anneaux Spectre
Propriétés arithmétiques	Anneau adélique Anneau local Anneau de Dedekind (non commutatif) Anneau sans diviseur de zéro Anneau principal (non commutatif) Anneau euclidien (non commutatif) Anneau factoriel Anneau à PGCD Anneau de Bézout Anneau de Schreier Anneau de Goldman Anneau intègre Anneau de valuation discrète Anneau d'Ore Anneau réduit Idéal premier Idéal maximal Idéal primaire Idéal primitif (en)
Chaînes d'idéaux	Anneau noethérien Anneau artinien Anneau de Jaffard Anneau cohérent Anneau de Goldie Anneau de Jacobson Anneau de Gorenstein (en) Anneau caténaire (en)
Mesures	Dimension de Krull Dimension homologique Longueur d'un module Profondeur d'un module
Modules	Catégorie des modules Module de type fini Module simple Module semi-simple Module monogène Module libre Module quotient Facteur direct Dual d'un module Annulateur Produit tensoriel Puissance extérieure Bimodule Module artinien Anneau de Cohen-Macaulay (en) Anneau des entiers
Fonctorialité	Anneau d'Hermite Module projectif Module injectif Module plat Module fidèle Anneau régulier
Opérations	Morphisme d'anneaux Localisation Somme directe Produit tensoriel Représentation Quotient Extension d'anneau (en) Radical d'un idéal Nilradical Radical de Jacobson Going up et going down

• Portail de l’algèbre