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

From MaRDI portal
Revision as of 16:35, 12 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Power series over Noetherian domains, Nagata rings, and Kronecker function rings
scientific article

    Statements

    Power series over Noetherian domains, Nagata rings, and Kronecker function rings (English)
    0 references
    0 references
    10 October 2016
    0 references
    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\).
    0 references
    0 references
    power series ring over Neotherian domain
    0 references
    Nagata ring
    0 references
    Kronecker function ring
    0 references

    Identifiers