On finite molecularization domains

DOI10.1216/JCA.2021.13.69MaRDI QIDQ2236786zbMATH OpenOpenAlexFDO

Authors Andrew J. Hetzel, Anna L. Lawson, Andreas Reinhart

Publication date 26 October 2021

Published in Journal of Commutative Algebra (Search for Journal in Brave)

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

atomic domain factorable domain finite factorization domain finite superideal domain molecular domain molecularization molecule nonfactorable ideal unit-cancellative

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Commutative Noetherian rings and modules (13E05) Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial) (13F15) Polynomial rings and ideals; rings of integer-valued polynomials (13F20)

Abstract: In this paper, we advance an ideal-theoretic analogue of a "finite factorization domain" (FFD), giving such a domain the moniker "finite molecularization domain" (FMD). We characterize FMD's as those factorable domains (termed "molecular domains" in the paper) for which every nonzero ideal is divisible by only finitely many nonfactorable ideals (termed "molecules" in the paper) and the monoid of nonzero ideals of the domain is unit-cancellative, in the language of Fan, Geroldinger, Kainrath, and Tringali. We develop a number of connections, particularly at the local level, amongst the concepts of "FMD", "FFD", and the "finite superideal domains" (FSD's) of Hetzel and Lawson. Characterizations of when

k [X^{2}, X^{3}]

, where

k

is a field, and the classical

D + M

construction are FMD's are provided. We also demonstrate that if

R

is a Dedekind domain with the finite norm property, then

R [X]

is an FMD.

Review text

In this article, the authors investigate what is called a Finite Molecularization Domain (FMD) which is roughly the ideal theoretic analogue of what has been called a finite factorization domain (FFD). The rings considered are always commutative and with unity. The authors use a new set of terminology to avoid confusion with other previously established terms in the literature. Molecules are what have been referred to as nonfactorable ideals (roughly the ideal analogue of an atom) traditionally. Thus, a molecular domain is what has been called a factorable domain, which is a ring \(R\) with the property that every nonzero proper ideal of R is a product of nonfactorable ideals of \(R\). A finite molecularization domain, or FMD, is a molecular domain \(R\) with the property that every nonzero proper ideal of \(R\) has only a finite number of molecularizations -- that is, every nonzero proper ideal of \(R\) has only a finite number of factorizations as a product of molecules. With this language established, the authors begin demonstrating several properties of molecules with the focus towards FMDs. They draw comparisons with the roughly analogous notions of atoms and thus finite factorization domains to see which theorems translate from the element level to the ideal level factorizations. There are several theorems developing a number of connections, particularly at the local level, amongst the concepts of ``FMD, ``FFD, and the ``finite superideal domains (FSD's) of Hetzel and Lawson. After proving several results about their new rings, they move towards investigating several classic rings of importance for factorization properties. Among many other results, characterizations of when \(k[X^2 , X^3]\), where \(k\) is a field, and the classical \(D + M\) construction are FMD's are provided. They also demonstrate that if \(R\) is a Dedekind domain with the finite norm property, then \(R[X]\) is an FMD. The authors mention contemporary work done independently which generalizes some of the results in this article can be found in: [\textit{D. D. Anderson} et al., J. Algebra Appl. 17, No. 8, Article ID 1850156, 59 p. (2018; Zbl 1401.13006); Commun. Algebra 47, No. 4, 1742--1772 (2019; Zbl 1431.13003)].

Recommendations

Cites work

Cited in

(7)

This page was built for publication: On finite molecularization domains

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