Anneau de Dedekind non commutatif

Par anneau de Dedekind non commutatif on entend ici un anneau qui généralise la notion classique d'anneau de Dedekind au cas non commutatif. Ce qui suit est donc valide dans le cas commutatif également. Un exemple d'anneau de Dedekind non commutatif est la première algèbre de Weylalgèbre de Weyl $A_{1}\left(k\right)$, $k$ désignant un corps commutatif de caractéristique 0.

Idéaux inversibles et idéaux projectifs

Soit $R$ un anneau d'Ore à gauche et $K$ son corps de fractions à gauche. Un idéal à gauche ${\mathfrak {a}}$ de $R$ est inversible s'il existe des éléments $q_{1},...,q_{n}$ dans $K$ et $a_{1},...,a_{n}$ dans ${\mathfrak {a}}$ tels que ${\mathfrak {a}}q_{i}\subset R$ et $\sum _{1\leq i\leq n}q_{i}a_{i}=1$.

Suivant la définition ci-dessus, un idéal à gauche inversible est de type fini. Un idéal à gauche est inversible si, et seulement si il est projectif.

Anneaux héréditaires et anneaux de Dedekind

Définitions et propriétés générales

On appelle héréditaire à gauche un anneau dont tous les idéaux à gauche sont projectifs. On définit de même un anneau héréditaire à droite, et un anneau héréditaire est un anneau héréditaire à gauche qui est héréditaire à droite.

Les anneaux héréditaires à gauche sont ceux dont la dimension globale à gauche est inférieure ou égale à 1.

Un anneau de Dedekind à gauche est un anneau d'Ore à gauche qui est héréditaire à gauche (ou, de manière équivalente, qui est tel que tous ses idéaux à gauche non nuls sont inversibles). On définit de même un anneau de Dedekind à droite, et un anneau de Dedekind est un anneau de Dedekind à gauche qui est un anneau de Dedekind à droite.

D'après ce qui précède, un anneau de Dedekind à gauche est noethérien à gauche (et un anneau de Dedekind est noethérien). Plus précisément, dans un anneau de Dedekind un idéal à gauche ou à droite est engendré par 2 éléments. Un anneau principal à gauche est un anneau de Dedekind à gauche.

Cette définition d'un anneau de Dedekind est bien entendu valide dans le cas commutatif et équivaut alors à la définition classique due à Emmy Noether (anneau commutatif intègre noethérien, intégralement clos dans lequel tout idéal premier non nul est maximal: voir l'article Anneau de Dedekind).

Exemples

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

$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 $a_{i}\left(t\right)$ sont des polynômes en $t$ à coefficients dans le corps $k=\mathbb {R}$ ou $\mathbb {C}$. Cet anneau, isomorphe à la première algèbre de Weyl $A_{1}\left(k\right)$, est un anneau de Dedekind simple.

Plus généralement, soit $A$ un anneau, $\alpha$ un endomorphisme de $A$ et $\delta :A\rightarrow A$ une application additive. Cette application $\delta$ est appelée une $\alpha$-dérivation si l'on a l'identité $\left(ab\right)^{\delta }=a^{\alpha }b^{\delta }+a^{\delta }b$. Lorsque $\alpha =1_{A}$, cette identité n'est autre que la règle de Leibniz et une telle dérivation est dite extérieure. Si $A$ est, par exemple, l'anneau des polynômes en $t$ à coefficients dans le corps $k=\mathbb {R}$ ou $\mathbb {C}$, on peut aussi considérer l'opérateur d'avance $\alpha :a\left(t\right)\mapsto a\left(t+1\right)$ et l'opérateur aux différences $\delta =\alpha -1$ (la dérivation est cette fois intérieure, car de la forme $a^{\delta }=a^{\alpha }b-ba$; une dérivation extérieure est une dérivation qui n'est pas intérieure).

De manière générale, on appelle polynôme tordu à gauche d'indéterminée $X$ à coefficients dans $A$ muni de l'$\alpha$-dérivation $\delta$ un élément de la forme

$f\left(X\right)=f_{0}X^{n}+f_{1}X^{n-1}...+f_{n}$

où les $f_{i}$ appartiennent à $A$ et où l'on a la règle de commutation $Xa=a^{\alpha }X+a^{\delta }$ pour tout a\in $A$. Un polynôme tordu à droite est un élément de la forme

$g\left(X\right)=X^{n}g_{0}+X^{n-1}g_{1}...+g_{n}$.

L'ensemble des polynômes tordus à gauche (resp. à droite) est noté $A[X;\alpha ,\delta ]_{l}$ (resp. $A[X;\alpha ,\delta ]_{r}$). Ces deux ensembles sont des groupes abéliens et $A[X;\alpha ,\delta ]_{l}$ est un anneau. De plus, si $\alpha$ est un automorphisme, ces deux ensembles coïncident et sont notés $A[X;\alpha ,\delta ]$. Si $A=k[t]$ et $\alpha =1_{A}$, on retrouve à un isomorphisme près l'algèbre de Weyl $A_{1}\left(k\right)$.

Soit $A$ un anneau de Dedekind commutatif qui est une $\mathbb {Q}$-algèbre et $\alpha$ un automorphisme de $A$. On montre que les conditions suivantes sont équivalentes:

(1) $R=A[X;\alpha ,\delta ]$ est un anneau de Dedekind.

(2) $R$ est simple.

(3) $A$ n'a pas d'idéal propre non nul stable par $\delta$ et $\delta$ est une dérivation extérieure.

Soit de nouveau $A$ un anneau de Dedekind commutatif et $\delta$ une dérivation intérieure, de la forme $a^{\delta }=a^{\alpha }b-ba$ où $\alpha$ est un automorphisme de $A$. On peut faire le changement d'indéterminée $Y=X+b$ et considérer l'anneau de polynômes gauche $R=A[Y;\alpha ]=A[X;\alpha ,\delta ]$. On a alors la règle de commutation $Ya=a^{\alpha }Y$. Soit $S=\left\{Y^{n}:n\geq 0\right\}$; $T=S^{-1}A\left[Y;\alpha \right]$ est le localisé de $R$ à $S$ et cet anneau est appelé l'anneau des polynômes de Laurent tordus, et noté $T=A\left[Y,Y^{-1};\alpha \right]$. On montre que les conditions suivantes sont équivalentes:

(1') $T$ est un anneau de Dedekind.

(2') $T$ est simple.

(3') $A$ n'a pas d'idéal propre non nul stable par $\alpha$ et aucune puissance de $\alpha$ n'est un automorphisme intérieur de $A$, i.e. de la forme $a\mapsto u^{-1}au$ où $u$ est une unité de $A$.

Modules sur les anneaux de Dedekind non commutatifs

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

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

où ${\mathcal {T}}\left(M\right)$ est le sous-module de torsion de $M$ (qui est bien défini car, $R$ étant Noethérien, c'est un anneau d'Ore) et où $P$ est un sous-module projectif. De plus, il existe un entier $n$ et un idéal à gauche ${\mathfrak {I}}$ tels que

$P\cong R^{n}+{\mathfrak {I}}$.

Enfin, ${\mathcal {T}}\left(M\right)$ est une somme directe de sous-modules cycliques, i.e. il existe des idéaux à gauche ${\mathfrak {a}}_{i}\left(1\leq i\leq r\right)$ tels que

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

Si $R$ est simple et non artinien, ${\mathcal {T}}\left(M\right)$ est cyclique (i.e. $r=1$) et complètement fidèle (i.e. tout quotient non nul de ${\mathcal {T}}\left(M\right)$ est fidèle).

Notes et références

Références

• N. Bourbaki, Algèbre commutative, chapitres 5 à 7, Springer, 2006, 352 p. (ISBN 3540339418)
• (en) Henri Cartan et Samuel Eilenberg, Homological Algebra, Princeton University Press, 1956, 405 p. (ISBN 0691049912)
• (en) Paul Moritz Cohn, Free Rings and their Relations (2nd ed.), Academic Press, 1985, 595 p. (ISBN 0121791521)
• (en) Enzo R. Gentile, « On Rings with One-Sided Field of Quotients », Proc. Amer. Math. Soc., vol. 11, n^o 13,‎ 1960, p. 380-384
• (en) John C. McConnell et James C. Robson, Noncommutative Noetherian Rings, American Mathematical Society, 2001, 636 p. (ISBN 0821821695, lire en ligne)