Power series rings over Prüfer \(v\)-multiplication domains (Q2813362)

Let \(D\) be an integral domain. A nonzero ideal \(I\) of \(D\) is said to be a \(t\)-SFT-ideal if there exist a nonzero finitely generated ideal \(J\subseteq I\) and a positive integer \(k\) such that \(a^k\in J_v\) for all \(a\in I_t\). The ring \(D\) is called a \(t\)-SFT-ring if each nonzero ideal of \(D\) is a \(t\)-SFT-ideal. These are the \(t\)-star operation analogue of the well-known SFT-ideals and SFT-rings. Let \(\{X_{\alpha}\}\) be a nonempty set of indeterminates over \(D\) and \(D[[\{X_{\alpha}\}]]_1\) be the first type power series ring over \(D\), i.e., \(D[[\{X_{\alpha}\}]]_1=\bigcup D[[X_1,\ldots,X_n]]\), where \(\{X_1,\ldots,X_n\}\) runs over all finite subsets of \(\{X_{\alpha}\}\). It is shown in Theorem 3.7 of \textit{D. D. Anderson} et al. [Commun. Algebra 26, No. 10, 3223--3238 (1998; Zbl 0912.13008)], that if \(D\) is an SFT Prüfer domain, then \((D[[\{X_{\alpha}\}]]_1)_{D-\{0\}}\) is a Krull domain.NEWLINENEWLINELet \(X^1(D)\) be the set of height one prime ideals of \(D\). In the paper under review the author extend the above result to the case of \(t\)-SFT P\(v\)MD. More precisely it is shown that, if \(D\) is a \(t\)-SFT P\(v\)MD, then (1) \((D[[\{X_{\alpha}\}]]_1)_{D-\{0\}}\) is a Krull domain; (2) \(D\) is a Krull domain if and only if \(X^1(D)=t\)-\(\text{Max}(D)\); (3) \(R:=\cap_{P\in X^1(D)}D_P\) is a Krull domain. It is also shown that if \(K\) is the quotient field of \(D\) and \(X\) is an indeterminate over \(D\), then \(D + XK[X]\) is a \(t\)-SFT P\(v\)MD if and only if \(D\) is a \(t\)-SFT P\(v\)MD.