Relative Ding Projective Modules over Formal Triangular Matrix Rings

Let U be a (B, A)-bimodule, A and B be rings, and be a formal triangular matrix ring. In this paper, we characterize the structure of relative Ding projective modules over T under some conditions. Furthermore, using the left global relative Ding projective dimensions of A and B, we estimate the relative Ding projective dimension of a left T-module.

Strongly Ding projective modules with respect to a semidualizing module

This paper is a study of strongly Ding projective modules with respect to a semidualizing module. The class of strongly Ding flat modules with respect to a semidualizing module is also investigated, and the relationship between strongly Ding projective modules and strongly Ding flat modules with respect to a semidualizing module is characterized.Some well-known results on strongly Ding projective modules, n-strongly Ding projective modules and strongly D_C-projective modules are generalized and unified.

Singularity Categories with Respect to Ding Projective Modules

Abstract We introduce the singularity category with respect to Ding projective modules, Db dpsg（R）, as the Verdier quotient of Ding derived category Db DP（R） by triangulated subcategory Kb（DP）, and give some triangle equivalences. Assume DP is precovering. We show that Db DP（R） ≌K-,dpb（DP） and Dbpsg（R） ≌ DbDdefect（R）. We prove that each R-module is of finite Ding projective dimension if and only if Dbdpsg（R） = 0.

On Ding Projective Complexes

In the paper, Ding projective modules and Ding projective complexes are considered. In particular, it is proven that Ding projective complexes are precisely the complexes X for which each Xm is a Ding projective R-module for all m ∈ Z.

Generalized Gorenstein Modules

We introduce a generalization of the Gorenstein injective modules:the Gorenstein FPn-injective modules(denoted by GI_(n)).They are the cycles of the exact complexes of injective modules that remain exact when we apply a functor Hom(A,-),with A any FP_(n)-injective module.Thus,GL_(o)is the class of classical Gorenstein injective modules,and GI_(1)is the class of Ding injective modules.We prove that over any ring R,for any n≥2,the class GI_(n)is the right half of a perfect cotorsion pair,and therefore it is an enveloping class.For n=1 we show that GI_(1)(i.e.,the Ding injectives)forms the right half of a hereditary cotorsion pair.If moreover the ring R is coherent,then the Ding injective modules form an enveloping class.We also define the dual notion,that of Gorenstein FP_(n)-projectives(denoted by GP_(n)).They generalize the Ding projective modules,and so,the Gorenstein projective modules.We prove that for any n≥2 the class GP_(n)is the left half of a complete hereditary cotorsion pair,and therefore it is special precovering.