As we know,a complex P is projective if and only if P is exact with Z_n(P)projective in R-Mod for each n∈Z and any morphism f:P→C is null homotopic for any complex C.In this article,we study the notion of DG-Gorenst...As we know,a complex P is projective if and only if P is exact with Z_n(P)projective in R-Mod for each n∈Z and any morphism f:P→C is null homotopic for any complex C.In this article,we study the notion of DG-Gorenstein projective complexes.We show that a complex G is DG-Gorenstein projective if and only if G is exact with Z_n(G)Gorenstein projective in R-Mod for each n∈Z and any morphism f:G→Q is null homotopic whenever Q is a DG-projective complex.展开更多
基金Supported by the National Natural Science Foundation of China(2061061)Fundamental Research Funds for the Central Universities(31920190054)+1 种基金Funds for Talent Introduction of Northwest Minzu University(XBMUYJRC201406)First-Rate Discipline of Northwest Minzu University。
文摘As we know,a complex P is projective if and only if P is exact with Z_n(P)projective in R-Mod for each n∈Z and any morphism f:P→C is null homotopic for any complex C.In this article,we study the notion of DG-Gorenstein projective complexes.We show that a complex G is DG-Gorenstein projective if and only if G is exact with Z_n(G)Gorenstein projective in R-Mod for each n∈Z and any morphism f:G→Q is null homotopic whenever Q is a DG-projective complex.
