let r be an associative ring with identity, c(r) be the category of com-plexes of r-modules and flat(c(r)) be the class of all at complexes of r-modules. we show that the at cotorsion theory (flat(c(r)); flat(c(r))−)have enough injectives in c(r). as an application, we prove that for each atcomplex f and each complex y of r-modules, exti (f,x)= 0, whenever ris n-perfect and i > n.

Let $R$ be a commutative Noetherian ring. We prove that  over a local ring $R$ every finitely generated $R$-module $M$ of finite Gorenstein projective dimension has a Gorenstein projective cover$varphi:C rightarrow M$ such that $C$ is finitely generated and the projective dimension of $Kervarphi$ is finite and $varphi$ is surjective.

let $mathcal {a}$ be an abelian category with enough projective objects and $mathcal {x}$ be a full subcategory of $mathcal {a}$. we define gorenstein projective objects with respect to $mathcal {x}$ and $mathcal{y}_{mathcal{x}}$, respectively, where $mathcal{y}_{mathcal{x}}$=${ yin ch(mathcal {a})| y$ is acyclic and $z_{n}yinmathcal{x}}$. we point out that under certain hypotheses, these two g...

 In this paper, a new homological dimension of modules, copresented dimension, is defined. We study some basic properties of this homological dimension. Some ring extensions are considered, too. For instance, we prove that if $Sgeq R$ is a finite normalizing extension and $S_R$ is a projective module, then for each right $S$-module $M_S$, the copresented dimension of $M_S$ does not exceed the c...

In this paper, we introduce a new homological invariant called quasi-projective dimension, which is generalization of projective dimension. We discuss various properties Among other things, prove the following. (1) Over quotient regular local ring by sequence, every finitely generated module has finite (2) The Auslander--Buchsbaum formula and depth for modules dimension remain valid (3) Several...

This paper is a continuation of the papers J. Pure Appl. Algebra, 210 (2007), 437–445 and J. Algebra Appl., 8 (2009), 219–227. Namely, we introduce and study a doubly filtered set of classes of modules of finite Gorenstein projective dimension, which are called (n, m)-strongly Gorenstein projective ((n, m)-SG-projective for short) for integers n ≥ 1 and m ≥ 0. We are mainly interested in studyi...

It is a well-known result of Auslander and Reiten that contravariant finiteness the class P ∞ fin (of finitely generated modules finite projective dimension) over an Artin algebra sufficient condition for validity finitistic dimension conjectures. Motivated by fact dimensions can alternatively be computed Gorenstein dimension, we examine in this work counterpart Auslander–Reiten condition, name...

We study projective dimension, a graph parameter (denoted by pd(G) for a graph G), introduced by Pudlák and Rödl [13], who showed that proving lower bounds for pd(Gf ) for bipartite graphs Gf associated with a Boolean function f imply size lower bounds for branching programs computing f . Despite several attempts [13, 17], proving super-linear lower bounds for projective dimension of explicit f...