Factoring ideals in integral domains (Q438528)

This volume of Lecture Notes of the Unione Matematica Italiana 14 provides a wide-ranging survey of, and many new results on, the latest developments in the theory of ideal factorizations in various important types of integral dopmains which was actively investigated by several authors in recent years. Actually most of these results are not included in recent books. Examples of domains studied include (1) those with weak factorization, in which each nonzero, nondivisorial ideal can be factored as the product of its divisorial closure and a product of maximal ideals and (2) those with pseudo-Dedekind factorization, in which each nonzero, noninvertible ideal can be factored as the product of an invertible ideal with a product of pairwise comaximal prime ideals. Prüfer domains play a central role in our study, but many non-Prüfer examples are considered as well. In Chapter 1, the authors introduce several variations on factoring ideals into finite products of prime ideals. For example, a domain has radical factorization if each ideal can be factored as a finite product of radical ideals. Such domains are also known as SP-domains. A domain has pseudo-Dedekind factorization if each nonzero noninvertible ideal can be factored as the product of an invertible ideal and a finite product of pairwise comaximal prime ideals with at least one prime in the product. In Chapter 2, they collect many of the definitions, properties and results that will be needed in the following chapters. In particular, \(h\)-local domains, various sharpness and trace properties are discussed. In Chapter 3, the authors study the rings for which every proper ideal is a product of radical ideals, rings introduced by Vaughan and Yeagy under the name of SP-rings. The integral domains with this property are called domains with radical factorization, and the authors give several characterizations of them. Moreover they pay special attentions to almost Dedekind domains that having the property that each nonzero finitely generated ideal can be factored as a finite product of powers of ideals of a factoring family. A review of the Prüfer domains in which the divisorial ideals can be factored as a product of an invertible ideal and pairwise comaximal prime ideals is provided also in the same chapter. The final section of chapter 3 is devoted to the presentation of various general constructions due to Loper-Lucas for building examples of almost Dedekind (non Dedekind) domains of various kinds. In Chapter 4. They discuss weak factorization integral domains in which each nonzero nondivisorial ideal can be factored as the product of its divisorial closure and a finite product of (not necessarily distinct) maximal ideals. An integral domain is said to have strong factorization if it has weak factorization and the maximal ideals of the factorization are distinct. If, in addition, the maximal ideals in the factorization of a nonzero nondivisorial ideal \(I\) of the domain \(R\) can be restricted to those maximal ideals \(M\) such that \(IR_M\) is not divisorial, one says that \(R\) has very strong factorization. In the present section, we study these properties with particular regard to the case of Prüfer domains or almost Dedekind domains. They provide several characterizations of domains having weak, strong or very strong factorization. They prove that very strong and strong factorizations are equivalent for Prüfer domains. Chapter 5, is devoted to the study of pseudo-Dedekind factorization domains and strong pseudo-Dedekind factorization domains. They observe that an integral domain with pseudo-Dedekind factorization has strong factorization and an integrally closed domain with pseudo-Dedekind factorization is an \(h\)-local Prüfer domain. Nonintegrally closed local domains with pseudo-Dedekind factorization are fully described in terms of pullbacks of valuation domains. Several characterizations of integral domains with strong pseudo-Dedekind factorization are also given. In particular, they show that an integral domain has strong pseudo-Dedekind factorization if and only if it is an \(h\)-local generalized Dedekind domain. In Chapter 6, they introduce the notion of an \(h\)-local maximal ideal as a maximal ideal \(M\) of a domain \(R\) such that \(\theta(M)R_M = K\) (the quotient field of \(R\)). The second section deals with independent pairs of overrings of a domain \(R\). In the case \(R\) can be realized as the intersection of a pair of independent overrings, we show that \(R\) shares various factorization properties with these overrings. For example, \(R\) has weak factorization if and only if both overrings have weak factorization. The third section introduces Jaffard families and Matlis partitions. Just as domains of Dedekind type are the same as \(h\)-local domains, a domain \(R\) can be realized as an intersection of the domains of a Jaffard family if and only if its set of maximal ideals can be partitioned into a Matlis partition (definitions below). As in the second section, if \(R = \bigcap_{\alpha\in A}S_\alpha\) where \(\left\{{S_\alpha}\right\}\alpha\in A\) is a Jaffard family, then \(R\) satisfies a particular factoring property if and only if each \(S_{\alpha}\) satisfies the same factoring property. The last section is devoted to constructing examples using various Jaffard families.