• Title/Summary/Keyword: strongly Gorenstein projective module

Search Result 4, Processing Time 0.02 seconds

ON OVERRINGS OF GORENSTEIN DEDEKIND DOMAINS

  • Hu, Kui;Wang, Fanggui;Xu, Longyu;Zhao, Songquan
    • Journal of the Korean Mathematical Society
    • /
    • v.50 no.5
    • /
    • pp.991-1008
    • /
    • 2013
  • In this paper, we mainly discuss Gorenstein Dedekind do-mains (G-Dedekind domains for short) and their overrings. Let R be a one-dimensional Noetherian domain with quotient field K and integral closure T. Then it is proved that R is a G-Dedekind domain if and only if for any prime ideal P of R which contains ($R\;:_K\;T$), P is Gorenstein projective. We also give not only an example to show that G-Dedekind domains are not necessarily Noetherian Warfield domains, but also a definition for a special kind of domain: a 2-DVR. As an application, we prove that a Noetherian domain R is a Warfield domain if and only if for any maximal ideal M of R, $R_M$ is a 2-DVR.

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.

COPURE PROJECTIVE MODULES OVER FGV-DOMAINS AND GORENSTEIN PRÜFER DOMAINS

  • Shiqi Xing
    • Bulletin of the Korean Mathematical Society
    • /
    • v.60 no.4
    • /
    • pp.971-983
    • /
    • 2023
  • In this paper, we prove that a domain R is an FGV-domain if every finitely generated torsion-free R-module is strongly copure projective, and a coherent domain is an FGV-domain if and only if every finitely generated torsion-free R-module is strongly copure projective. To do this, we characterize G-Prüfer domains by G-flat modules, and we prove that a domain is G-Prüfer if and only if every submodule of a projective module is G-flat. Also, we study the D + M construction of G-Prüfer domains. It is seen that there exists a non-integrally closed G-Prüfer domain that is neither Noetherian nor divisorial.