Kronecker function rings and power series rings (Q2188685): Difference between revisions

Let \(D\) be an integral domain with quotient field \(K\) and \(F(D)\) the set of the nonzero fractional ideals of \(D\). A star operation on \(D\) is a map \(*:F(D)\longrightarrow F(D)\) satisfying the following properties for all \(0\not=a\in K\) and \(I,J\in F(D)\): (i) \((aD)^*=aD\) and \((aI)^*=aI^*\). (ii) \(I\subseteq I^*\) and \(I\subseteq J\) implies \(I^*\subseteq J^*\). (iii) \((I^*)^*=I^*\). For \(f\in D[[X]]\), let \(c(f)\) be the content of \(f\); i.e, the ideal generated in \(D\) by the coefficients of \(f\). One can define the analog of the Kronecker ring over \(D\) for formal power series relatively to a star operation \(*\) as: \(Kr((D,*))=\{f/g;~f,g\in D[[X]], g\not=0, c(f)\subseteq c(g)^*\}\). In the present paper, the author considers the subclass of the star operations \(*\) on \(D\), that he calls the c-star operations, which satisfy: \((fg)^*=(c(f)c(g))^*\) for all \(0\not=f,g\in D[[X]]\) and the \(*\)-cancellation law for ideals; i.e, \((AB)^*\subseteq (AC)^*\) implies \(B^*\subseteq C^*\) for all \(A,B,C\in F(D)\). For a such c-star operation \(*\), the author shows that \(Kr((D,*))\) is a Bezout domain and \(D\) is completely integrally closed. Special attention is given to the v-operation on a DVR.