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 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 s'il est projectif et non nul.

Anneaux héréditaires et anneaux de Dedekind

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

On appelle héréditaire (en) à gauche un anneau dont tous les idéaux à gauche sont projectifs. On définit de même un anneau héréditaire à droite. 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 :a\mapsto a^{\alpha }$ un endomorphisme de $A$ et $\delta :A\rightarrow A:a\mapsto a^{\delta }$ 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, en désignant par $n$ le rang de $P$, il existe un idéal à gauche ${\mathfrak {I}}$ (évidemment projectif) tel que

$P\cong R^{n-1}\oplus {\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).

Si $R$ est commutatif, il existe des idéaux premiers non nuls (ou, de manière équivalente, des idéaux maximaux) ${\mathfrak {p}}_{i}$ et des entiers naturels $n_{i}$ tels que ${\mathfrak {a}}_{i}={\mathfrak {p}}_{i}^{n_{i}}$ où les familles $\left({\mathfrak {p}}_{i}\right)_{1\leq i\leq r}$ et $\left(n_{i}\right)_{1\leq i\leq r}$ sont uniques à une permutation près de l'ensemble des indices.

Enfin, dans le cas particulier où $R$ est un anneau principal commutatif, ${\mathfrak {I}}\cong R$, $P\cong R^{n}$ et ${\mathfrak {p}}_{i}=\left(p_{i}\right)$ où $p_{i}$ est un atome (i.e. un élément irréductible, ou extrémal, ou de manière équivalente ici, premier). Ce théorème de structure d'un module de type fini sur un anneau principal est classique (les $p_{i}^{n_{i}}$ étant alors les diviseurs élémentaires de ${\mathcal {T}}\left(M\right)$). Voir aussi l'article anneau principal non commutatif.

Notes et références

Références

• N. Bourbaki, Algèbre commutative, chapitres 5 à 7, Springer, 2006, 352 p. (ISBN 978-3-540-33941-0)
• (en) Henri Cartan et Samuel Eilenberg, Homological Algebra, Princeton University Press, 1956, 405 p. (ISBN 978-0-691-04991-5)
• (en) Paul Moritz Cohn, Free Rings and their Relations (2nd ed.), Londres, Academic Press, 1985, 595 p. (ISBN 978-0-12-179152-0, BNF 37359190)
• (en) Enzo R. Gentile, « On Rings with One-Sided Field of Quotients », Proc. Amer. Math. Soc., vol. 11, n^o 3,‎ 1960, p. 380-384 (lire en ligne)
• (en) John C. McConnell et James C. Robson, Noncommutative Noetherian Rings, American Mathematical Society, 2001, 636 p. (ISBN 978-0-8218-2169-5, présentation en ligne)

Voir aussi

• Anneau de Dedekind
• Anneau principal non commutatif