On the arithmetic of monoids of ideals (Q2143057): Difference between revisions

In this article, the authors investigate the algebraic and arithemtic structure of monoids of \(r\)-invertible \(r\)-ideals for certain ideal systems \(r\) of Krull and weakly Krull Mori domains. For some notation, \(r\) is an ideal system on \(R\), \(\mathcal{I}_r(R)\) is the semigroup of nonzero \(r\)-ideals with \(r\)-multiplication, and \(\mathcal{I}_r^*(R)\) is the subsemigroup of \(r\)-invertible \(r\)-ideals. After a thorough historical background and laying the foundations of the theory, the authors are able to show that the monoid of invertible ideals of a weakly Krull Mori domain is a weakly Krull Mori monoid and that a domain \(R\) is Krull if and only if the monoid \(\mathcal{I}_r^*(R)\) (with \(r\)-multiplication) is a Krull monoid. The authors emphasize the structure of unions of sets of lengths and on being fully elastic. The article concludes by studying the semigroup of all nonzero ideals. these semigroups need not be cancellative, although with some mild assumptions, they are unit cancellative and BF-monoids. Among other things, the authors are interested in the monoid of nonzero ideals of polynomial rings \(R\) with at least two variables over Noetherian domains. They demonstrate that \(\mathcal{I}_r(R)\) is not transfer Krull and that \(\mathcal{I}_r(R)\) is fully elastic. The article contains an extensive bibliography and historical overview of the development of this part of mathematics. There are some nice examples given throughout the article to help the reader.