Prüfer v-multiplication domains and the ring \(R[X]_{N_ v}\) (Q1117976)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Prüfer v-multiplication domains and the ring \(R[X]_{N_ v}\)
scientific article

    Statements

    Prüfer v-multiplication domains and the ring \(R[X]_{N_ v}\) (English)
    0 references
    1989
    0 references
    For the set of fractional ideals A of an integral domain \(R\subseteq K\), the quotient field, a *-operation is a map \(A\mapsto A_*\) with \(R=R_*\), \((aA)_*=aA_*\), \(A\subseteq A_*\), \(A\subseteq B\) implies \(A_*\subseteq B_*\) and \((A_*)_*=A_*\). With any *-operation is associated a second one, \(*_ s\), given by \(A_{*_ s}=\cup \{B_*| \quad A\supseteq B\) is finitely generated\(\}\). For \(f=\sum^{n}_{i=0}a_ iX^ i \in K[X]\), the fractional ideal \(\sum Ra_ i \) is denoted by \(A_ f\) and \(\{f\in R[X]| \quad (A_ f)_*=R\}\) by \(N_*(R)\). The general theme of this note is to relate the multiplicative ideal theory of R to that of \((R[X])_{N_*}\) especially when the *-operation is v given by \(A_ v=(A^{-1})^{-1}\). It is shown, for example, that (i) when \(*=*_ s\), an ideal I of R is *-invertible if, and only if, I R[X]\({}_{N_*}\) is invertible, and (ii) for all *, the invertible ideals of \(R[X]_{N_*}\) are all principal. When \(*=v\) several criteria for R to be a PVMD are given in terms of \(R[X]_{N_ v}\). The subintersections of a PVMD R are characterized as those overrings D with \(N_ v(R)\subseteq N_ v(D).\) In the final section the notion of a t-almost Dedekind domain is introduced, where \(t=v_ s\), as a domain R such that \(R_ M\) is a DVR for every maximal t-ideal M. It is shown that R is t-almost Dedekind if, and only if, \(R[X]_{N_ v}\) is almost Dedekind; and the equivalence to t-almost Dedekind is established for each of five other properties.
    0 references
    Prüfer v-multiplication domain
    0 references
    fractional ideals
    0 references
    *-operation
    0 references
    multiplicative ideal theory
    0 references
    PVMD
    0 references
    almost Dedekind domain
    0 references
    0 references
    0 references

    Identifiers

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