Group-theoretic and topological invariants of completely integrally closed Prüfer domains (Q2630024): Difference between revisions

In this article, the authors study the lattice-ordered groups Inv\((R)\) (the collection of invertible fractional ideals) and Div\((R)\) (the collection of divisorial fractional ideals) of completely integrally closed Prüfer domains. A Prüfer domain is an integral domain for which every non-zero, finitely generated ideal is invertible. An integral domain with field of fractions \(K\) is completely integrally closed if for each \(x \in F - R\) and \(0 \neq r \in R\), there exists \(n > 0\) such that \(rx^n \notin R\). The authors show in Section 3 that Div\((R)\) is the completion of the group Inv\((R)\). Furthermore, there is a faithfully flat extension \(S\) of \(R\) such that \(S\) is a completely integrally closed Bézout domain with Div\((R)\). The rest of the article studies one dimensional Prüfer domains, which includes, but is far from limited to Dedekind domains. This is where they study group-theoretic (on Inv\((R)\) and Div\((R)\)) and topological (on the maximal spectrum of \(R\)) invariants. They are particularly interested in the connections between these invariants and factorization properties of one dimensional Prüfer domains, especially almost Dedekind domains and SP-domains. An almost Dedekind domain is an integral domain for which every localization at a maximal ideal is a discrete valuation ring and an SP-domain is an integral domain for which every proper ideal is a product of radical ideals. The authors show, in Section 4, that if a one-dimensional domain \(R\) has nonzero Jacobson radical \(J(R)\) such that \(J(R)\) is invertible, then \(R\) is an SP-domain. If also \(J(R)\) is principal, then \(R\) is a Bézout domain, a domain in which all finitely generated ideals are principal. In Section 5, the authors show that for SP-domains with nonzero Jacobson radical, the groups Inv\((R)\) and Div\((R)\) are topological invariants of Max\((R)\). This leads to studying the group Div\((R)\)/Inv\((R)\) where they show that it is torsion-free, but that it is divisible only when Div\((R)=\) Inv\((R)\), with the latter condition characterized topologically also in terms of Max\((R)\). The paper culminates in Section 6 with a reframing of the sharp and dull degree of one dimensional Prüfer domains introduced by \textit{K. A. Loper} and \textit{T. G. Lucas} [J. Reine Angew. Math. 565, 61--78 (2003; Zbl 1034.13011)], in topological terms thus allowing the authors to obtain existence results for domains of prescribed sharp degrees. There are many illuminating examples and remarks provided throughout the article.