Power series over Noetherian domains, Nagata rings, and Kronecker function rings (Q324234)

Let \(D\) be an integral domain with quotient field \(K\) and \(F(D)\) be the set of nonzero fractional ideals of \(D\). A star operation on \(D\) is a mapping \(*:F(D)\longrightarrow F(D)\) such that for all \(I,J\in F(D)\) and \(x\in K\), (i) \((xD)^*=xD\), \((xI)^*=xI^*\) (ii) \(I\subseteq I^* \) and \(I\subseteq J\) implies \(I^*\subseteq J^*\), (iii) \( (I^*)^*=I^*\). Moreover \(*\) is said to be e.a.b. if for each \(A,B,C\in F(D)\) finitely generated \((AB)^*\subseteq (AC)^*\) implies \(B^*\subseteq C^*\). The paper contains many results about power series domains in infinite set of variables. But the more significant results are in the one variable case. For \(f\in D[[X]]\), its content \(c(f)\) is defined to be the ideal of \(D\) generated by its coefficients. Let \(D\) be a Noetherian domain and \(*\) a star operation on \(D\). The author proves that \(N_*=\{f\in D[[X]]; c(f)^*=D\}\) is a satureted multiplicative set of \(D[[X]]\) and if \(*\) is e.a.b. then \(Kr(D,*)=\{{f\over g};f,g\in D[[X]],g\not=0,c(f)\subseteq c(g)^*\}\) is a Bezout domain. Many ring-theoretic properties are studied in \(D[[X]]_{N^*}\) and \(Kr(D,*)\). For example, any invertible ideal of \(D[[X]]_{N^*}\) is principal, \(\dim Kr(D,b)=\dim_vD\). If \(V\) is a valuation overring of \(D\), \(\hat V=\{{f\over g}; f,g\in D[[X]], g\not=0,c(f)V\subseteq c(g)V\}\) is a valuation overring of \(D[[X]]\) and \(Kr(D,*)=\cap\hat V\), \(V\) is a \(*-\)valuation overring of \(D\).