Nagata-like theorems for almost Prüfer \(v\)-multiplication domains (Q382788)

Let \(D\) be an integral domain with quotient field \(K.\) Denote by \(F(D)\) the set of nonzero fractional ideals of \(D\) and for each \(A\in F(D)\) denote the ideal \(D:_{K}A\) by \(A^{-1}\). Define, for each \(A\in F(D),\) \( A_{v}=(A^{-1})^{-1},\) \(A_{t}=\bigcup \{F_{v}:\) \(F\) ranges over finitely generated nonzero subideals of \(A\}\). The relations defined by \(A\mapsto A_{v}\) and \(A\mapsto A_{t}\) are functions on \(F(D)\) known as the \(v\) and \(t\) -operation on \(D\) (see sections 32, 34 of \textit{R. Gilmer} [Multiplicative ideal theory, Pure and Applied Mathematics. Vol. 12. New York: Marcel Dekker, Inc. (1972; Zbl 0248.13001)] for these operations). Call \(A\in F(D)\) \(t\) -invertible if \((AA^{-1})_{t}=D.\) Indeed invertible is \(t\)-invertible. Call \( D\) a Prüfer \(v\)-multiplication domain (PVMD) if each finitely generated \( A\in F(D)\) is \(t\)-inverible. It can be shown that \(D\) is a PVMD if and only if \(aD\cap bD\) is \(t\)-invertible for each pair \(a,b\in D\backslash \{0\}.\) So Prüfer domains and GCD domains are PVMDs. Call \(D\) an almost GCD (AGCD) domain if for each pair \(a,b\in D\backslash \{0\}\) there is a natural number \(n=n(a,b)\) such that \(a^{n}D\cap b^{n}D\) is principal. We can call \(D\) an almost PVMD (APVMD) if for each pair \(a,b\in D\backslash \{0\}\) there is a natural number \(n=n(a,b)\) such that \(a^{n}D\cap b^{n}D\) is \(t\)-invertible. APVMDs were first studied by Rebecca Lewin in her University of Iowa doctoral dissertation [\textit{R. Lewin}, Generalizations of GCD domains and related topics (1991)] and rediscovered by the author of the paper under review in [Algebra Colloq. 19, No. 3, 493--500 (2012; Zbl 1267.13007)]. As in the case of AGCD domains, an APVMD does not have to be integrally closed. In Lemma 2 of [J. Math. Soc. Japan 9, 143--145 (1957; Zbl 0079.05405)], \textit{M. Nagata} showed that if \( D \) is Noetherian with \(S\) a multiplicative set generated by prime elements of \(D\) with \(D_{S}\) a UFD then \(D\) is a UFD, we can call this result Nagata's Theorem for UFDs. Cohn generalized it to an atomic domain (every nonzero nonunit is expressible as a product of finitely many irreducible elements) as: Let \(D\) be an atomic domain and \(S\) a multiplicative set in \(D\). If \(D_{S}\) is a UFD and \(S\) is generated by primes then \(D\) is a UFD [\textit{P. M. Cohn}, Proc. Camb. Philos. Soc. 64, 251--264 (1968; Zbl 0157.08401)]. There were other contributions, but after [\textit{D. D. Anderson} et al., J. Pure Appl. Algebra 74, No. 1, 17--37 (1991; Zbl 0760.13006)], the situation changed and now by a Nagata type theorem we mean something like: Let \(P\) be a property of domains and \(S\) a suitably defined multiplicative set of \(D,\) if \(D_{S}\) has \(P\) then so does \(D.\) For the Nagata type theorems mentioned in the paper under review the multiplicative sets get defined as follows. Let \(S\) be a saturated multiplicative set in \(D\) and denote by \(N(S)\) the set \(\{t\in D:\) \(tD\cap sD=tsD\) for all \(s\in S\}.\) Call \(S\) a splitting multiplicative set if each \(d\in D\backslash \{0\}\) can be written as \(d=st\) where \(s\in S\) and \(t\in N(S).\) If \(S\) is a splitting set and has the additional property that for each \(s\in S,\) \(sD\cap dD\) is principal (\(t\) -invertible) for all \(d\in D\backslash \{0\}\) then \(S\) is said to be lcm splitting (resp., \(t\)-lcm-splitting). It was shown in Theorem 4.3 of [Zbl 0760.13006] that if \(S\) is an lcm Splitting set of \(D \) then \(D\) is a PVMD (GCD domain) if and only if \(D_{S}\) is a PVMD(GCD domain). Call \(S\) almost splitting if \(S\) is saturated and for each \(d\in D\backslash \{0\}\) there is a natural dumber \(n\) such that \(d^{n}=st\) where \( s\in S\) and \(t\in N(S).\) \(S\) almost splitting is called almost lcm-splitting (\(t\)-lcm-splitting) if for each pair \((s,d),\) \(s\in S,d\in D\backslash \{0\}\) there is \(n=n(s,d)\) such that \(s^{n}D\cap d^{n}D\) is principal (\(t\) -invertible). The author, in addition to characterizing certain APVMDs, proves the following results: (1) Let \(S\) be an almost splitting set of \(D.\) Then \(D\) is an APVMD if and only if \(D_{S}\) and \(D_{N(S)}\) are aPVMDs and (2) an almost splitting set \(S\) is almost \(t\)-lcm (splitting) if and only if \( D_{N(S)}\) is an APVMD. Combining (1) and (2) she proves the Nagata type theorem for APVMDs: Let \(S\) be an almost splitting set that is also almost \( t \)-lcm (splitting). If \(D_{S}\) is an APVMD then so is \(D.\) She indicates several applications of this Nagata type theorem, one among these is: Let \(G\) be a lattice ordered group and \(\Gamma \) an \(l\)-submonoid of \(G\) with \( G^{+}\subseteq \Gamma .\) Then the monoid ring \(D[X;\Gamma ]\) is an APVMD if and only if the group ring \(D[X;G]\) is an APVMD.