Hereditary atomicity in integral domains

DOI10.1016/J.JPAA.2022.107249MaRDI QIDQ2104879zbMATH OpenOpenAlexFDO

Authors Felix Gotti, Richard Erwin Hasenauer, Jim Coykendall

Publication date 8 December 2022

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2112.00264

almost Dedekind domain atomic domain Dedekind domain hereditarily atomic field hereditary atomicity Prüfer domain

Ideals and multiplicative ideal theory in commutative rings (13A15) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial) (13F15) Integral domains (13G05)

Abstract: If every subring of an integral domain is atomic, then we say that the latter is hereditarily atomic. In this paper, we study hereditarily atomic domains. First, we characterize when certain direct limits of Dedekind domains are Dedekind domains in terms of atomic overrings. Then we use this characterization to determine the fields that are hereditarily atomic. On the other hand, we investigate hereditary atomicity in the context of rings of polynomials and rings of Laurent polynomials, characterizing the fields and rings whose rings of polynomials and rings of Laurent polynomials, respectively, are hereditarily atomic. As a result, we obtain two classes of hereditarily atomic domains that cannot be embedded into any hereditarily atomic field. By contrast, we show that rings of power series are never hereditarily atomic. Finally, we make some progress on the still open question of whether every subring of a hereditarily atomic domain satisfies ACCP.

Review text

Let \(R\) be a commutative integral domain. The domain \(R\) is \textit{atomic} if every nonzero nonunit of \(R\) is a finite product of atoms (irreducible elements), and \(R\) is \textit{hereditarily atomic} if every subring of \(R\) is atomic. The authors characterize the hereditarily atomic property for fields, polynomial extensions of fields and Laurent polynomial extensions of domains. It follows immediately from Proposition 5.3 in the paper that if some polynomial extension of a field \(F\) (possibly in infinitely many indeterminates) is hereditarily atomic, then all polynomial extensions of \(F\) are hereditarily atomic. If the field \(F\) is algebraic over some field \(\mathbb F_{p}\), then each polynomial extension of \(F\) in at least two indeterminates is hereditarily atomic, while the quotient field of such a polynomial extension is not hereditarily atomic. Power series extensions of any domain are never hereditarily atomic. The authors present many cases in which a hereditarily atomic domain is hereditarily ACCP, and conjecture that this is always the case, equivalently, that every hereditarily atomic domain satisfies ACCP.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Hereditary atomicity in integral domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104879)