• Title/Summary/Keyword: Dedekind domains

Search Result 22, Processing Time 0.015 seconds

ON STRONGLY GORENSTEIN HEREDITARY RINGS

  • Hu, Kui;Kim, Hwankoo;Wang, Fanggui;Xu, Longyu;Zhou, Dechuan
    • Bulletin of the Korean Mathematical Society
    • /
    • v.56 no.2
    • /
    • pp.373-382
    • /
    • 2019
  • In this note, we mainly discuss strongly Gorenstein hereditary rings. We prove that for any ring, the class of SG-projective modules and the class of G-projective modules coincide if and only if the class of SG-projective modules is closed under extension. From this we get that a ring is an SG-hereditary ring if and only if every ideal is G-projective and the class of SG-projective modules is closed under extension. We also give some examples of domains whose ideals are SG-projective.

MAXIMAL IDEALS IN POLYNOMIAL RINGS

  • Cho, Young-Hyun
    • Bulletin of the Korean Mathematical Society
    • /
    • v.22 no.2
    • /
    • pp.117-119
    • /
    • 1985
  • Let R be a commutative noetherian ring with 1.neq.0, denoting by .nu.(I) the cardinality of a minimal basis of the ideal I. Let A be a polynomial ring in n>0 variables with coefficients in R, and let M be a maximal ideal of A. Generally it is shown that .nu.(M $A_{M}$).leq..nu.(M).leq..nu.(M $A_{M}$)+1. It is well known that the lower bound is not always satisfied, and the most classical examples occur in nonfactional Dedekind domains. But in many cases, (e.g., A is a polynomial ring whose coefficient ring is a field) the lower bound is attained. In [2] and [3], the conditions when the lower bound is satisfied is investigated. Especially in [3], it is shown that .nu.(M)=.nu.(M $A_{M}$) if M.cap.R=p is a maximal ideal or $A_{M}$ (equivalently $R_{p}$) is not regular or n>1. Hence the problem of determining whether .nu.(M)=.nu.(M $A_{M}$) can be studied when p is not maximal, $A_{M}$ is regular and n=1. The purpose of this note is to provide some conditions in which the lower bound is satisfied, when n=1 and R is a regular local ring (hence $A_{M}$ is regular)./ is regular).

  • PDF