Radically perfect prime ideals in polynomial rings (Q1038684)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Radically perfect prime ideals in polynomial rings
scientific article

    Statements

    Radically perfect prime ideals in polynomial rings (English)
    0 references
    20 November 2009
    0 references
    Let \(R\) be a commutative ring, let rad\((I)\) denote the radical of the ideal \(I\subset R\), let \(S(I)\) be the set of all ideals \(J\subset R\) with rad\((J)\)=rad\((I)\), and let \(I^*\) be an ideal in \(S(I)\) with the least number of generators. The author calls an ideal \(I\) \textit{radically perfect} if the number of generators of \(I^*\) equals the height of \(I\) (usually such ideals are said to be set-theoretic complete intersections). The author considers Noetherian domains \(R\) of Krull dimension zero containing the field of rational numbers, and shows that every prime ideal of \(R[X]\) is radically perfect if and only if \(R\) is a Dedekind domain having a torsion class-group. Earlier he established this assuming additionally that \(R\) is normal [Proc. Am. Math. Soc. 132, 3467--3471 (2004; Zbl 1081.13001)]. He characterizes also finite dimensional Bézout domains \(R\) such that eery prime ideal of \(R[X]\) is radically perfect.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    radically perfect ideal
    0 references
    set-theoretic complete intersection
    0 references
    Dedekind domain
    0 references
    Bézout domain
    0 references
    Noetherian domain
    0 references
    0 references
    0 references