GCD and LCM-like identities for ideals in commutative rings

D. D. Anderson, Shuzo Izumi, Yasuo Ohno, Manabu Ozaki

    Research output: Contribution to journalArticle

    2 Citations (Scopus)

    Abstract

    Let A1,.,An(n ≥ 2) be ideals of a commutative ring R. Let G(k) (resp., L(k)) denote the product of all the sums (resp., intersections) of k of the ideals. Then we have L(n)G(2)G(4)G(2⌊ n/2⌋) ⊂ G(1)G(3) G(2⌈ n/2 ⌉-1). In the case R is an arithmetical ring we have equality. In the case R is a Prüfer ring, the equality holds if at least n-1 of the ideals A1,.,An are regular. In these two cases we also have G(n)L(2)L(4) L(2⌊ n/2 ⌋) = L(1)L(3) L(2⌈ n/2 ⌉-1). Related equalities are given for Prüfer v-multiplication domains and formulas relating GCD's and LCM's in a GCD domain generalizing gcd(a1, a2)lcm(a1, a2) = a1a2 are given.

    Original languageEnglish
    Article number1650010
    JournalJournal of Algebra and Its Applications
    Volume15
    Issue number1
    DOIs
    Publication statusPublished - 2016 Feb 1

    Fingerprint

    Commutative Ring
    Equality
    Ring
    Multiplication
    Intersection
    Denote

    Keywords

    • arithmetical ring
    • GCD
    • LCM
    • Prüfer ring
    • PVMD

    ASJC Scopus subject areas

    • Algebra and Number Theory
    • Applied Mathematics

    Cite this

    GCD and LCM-like identities for ideals in commutative rings. / Anderson, D. D.; Izumi, Shuzo; Ohno, Yasuo; Ozaki, Manabu.

    In: Journal of Algebra and Its Applications, Vol. 15, No. 1, 1650010, 01.02.2016.

    Research output: Contribution to journalArticle

    Anderson, D. D. ; Izumi, Shuzo ; Ohno, Yasuo ; Ozaki, Manabu. / GCD and LCM-like identities for ideals in commutative rings. In: Journal of Algebra and Its Applications. 2016 ; Vol. 15, No. 1.
    @article{2d8880b658a842958c97374018030f9f,
    title = "GCD and LCM-like identities for ideals in commutative rings",
    abstract = "Let A1,.,An(n ≥ 2) be ideals of a commutative ring R. Let G(k) (resp., L(k)) denote the product of all the sums (resp., intersections) of k of the ideals. Then we have L(n)G(2)G(4)G(2⌊ n/2⌋) ⊂ G(1)G(3) G(2⌈ n/2 ⌉-1). In the case R is an arithmetical ring we have equality. In the case R is a Pr{\"u}fer ring, the equality holds if at least n-1 of the ideals A1,.,An are regular. In these two cases we also have G(n)L(2)L(4) L(2⌊ n/2 ⌋) = L(1)L(3) L(2⌈ n/2 ⌉-1). Related equalities are given for Pr{\"u}fer v-multiplication domains and formulas relating GCD's and LCM's in a GCD domain generalizing gcd(a1, a2)lcm(a1, a2) = a1a2 are given.",
    keywords = "arithmetical ring, GCD, LCM, Pr{\"u}fer ring, PVMD",
    author = "Anderson, {D. D.} and Shuzo Izumi and Yasuo Ohno and Manabu Ozaki",
    year = "2016",
    month = "2",
    day = "1",
    doi = "10.1142/S0219498816500109",
    language = "English",
    volume = "15",
    journal = "Journal of Algebra and Its Applications",
    issn = "0219-4988",
    publisher = "World Scientific Publishing Co. Pte Ltd",
    number = "1",

    }

    TY - JOUR

    T1 - GCD and LCM-like identities for ideals in commutative rings

    AU - Anderson, D. D.

    AU - Izumi, Shuzo

    AU - Ohno, Yasuo

    AU - Ozaki, Manabu

    PY - 2016/2/1

    Y1 - 2016/2/1

    N2 - Let A1,.,An(n ≥ 2) be ideals of a commutative ring R. Let G(k) (resp., L(k)) denote the product of all the sums (resp., intersections) of k of the ideals. Then we have L(n)G(2)G(4)G(2⌊ n/2⌋) ⊂ G(1)G(3) G(2⌈ n/2 ⌉-1). In the case R is an arithmetical ring we have equality. In the case R is a Prüfer ring, the equality holds if at least n-1 of the ideals A1,.,An are regular. In these two cases we also have G(n)L(2)L(4) L(2⌊ n/2 ⌋) = L(1)L(3) L(2⌈ n/2 ⌉-1). Related equalities are given for Prüfer v-multiplication domains and formulas relating GCD's and LCM's in a GCD domain generalizing gcd(a1, a2)lcm(a1, a2) = a1a2 are given.

    AB - Let A1,.,An(n ≥ 2) be ideals of a commutative ring R. Let G(k) (resp., L(k)) denote the product of all the sums (resp., intersections) of k of the ideals. Then we have L(n)G(2)G(4)G(2⌊ n/2⌋) ⊂ G(1)G(3) G(2⌈ n/2 ⌉-1). In the case R is an arithmetical ring we have equality. In the case R is a Prüfer ring, the equality holds if at least n-1 of the ideals A1,.,An are regular. In these two cases we also have G(n)L(2)L(4) L(2⌊ n/2 ⌋) = L(1)L(3) L(2⌈ n/2 ⌉-1). Related equalities are given for Prüfer v-multiplication domains and formulas relating GCD's and LCM's in a GCD domain generalizing gcd(a1, a2)lcm(a1, a2) = a1a2 are given.

    KW - arithmetical ring

    KW - GCD

    KW - LCM

    KW - Prüfer ring

    KW - PVMD

    UR - http://www.scopus.com/inward/record.url?scp=84951844856&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=84951844856&partnerID=8YFLogxK

    U2 - 10.1142/S0219498816500109

    DO - 10.1142/S0219498816500109

    M3 - Article

    VL - 15

    JO - Journal of Algebra and Its Applications

    JF - Journal of Algebra and Its Applications

    SN - 0219-4988

    IS - 1

    M1 - 1650010

    ER -