Power series over Noetherian domains, Nagata rings, and Kronecker function rings (Q324234): Difference between revisions

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\).