Unique irredundant intersections of completely irreducible ideals (Q556973)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unique irredundant intersections of completely irreducible ideals
scientific article

    Statements

    Unique irredundant intersections of completely irreducible ideals (English)
    0 references
    0 references
    0 references
    23 June 2005
    0 references
    For a commutative ring \(R\) with 1, its ideal is called irreducible if it cannot be represented as an intersection of any set of proper overideals. It is known that every ideal is an intersection of completely irreducible ideals. The authors are interested in the property (UIICII) that every (non-zero, proper) ideal can be represented uniquely as an irredundant intersection of completely irreducible ideals. Every proper irreducible ideal of \(R\) is a power of a prime ideal iff the localization \(R_M\) is a noetherian valuation ring, for every maximal ideal of \(M\). The main result states that \(R\) has the UIICII property iff every proper ideal of \(R\) is an irredundant intersection of powers of maximal ideals; given are a number of other equivalent conditions for this property, in general, as well as specializations to special rings, such as arithmetical rings, zero-dimensional rings, one-dimensional integral domains, ZPI rings. Although the rings satisfying UIICII are not always noetherian, their every non-unit is contained in a finitely generated maximal ideal. In case \(R\) is a domain, it has the UIICII property (for non-zero proper ideals) iff \(R\) is almost Dedekind and, for every proper ideal \(A\), the ring \(R/A\) has at least one finitely generated maximal ideal iff \(R\) is almost Dedekind and, for every proper non-zero ideal \(A\) of \(R\), Spec\((R/A)\) is a scattered space iff every non-zero proper ideal of \(R\) has a unique representation as an irredundant intersection of powers of maximal ideals. The authors state two open questions as well.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    almost Dedekind domain
    0 references
    arithmetical ring
    0 references
    valuation ring
    0 references
    chain ring
    0 references
    Prüfer domain
    0 references
    0 references