known as the left big finitistic projective dimension of A, is finite. Here pdM denotes the projective dimension of M . Unfortunately, this number is not known to be finite even if A is a finite dimensional algebra over a field, where, indeed, its finiteness is a celebrated conjecture. On the other hand, for such an algebra, finite flat certainly implies finite projective dimension, simply beca...

In this paper, we show the existence of copure injective preenvelopes over noetherian rings and copure flat preenvelopes over commutative artinian rings. We use this to characterize n-Gorenstein rings. As a consequence, if the full subcategory of strongly copure injective (respectively flat) modules over a left and right noetherian ring R has cokernels (respectively kernels), then R is 2-Gorens...

Let $(R, m)$ be a commutative noetherian local ring and let $Gamma$ be a finite group. It is proved that if $R$ admits a dualizing module, then the group ring $Rga$ has a dualizing bimodule as well. Moreover, it is shown that a finitely generated $Rga$-module $M$ has generalized Gorenstein dimension zero if and only if it has generalized Gorenstein dimension zero as an $R$-module.

We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify two special cases of a question of Takahashi and White.

In this paper, we establish, as a generalization of a result on the classical homological dimensions of commutative rings, an upper bound on the Gorenstein global dimension of commutative rings using the global cotorsion dimension of rings. We use this result to compute the Gorenstein global dimension of some particular cases of trivial extensions of rings and of group rings.

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived category of flat sheaves we extend several results about totally acyclic complexes of projective modules to schemes; for example, we prove that a scheme is Goren...

R ring (always commutative and Noetherian) (R,m,k) local ring with maximal ideal m and k = R/m L,M,N, . . . R-modules (always finitely generated) M HomR(M,R), the dual of M D(M) the Auslander dual of M (Definition 2) σM : M wM∗∗ the natural evaluation map; KM = Ker(σM ), CM = Coker(σM ) G-dimR(M),G-dim(M) Gorenstein dimension of M (Definition 16) G-dim(M) <loc ∞ M has locally finite Gorenstein ...

We characterize the cd-indices of Gorenstein* posets of rank 5, equivalently the flag f -vectors of Gorenstein* order complexes of dimension 3. As a corollary, we characterize the f -vectors of Gorenstein* order complexes in dimensions 3 and 4. This characterization rise a speculated intimate connection between the f -vectors of flag homology spheres and the f -vectors of Gorenstein* order comp...