One-dimensional stable rings (Q286541)

From MaRDI portal
scientific article
Language Label Description Also known as
English
One-dimensional stable rings
scientific article

    Statements

    One-dimensional stable rings (English)
    0 references
    0 references
    20 May 2016
    0 references
    An ideal \(I\) of a commutative ring \(R\) is called stable if \(I\) is projective over its endomorphism ring. The commutative ring \(R\) is called stable if every regular ideal of \(R\) is stable. A reduced local Noetherian ring \(R\) with finite normalization such that every ideal is generated by two elements is called a Bass ring. Note that such rings were at first considered by \textit{H. Bass} [Math. Z. 82, 8--28 (1963; Zbl 0112.26604)]. There is a rich literature about these notions (see e.g. the author in [Commun. Algebra 30, No. 2, 877--895 (2002; Zbl 1073.13014)], \textit{J. D. Sally} and \textit{W. V. Vasconcelos} [J. Pure Appl. Algebra 4, 319--336 (1974; Zbl 0284.13010)] and the references there). The main goal of the present article is to tie several of these results together in a setting in which \(R\) is a one-dimensional local ring (not necessarily Noetherian) with regular maximal ideal \(M\). As one of the main result for a Cohen-Macaulay ring \(R\) with maximal ideal \(M\) the following conditions are equivalent: (1) \(M^n\) is two-generated for some \(n \geq 2\). (2) \(R\) has Krull dimension 1 and multiplicity at least 2. (3) \(R\) is one of the following: (a) a Bass ring, (b) a one-dimensional analytically ramified stable domain, or (c) a ring containing a nonzero principal prime ideal \(P\) such that \(P^2 = 0\) and \(R/P\) is a DVR. Moreover there is a generalization of a result of \textit{C. Greither} [J. Pure Appl. Algebra 24, 265--276 (1982; Zbl 0522.13009)] that a local ring \(R\) with regular maximal ideal, and such that the integral closure is a Dedekind ring generated by two elements as an \(R\)-module, is a Bass ring.
    0 references
    local ring
    0 references
    Cohen-Macaulay ring
    0 references
    stable ideal
    0 references
    two-generated ideal
    0 references
    0 references
    0 references
    0 references
    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
    0 references