Message Board

Dear readers, authors and reviewers,you can add a message on this page. We will reply to you as soon as possible!

2019 Volume 44 Issue 8
Article Contents

Hai-ling MAO, Xiao-yan YANG. On Gorenstein Graded Flat Module of Left Graded GF-Closed Ring[J]. Journal of Southwest China Normal University(Natural Science Edition), 2019, 44(8): 18-22. doi: 10.13718/j.cnki.xsxb.2019.08.004
Citation: Hai-ling MAO, Xiao-yan YANG. On Gorenstein Graded Flat Module of Left Graded GF-Closed Ring[J]. Journal of Southwest China Normal University(Natural Science Edition), 2019, 44(8): 18-22. doi: 10.13718/j.cnki.xsxb.2019.08.004

On Gorenstein Graded Flat Module of Left Graded GF-Closed Ring

More Information
  • Received Date: 23/11/2018
    Available Online: 20/08/2019
  • MSC: O153.3

  • Let Rbe a graded ring. We prove that the class of Gorenstein graded flat modules is projectively resolving class if and only if it is closed under extension. We also introduce the concept of left graded GF-closed rings, some properties of Gorenstein graded flat modules over this graded ring are given.
  • 加载中
  • [1] DING N Q, CHEN J L.Coherent Ring with Finite Self-FP Injective Dimension[J].CommAlgebra, 1996, 24(9):2963-2980.

    Google Scholar

    [2] BENNIS D.Rings Over Which the Class of Gorenstein Flat Modules is Closed Under Extensions[J].CommAlgebra, 2009, 37(3):855-868.

    Google Scholar

    [3] ASENSIO M J, L'OPEZ-RAMOS J A, TORRECILLAS B.Gorenstein gr-Flat Modules[J].CommAlgebra, 1998, 26(10):3195-3209.

    Google Scholar

    [4] NASTASESCU C, VAN OYSTAEYEN F.Graded Ring Theory[M].Amsterdam:North-Holland Publishing Company, 1982:1-15.

    Google Scholar

    [5] ENOCHS E E, JENDA O M G.Relative Homological Algebra[M].Berlin-New York:Walter de Gruyter, 2000:239-258.

    Google Scholar

    [6] ROTMAN J J.An Introduction to Homological Algebra[M].New York:Academic Press, 1979:84-93.

    Google Scholar

    [7] 叶星美, 杨晓燕.n-强F-Gorenstein投射模[J].西南大学学报(自然科学版), 2015, 37(10):84-88.

    Google Scholar

    [8] 陈文静, 杨晓燕.强和强泛Gorenstein FP-内射模[J].西南大学学报(自然科学版), 2014, 36(8):75-78.

    Google Scholar

    [9] 李倩倩, 杨晓燕.n-强Gorenstein AC投射模[J].西南师范大学学报(自然科学版), 2018, 43(12):36-40.

    Google Scholar

    [10] ASENSIO M J, L'OPEZ-RAMOS J A, TORRECILLA B.FP-gr-Injective Modules and gr-FC-Rings[J].Algebra Number Theory Marcel Dekker, 1999, 1999:1-11.

    Google Scholar

    [11] GARCIA-ROZAS J R, L'OPEZ-RAMOS J A, TORRECILLAS B.On the Existence of Flat Covers in R-gr[J].Comm.Algebra, 2000, 29(8):3341-3349.

    Google Scholar

    [12] HOLM H.Gorenstein Homological Dimensions[J].J Pure Appl Algebra, 2004, 189(1):167-193.

    Google Scholar

  • 加载中
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Figures(7)

Article Metrics

Article views(1054) PDF downloads(121) Cited by(0)

Access History

Other Articles By Authors

On Gorenstein Graded Flat Module of Left Graded GF-Closed Ring

Abstract: Let Rbe a graded ring. We prove that the class of Gorenstein graded flat modules is projectively resolving class if and only if it is closed under extension. We also introduce the concept of left graded GF-closed rings, some properties of Gorenstein graded flat modules over this graded ring are given.

  • 自20世纪60年代以来,相对同调代数特别是Gorenstein同调代数受到了学者们的广泛关注.为了进一步描述Gorenstein同调代数在一般环上的作用.文献[1]介绍了Gorenstein平坦模的概念,然而Gorenstein平坦模的类是否关于扩张封闭还是未知的.文献[2]引入了左GF-封闭环并且给出了此环上Gorenstein平坦模的性质.

    分次环的同调理论在代数几何领域中有着重要的作用.文献[3]引入了Gorenstein分次平坦模的概念,定义了分次FC环,并给出了此环上Gorenstein分次平坦模的等价刻画.最后利用遗忘函子U和它的右伴随函子F讨论了分次FC环上Gorenstein平坦模和Gorenstein分次平坦模之间的关系.然而,Gorenstein分次平坦模的类是否关于扩张封闭,到现在为止还是未知的.受以上工作的启发,本文证明了Gorenstein分次平坦模类为投射可解类当且仅当它是扩张封闭的.我们还引入了左分次GF-封闭环,刻画了此环上Gorenstein分次平坦模的一些性质.

1.   预备知识
  • 本文中,所有环都是具有单位元的结合环,所有的模均是酉模.R-gr表示所有分次左R-模构成的范畴.令MN是分次左R-模.我们用HomR-gr(MN)={ff ∈HomR(MN)且f(Mσ)⊆NσσG}表示R-gr中从MN的所有态射.如果对所有σGf(Mσ)⊆Nστ,则称R-线性映射fMN是度为τ的分次态射,其中τG.度为τ的分次态射构成了HomR(MN)的加法子群HOMR(MN)τ.易知HOMR(MN)e=HomR-gr(MN).故HomR(MN)=⊕τGHOMR(MN)τ是分次阿贝尔群.对任意的i>0,我们用ExtRi(MN),ExtR-gri(MN),EXTRi(MN)分别表示HomR(MN),HomR-gr(MN)和HOMR(MN)的右导出函子.

    M是分次右R-模,N是分次左R-模. MN的分次张量积为MRN=⊕σG(MRN)σ,其中xRy∈(MRN)σ(xMαyNβ)且αβ=σ.我们用ToriR(MN)表示MRN的左导出函子.设M是分次右R-模,M+=HOM$\mathbb{Z}$(M$\mathbb{Q}$/$\mathbb{Z}$)表示M的分次示性模.

    文中未解释的概念和符号,请参见文献[4-9].

    定义1[4]   R-gr中的平坦对象称为平坦分次模. R-gr中的内射对象称为分次内射模.

    定义2  [3]如果在R-gr中存在分次平坦左R-模的正合列…→F1F0F0F1→…,使得$M \cong {\rm{Ker}}$(F0F1),且对任意分次内射右R-模IIR-作用序列正合,则称M是Gorenstein分次平坦模.

    定义3[2]  设xR-gr的子范畴.令0→ABC→0是R-gr中的短正合列.

    (ⅰ)如果ACx中,有B也在x中,则称x关于扩张封闭;

    (ⅱ)如果BCx中,有A也在x中,则称x关于满同态的核封闭;

    (ⅲ)如果x满足以下3条,则称x是投射可解类:

    (a) x包含所有分次投射左R-模;

    (b) x关于扩张封闭;

    (c) x关于满同态的核封闭.

2.   主要结果
  • 定义4  如果gr-$\mathscr{G}$$\mathscr{F}$(R)关于扩张封闭,则称分次环R是左分次GF-封闭环,其中gr-$\mathscr{G}$$\mathscr{F}$(R)表示所有Gorenstein分次平坦左R-模组成的类.我们可以类似地定义右分次GF-封闭环.

    引理1  对分次左R-模,以下结论等价:

    (ⅰ) M是Gorenstein分次平坦模;

    (ⅱ) M满足以下两条:

    (a) 对任意的i>0及任意的分次内射右R-模I,ToriR(IM) =0;

    (b) 在R-gr中存在分次左R-模的正合序列0→MF0F1→…,其中Fi是分次平坦模,且对任意分次内射右R-模IIR-作用序列正合.

    (ⅲ)在R-gr中存在分次左R-模的短正合列0→MFG→0,其中F是分次平坦模,G是Gorenstein分次平坦模.

      (ⅰ)⇒(ⅱ)因为M是Gorenstein分次平坦模,所以在R-gr中存在分次左R-模的正合序列…→F1F0M→0,其中每个Fi是分次平坦模.令${L_n} \cong {\rm{ker}}$(Fn-1Fn-2),L0=M,且对任意分次内射右R-模IIR-作用序列正合.考虑短正合列0→L1F0M→0,我们得到如下交换图(图 1).

    由分解引理知,Tor1R(IM)=0.当i>0时,由长正合序列

    ${\mathop{\rm Tor}\nolimits} _2^R(I, M) \cong {\mathop{\rm Tor}\nolimits} _1^R\left({I, {L_1}} \right)$.利用数学归纳法得到对任意i>0,有ToriR(IM)=0.

    由(ⅰ),在R-gr上也存在分次左R-模的正合序列0→MF0F1…,其中Fi是分次平坦模,且对任意分次内射右R-模IIR-作用序列正合.

    (ⅱ)⇒(ⅰ)因为M存在分次平坦分解…→F1F0M→0,其中每个Fi是分次平坦模,且对任意分次内射右R-模I,ToriR(IM)=0,则IR-作用序列正合.将M的平坦分解与(ⅱ)中正合列首尾相接,便得R-gr上分次平坦左R-模的正合列$\mathbb{F}$:…→F1F0F0F1→…,使得$M \cong {\rm{Ker}}$(F0F1),其中FiFi是分次平坦模,且对任意分次内射右R-模IIR$\mathbb{F}$作用序列正合.因此,M是Gorenstein分次平坦模.

    (ⅰ)⇒(ⅲ)显然.

    (ⅲ)⇒(ⅱ)设在R-gr中存在分次左R-模的短正合列

    其中F是分次平坦模,G是Gorenstein分次平坦模.设I是分次内射右R-模,因为G是Gorenstein分次平坦模,所以对任意的i≥0,由长正合列

    得到ToriR(IM)=0.

    因为G是Gorenstein分次平坦模,所以存在分次左R-模的正合序列

    其中Fi是分次平坦模,且对任意分次内射右R-模IIR-作用序列正合.把序列(1)和(2)连接起来,得到序列0→MFF0F1→…,且对任意分次内射右R-模IIR-作用序列正合.

    引理2  设0→ABC→0是R-gr中分次左R-模的短正合序列.如果A是Gorenstein分次平坦模,C是分次平坦模,那么B是Gorenstein分次平坦模.

      因为A是Gorenstein分次平坦模,所以在R-gr中存在分次左R-模的正合序列0→AFG→0,其中F是分次平坦模,G是Gorenstein分次平坦模.考虑ABAF的推出,如图 2所示.

    在短正合列0→FF′C→0中,因为FC是分次平坦模,所以F′也是分次平坦模.

    在短正合列0→BF′G→0中,因为F′是分次平坦模,所以由引理1得,B是Goren-stein分次平坦模.

    定理1  对分次环R,以下结论等价:

    (ⅰ) R是左分次GF-封闭环;

    (ⅱ) gr-GF(R)是投射可解类;

    (ⅲ)对R-gr分次左R-模短正合列0→G1G0M→0,其中G1G0是Goren-stein分次平坦模.如果对任意分次内射右R-模I,有Tor1R(IM)=0,那么M是Gorenstein分次平坦模.

      (ⅰ)⇒(ⅱ)考虑分次左R-模的短正合列0→ABC→0,其中BC是Gorenstein分次平坦模,下面证明A是Gorenstein分次平坦模.因为B是Gorenstein分次平坦模,则在R-gr中存在分次左R-模的短正合列0→BFG→0,其中F是分次平坦模,G是Gorenstein分次平坦模.考虑BCBF的推出,如图 3所示. 图 3右侧垂直短正合列中,CG是Gorenstein分次平坦模.因为R是左分次GF-封闭环,所以D是Gorenstein分次平坦模.因此由中间水平短正合列及引理2知,A是Gorenstein分次平坦模.

    (ⅰ)⇒(ⅲ)因为G1是Gorenstein分次平坦模,所以在R-gr中存在分次左R-模的短正合列0→G1F1H→0,其中F1是分次平坦模,H是Gorenstein分次平坦模.考虑G1F1G1G0的推出,如图 4所示. 图 4右侧垂直短正合列中,G0H是Gorenstein分次平坦模.因为R是左分次GF-封闭环,所以D是Gorenstein分次平坦模.因此在R-gr中存在分次左R-模的短正合列0→DFG→0,其中F是分次平坦模,G是Gorenstein分次平坦模.

    考虑DFDM的推出,如图 5所示.下面证明F′是分次平坦模.考虑短正合列0→MF′G→0.设I是分次内射右R-模.由长正合序列

    我们得到Tor1R(IF′)=0.

    考虑短正合序列0→F1FF′→0.得短正合列0→(F′)+F+→(F1)+→0.因为FF1是分次平坦左R-模,所以由文献[10]的引理2.1和定理3.5知,F+和(F1)+是分次内射右R-模.由Tor1R(IF′)=0及文献[11]的引理2.1得

    因此序列0→(F′)+F+→(F1)+→0可裂.故(F′)+是分次内射右R-模F+的直和项,所以(F′)+是分次内射右R-模.由文献[10]的引理2.1和定理3.5知,F′是分次平坦左R-模.在短正合列0→MF′G→0中,由引理1知,M是Gorenstein分次平坦模.

    (ⅲ)⇒(ⅰ)考虑R-gr中分次左R-模的短正合列0→ABC→0,其中AC是Gorenstein分次平坦模,下面证明B是Gorenstein分次平坦模.设I是分次内射右R-模.用IR-作用短正合列0→ABC→0,得到长正合序列

    因为AC是Gorenstein分次平坦模,所以由引理2知,对任意的i>0,有ToriR(IB)=0.因为C是Gorenstein分次平坦模,所以在R-gr中存在分次左R-模的短正合列0→GFC→0,其中F是分次平坦模,G是Gorenstein分次平坦模.考虑FCBC的拉回,如图 6所示.因为A是Gorenstein分次平坦模,所以在R-gr中存在分次左R-模的短正合列0→AF′G′→0,其中F′是分次平坦模,G′是Gorenstein分次平坦模.

    考虑AF′AD的拉回,如图 7所示. 图 7中间水平短正合列中,因为F′F是分次平坦模,所以D是分次平坦模.由右侧垂直短正合列及引理2知,D是Gorenstein分次平坦模.最后,我们考虑短正合列0→GDB→0.因为GD是Gorenstein分次平坦模,且对任意的i>0及任意的分次内射右R-模I,Tor1R(IM)=0.所以由(ⅲ)知,B是Gorenstein分次平坦模.故RGF-封闭环.

    推论1  设R是左分次GF-封闭环,那么gr-$\mathscr{G}$$\mathscr{F}$(R)关于分次直和项封闭.

      因为gr-$\mathscr{G}$$\mathscr{F}$(R)是投射可解类,所以由文献[12]的命题1.4知,只需说明gr-$\mathscr{G}$$\mathscr{F}$(R-)关于分次直和封闭即可.由文献[3]的推论2.11知结论成立.

Figure (7)  Reference (12)

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return