Anneau atomique
From Wikipedia, the free encyclopedia
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.
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.
![{\displaystyle \mathbb {Z} +X\mathbb {Q} [X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c9036dd9806a6fe9130fdc852af176b288b1728)
