Radically perfect prime ideals in polynomial rings (Q1038684)

From MaRDI portal
Revision as of 05:28, 2 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
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