Let φ : (R, m)→ (S, n) be a local homomorphism of commutative noetherian local rings. Suppose that M is a finitely generated S-module. A generalization of Grothendieck’s non-vanishing theorem is proved for M (i.e. the Krull dimension of M over R is the greatest integer i for which the ith local cohomology module of M with respect to m, Hi m(M), is non-zero). It is also proved that the Gorenstei...

Motivated by their impact on homological algebra, the change of rings results have been the subject of several interesting works in Gorenstein homological algebra over Noetherian rings. In this paper, we investigate the change of rings theorems for the Gorenstein dimensions over arbitrary rings. Namely, by the use of the notion of strongly Gorenstein modules, we extend the well-known first, sec...

Let (R,m, k) be a noetherian local ring. It is well-known that R is regular if and only if the injective dimension of k is finite. In this paper it is shown that R is Gorenstein if and only if the Gorenstein injective dimension of k is finite. On the other hand a generalized version of the so-called Bass formula is proved for finitely generated modules of finite Gorenstein injective dimension. ...

Let R be a ring with identity and C(R) denote the category of complexes of R-modules. In this paper we study the homotopy categories arising from projective (resp. injective) complexes as well as Gorenstein projective (resp. Gorenstein injective) modules. We show that the homotopy category of projective complexes over R, denoted K(Prj C(R)), is always well generated and is compactly generated p...

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...

Gillespie posed two questions in [Front. Math. China 12 (2017) 97-115], one of which states that “for what rings R do we have K(AC)=K(R-Inj)?”. We give an answer to such a question. As applications, obtain new homological approach unifies some well-known conditions Krause’s recollement holds, and example show there exists Gorenstein injective module is not AC-injective. also improve Neeman’s an...

Let R be a commutative noetherian ring and Γ a finite group. In this paper,we study Gorenstein homological dimensions of modules with respect to a semi-dualizing module over the group ring  . It is shown that Gorenstein homological dimensions  of an  -RΓ module M with respect to a semi-dualizing module,  are equal over R and RΓ  .

In this article we study injective representations of infinite quivers. We classify the indecomposable injective representations of trees and then describe Gorenstein injective and projective representations of barren trees.

Unlike the Gorenstein projective and injective dimensions, the majority of results on the Gorenstein flat dimension have been established only over Noetherian (or coherent) rings. Naturally, one would like to generalize these results to any associative ring. In this direction, we show that the Gorenstein flat dimension is a refinement of the classical flat dimension over any ring; and we invest...