Kronecker function rings and power series rings (Q2188685)

From MaRDI portal
Revision as of 21:42, 22 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
Kronecker function rings and power series rings
scientific article

    Statements

    Kronecker function rings and power series rings (English)
    0 references
    0 references
    11 June 2020
    0 references
    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.
    0 references
    0 references
    power series ring
    0 references
    c-star operation
    0 references
    Kronecker function ring
    0 references
    Bézout domain
    0 references
    rank-one valuation domain
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references