Unique irredundant intersections of completely irreducible ideals (Q556973)

From MaRDI portal





scientific article; zbMATH DE number 2182064
Language Label Description Also known as
default for all languages
No label defined
    English
    Unique irredundant intersections of completely irreducible ideals
    scientific article; zbMATH DE number 2182064

      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
      almost Dedekind domain
      0 references
      arithmetical ring
      0 references
      valuation ring
      0 references
      chain ring
      0 references
      Prüfer domain
      0 references

      Identifiers

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