Anneau atomique
En algèbre commutative — une branche des mathématiques — un anneau atomique est un anneau intègre dans lequel tout élément non nul et non inversible admet une décomposition (non nécessairement unique) en un produit d'éléments irréductibles. Le terme « atomique » est dû à Paul Cohn, qui appelle « atome » un élément irréductible d'un anneau intègre.
Les anneaux factoriels et les anneaux intègres noethériens sont atomiques. Plus généralement, tout anneau intègre satisfaisant la condition de chaîne ascendante sur les idéaux principaux est atomique.
Motivation[modifier | modifier le code]
Une propriété essentielle de l'anneau des entiers est sa factorialité, formulée dans le théorème fondamental de l'arithmétique : tout entier différent de 0, 1 et –1 est produit d'entiers irréductibles et de plus, cette décomposition est unique (à l'ordre près des facteurs et à leur signe près) ou, ce qui est équivalent : tout entier irréductible est premier (ce qui vaut aux entiers positifs irréductibles leur nom usuel de nombres premiers).
Aussi, lorsqu'on considère des anneaux abstraits, il est naturel d'étudier une classe d'anneaux plus large que celle des anneaux factoriels en n'imposant plus l'unicité de la décomposition, ce qui conduit à formuler le concept d'anneau atomique.
Définition[modifier | modifier le code]
Un anneau intègre R est dit atomique si tout élément x non nul et non inversible de R se décompose en produit d'éléments irréductibles.
Un même facteur irréductible peut figurer plusieurs fois dans une telle expression, appelée factorisation de x.
Cas particuliers[modifier | modifier le code]
Dans un anneau atomique, il est possible que différentes factorisations d'un même élément x aient des longueurs différentes. Il est même possible que parmi les factorisations de x il n'y ait pas de limite au nombre de facteurs irréductibles. Si, au contraire, pour tout élément x non nul et non inversible, le nombre de facteurs est borné alors on dit que R est un anneau à factorisation bornée (AFB).
Si les longueurs des factorisations de x admettent un majorant, aucune chaîne de diviseurs propres entre x et 1 ne peut dépasser cette borne, donc il ne peut y avoir aucune suite infinie strictement croissante d'idéaux principaux de R. Cette condition, appelée condition de chaîne ascendante sur les idéaux principaux (ACCP), implique l'atomicité[1]. Bien que cette implication soit énoncée comme une équivalence dans l'article de Cohn[2], on sait que la réciproque est fausse[3].
En fait, les deux implications suivantes sont strictes[4] :
Il existe deux autres conditions dont chacune est strictement plus forte que la condition AFB et strictement plus faible que la factorialité[4] : la condition de semi-factorialité (deux factorisations quelconques d'un élément donné ont la même longueur) et la condition de factorisation finie (tout élément possède un nombre fini de diviseurs non associés).
À l'opposé, Clark[5] a baptisé anneaux de Furstenberg les anneaux intègres dans lesquels tout élément non nul et non inversible a au moins un diviseur irréductible. Cette propriété est strictement plus faible que l'atomicité : par exemple, l'anneau est de Furstenberg mais non atomique[6].
![{\displaystyle \mathbb {Z} +X\mathbb {Q} [X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c9036dd9806a6fe9130fdc852af176b288b1728)
Par ailleurs, un anneau est principal si (et seulement si) il est bézoutien et atomique[2].
Pour que l'anneau de polynômes R[X] soit atomique, il est (nécessaire mais) non suffisant que R soit atomique[7]. En revanche, R[(Xi)i∈I] (que I soit fini ou infini) est un anneau intègre vérifiant ACCP si (et seulement si) R en est un[8].
Notes et références[modifier | modifier le code]
- Lemme 2 de .
- (en) P. M. Cohn, « Bezout rings and their subrings », Proc. Camb. Phil. Soc., vol. 64, , p. 251-264 (lire en ligne).
- (en) Anne Grams, « Atomic rings and the ascending chain condition for principal ideals », Proc. Camb. Phil. Soc., vol. 75, 1974, p. 321-329.
- (en) D. D. Anderson, D. F. Anderson et M. Zafrullah, « Factorization in integral domains », J. Pure Appl. Algebr., vol. 69, , p. 1-19 (DOI 10.1016/0022-4049(90)90074-R).
- (en) Pete L. Clark, « The Euclidean criterion for irreducibles », Amer. Math. Monthly, vol. 124, no 3, , p. 198-216 (arXiv 1605.01298).
- (en) Noah Lebowitz-Lockard, « On domains with properties weaker than atomicity », Comm. Algebra, vol. 47, no 5, , p. 5 (lire en ligne), lemme 16.
- (en) Moshe Roitman, « Polynomial extensions of atomic domains », J. Pure Appl. Algebra, vol. 87, no 2, , p. 187-199 (DOI 10.1016/0022-4049(93)90122-A).
- Le cas I quelconque se déduit facilement du cas où I est un singleton, démontré dans (en) Pete L. Clark, « Commutative algebra », sur alpha.math.uga.edu, , p. 284, Th. 15.27 (et p. 275, Ex. 15.5), ou se démontre directement de même.
