When \(D((X))\) and \(D\{\{X\}\}\) are Prüfer domains (Q659863)

Let \(D\) be an integral domain, \(X\) be an indeterminate over \(D\), and \(D[[X]]\) be the power series ring over \(D\). For \(f\in D[[X]]\), let \(c_D(f)\) denote the ideal of \(D\) generated by the coefficients of \(f\). Let \(N=\{f\in D[[X]]|c_D(f)=D\}\), \(N_t=\{f\in D[[X]]|c_D(f)_t=D\}\), \(D((X))=D[[X]]_N\) , and \(D\{\{X\}\}=D[[X]]_{N_t}\). In this paper, the authors show that \(D\) is a Krull domain if and only if \(D\{\{X\}\}\) is a Prüfer domain, if and only if \(D[[X]]_{P[[X]]}\) is a valuation domain for each maximal \(t\)-ideal \(P\) of \(D\), if and only if \(D[[X]]\) is a P\(v\)MD in which each \(t\)-ideal is divisorial. It is also shown that \(D\) is a Dedekind domain if and only if \(D((X))\) is a Prüfer domain, if and only if \(D[[X]]_{M[[X]]}\) is a valuation domain for each maximal ideal \(M\) of \(D\).