For a local commutative Gorenstein ring R,Enochs et al.in[Gorenstein projective resolvents,Comm.Algebra 44(2016)3989-4000)defined a functor Extn^(R)(-,-)and showed that this functor can be computed by taking a totally...For a local commutative Gorenstein ring R,Enochs et al.in[Gorenstein projective resolvents,Comm.Algebra 44(2016)3989-4000)defined a functor Extn^(R)(-,-)and showed that this functor can be computed by taking a totally acyclic complex arising from a projective coresolution of the first component or a totally acyclic complex arising from a projective resolution of the second component.In order to define the functor Extn^(R)(-,-)over general rings,we introduce the right Gorenstein projective dimension of an R-module M,RGpd(M),via Gorenstein projective coresolutions,and give some equivalent characterizations for the finiteness of RGpd(M).Then over a general ring R we define a co-Tate homology group Extn^(R)(-,-) for R-modules M and N with RGpd(M)<oo and Gpd(N)<∞,and prove that Extn^(R)(M,N)can be computed by complete projective coresolutions of the first variable or by complete projective resolutions of the second variable.展开更多
Let(C,E,s)be an extriangulated category with a proper classξof E-triangles,and W an additive full subcategory of(C,E,s).We provide a method for constructing a proper W(ξ)-resolution(resp.,coproper W(ξ)-coresolution...Let(C,E,s)be an extriangulated category with a proper classξof E-triangles,and W an additive full subcategory of(C,E,s).We provide a method for constructing a proper W(ξ)-resolution(resp.,coproper W(ξ)-coresolution)of one term in an E-triangle inξfrom that of the other two terms.By using this way,we establish the stability of the Gorenstein category GW(ξ)in extriangulated categories.These results generalize the work of Z.Y.Huang[J.Algebra,2013,393:142–169]and X.Y.Yang and Z.C.Wang[Rocky Mountain J.Math.,2017,47:1013–1053],but the proof is not too far from their case.Finally,we give some applications about our main results.展开更多
基金Supported by National Natural Science Foundation of China(Grant No.11971388).
文摘For a local commutative Gorenstein ring R,Enochs et al.in[Gorenstein projective resolvents,Comm.Algebra 44(2016)3989-4000)defined a functor Extn^(R)(-,-)and showed that this functor can be computed by taking a totally acyclic complex arising from a projective coresolution of the first component or a totally acyclic complex arising from a projective resolution of the second component.In order to define the functor Extn^(R)(-,-)over general rings,we introduce the right Gorenstein projective dimension of an R-module M,RGpd(M),via Gorenstein projective coresolutions,and give some equivalent characterizations for the finiteness of RGpd(M).Then over a general ring R we define a co-Tate homology group Extn^(R)(-,-) for R-modules M and N with RGpd(M)<oo and Gpd(N)<∞,and prove that Extn^(R)(M,N)can be computed by complete projective coresolutions of the first variable or by complete projective resolutions of the second variable.
基金This work was supported in part by the National Natural Science Foundation of China(Grant Nos.11771212,11901190,11671221)Qing Lan Project of Jiangsu Province,Jiangsu Government Scholarship for Overseas Studies(Grant No.JS-2019-328)+1 种基金Hunan Provincial Natural Science Foundation of China(Grant No.2018JJ3205)Scientific Research Fund of Hunan Provincial Education Department(Grant No.19B239).
文摘Let(C,E,s)be an extriangulated category with a proper classξof E-triangles,and W an additive full subcategory of(C,E,s).We provide a method for constructing a proper W(ξ)-resolution(resp.,coproper W(ξ)-coresolution)of one term in an E-triangle inξfrom that of the other two terms.By using this way,we establish the stability of the Gorenstein category GW(ξ)in extriangulated categories.These results generalize the work of Z.Y.Huang[J.Algebra,2013,393:142–169]and X.Y.Yang and Z.C.Wang[Rocky Mountain J.Math.,2017,47:1013–1053],but the proof is not too far from their case.Finally,we give some applications about our main results.
