Unique comaximal factorization
Divisibility and factorizations in commutative rings (13A05) Ideals and multiplicative ideal theory in commutative rings (13A15) Commutative rings defined by factorization properties (e.g., atomic, factorial, half-factorial) (13F15) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Seminormal rings (13F45)
This interesting paper introduces a new factorization theory, linked to comaximality. The authors give the following definitions: A nonzero non-unit element \(b\) of an integral domain \(R\) is called pseudo-irreducible if it is impossible to factor \(b\) as \(b=cd\) with \(c\) and \(d\) comaximal non-units. Now \(b\) is termed pseudo-prime if for every comaximal pair of elements \(c\) and \(d\) in \(R\), if \(b\) divides \(cd\), then either \(b\) divides \(c\) or \(b\) divides \(d\). The ring \(R\) is called a comaximal factorization domain (CFD) if any nonzero non-unit element \(b\) of \(R\) can be written as \(b=b_1\cdots b_m\), where the \(b_i\) are pairwise comaximal pseudo-irreducible elements of \(R\), and a unique comaximal factorization domain (UCFD) if \(R\) is a CFD where such factorizations are unique (up to order and units). These notions are the analogues of irreducible and prime elements, atomic domains and UFD's in the theory of usual factorization. In particular, a UFD is a UCFD. These two theories have many similarities. For instance, a CFD is a UCFD if and only if every pseudo-irreducible element is pseudo-prime and also (a slight difference with UFD's) if and only if every 2-generated invertible ideal is principal. But an example shows that there exist UCFD's for which not all invertible ideals are principal. Another similar property is that a polynomial domain \(R[X_1,\ldots,X_n]\) is a UCFD if and only if \(R\) is a seminormal UCFD. Contrary to UFD's, a UCFD is not necessarily integrally closed. Pullbacks can be used to produce CFD's or UCFD's by the following theorem: Let \(P\) be a prime ideal of a domain \(R\), comparable to every ideal of \(R\), then \(R\) is a CFD (respectively UCFD) if and only if \(R/P\) is a CFD (respectively UCFD). In the last section, the authors introduce the ideal-theoretic version of comaximal factorization, which is better behaved than comaximal factorization of elements.
- A Note on Generating Sets for Invertible Ideals
- scientific article; zbMATH DE number 2196580 (Why is no real title available?)
- scientific article; zbMATH DE number 3278303 (Why is no real title available?)
- scientific article; zbMATH DE number 3055967 (Why is no real title available?)
- On \(\text{Pic}(R[X])\) for \(R\) seminormal
- The number of generators of a module
- Vector Bundles and Projective Modules
- Three frameworks for a general theory of factorization
- Unique factorization properties in commutative monoid rings with zero divisors
- Generalized power series with a limited number of factorizations
- On finite molecularization domains
- Two counterexamples in abstract factorization
- Unique representation domains. II.
- Idempotent pairs and PRINC domains
- Generalized irreducible divisor graphs
- Decomposition of ideals into pseudo-irreducible ideals
- -regular factorization in commutative rings with zero-divisors
- Generalized comaximal factorization of ideals
- A characterization of commutative rings whose maximal ideal spectrum is Noetherian
- U-factorization of ideals
- Decomposition of modules into modules whose annihilators are pseudo-irreducible
- Comaximal factorization of lifting ideals
- On \(S\)-pseudo-irreducible ideals
- On strongly J-Noetherian rings
- PRINC domains and comaximal factorization domains
- J-Noetherian Bezout domain which is not of stable range 1
- Factorization of ideals
- Diagonal reduction of matrices over commutative semihereditary Bezout rings
- Factorizations into idempotent factors of matrices over Prüfer domains
- Unique factorization of ideals in commutative rings with zero divisors
- General w-ZPI-Rings and a Tool for Characterizing Certain Classes of Monoid Rings
- A closer look at primal and pseudo-irreducible ideals with applications to rings of functions
- On a general theory of factorization in integral domains
- Ideal factoriality, semistar operations, and quasiprincipal Ideals
- Ideal factorization in strongly discrete independent rings of Krull type. II
- Norm-closed and norm-reflecting ideals in rings of continuous functions
- Lifting comaximal decomposition
This page was built for publication: Unique comaximal factorization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1883054)
