Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Two criteria to check whether ideals are direct sums of cyclically presented modules - MaRDI portal

Two criteria to check whether ideals are direct sums of cyclically presented modules (Q1789662)

From MaRDI portal





scientific article; zbMATH DE number 6950424
Language Label Description Also known as
English
Two criteria to check whether ideals are direct sums of cyclically presented modules
scientific article; zbMATH DE number 6950424

    Statements

    Two criteria to check whether ideals are direct sums of cyclically presented modules (English)
    0 references
    10 October 2018
    0 references
    The question of the relationship between properties of prime ideals of a ring and those of all ideals in a ring is an old one in commutative algebra. For example, it is known that every ideal in a commutative in \(R\) is principal (resp. finitely generated) if and only if every prime ideal of \(R\) is principal (resp. finitely generated) (Attributed to I. M. Isaacs in [\textit{I. Kaplansky}, Commutative rings. Boston: Allyn and Bacon, Inc. (1970; Zbl 0203.34601)]; resp. [\textit{I. S. Cohen}, Duke Math. J. 17, 27--42 (1950; Zbl 0041.36408)]. In this paper a similar type of question is studied. The main theorem shows that every ideal of a local ring \((R,\mathcal{M})\) is a direct sum of cyclically presented \(R\)-modules if and only if every prime ideal is a direct sum of cyclically presented \(R\)-modules if and only if \(R\) is either a principal ideal ring or \(\mathcal{M} = Rx \oplus Ry,\) where \(x,y \in \mathrm{Nil}(R)\) and \(R/\mathrm{Ann}(x)\) and \(R/\mathrm{Ann}(y)\) are principal ideal rings.
    0 references
    0 references
    prime ideal
    0 references
    cyclically presented modules
    0 references
    direct sum
    0 references
    local ring
    0 references
    maximal ideal
    0 references

    Identifiers