In this paper, we study a particular case of Gorenstein projective, injective, and flat modules, which we call, respectively, strongly Gorenstein projective, injective, and flat modules. These last three classes of modules give us a new characterization of the first modules, and confirm that there is an analogy between the notion of “Gorenstein projective, injective, and flat modules”and the no...

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

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

It was proved by Beligiannis and Krause that over certain Artin algebras, there are Gorenstein flat modules which are not direct limits of finitely generated Gorenstein projective modules. That is, these algebras have no Gorenstein analogue of the Govorov-Lazard Theorem. We show that, in fact, there is a large class of rings without such an analogue. Namely, let R be a commutative local noether...

We will introduce the notion of Gorenstein category as the convenient setup for doing Gorenstein Homological Algebra in categories of sheaves, or in general in categories without enough projective objects. We will illustrate this notion by showing that the category of Qcoh(X) of quasi-coherent sheaves on a locally Gorenstein projective scheme fits into this setup. Then we will focus on the cate...

The principle “Every result in classical homological algebra should have a counterpart in Gorenstein homological algebra” was given by Henrik Holm. There is a remarkable body of evidence supporting this claim. Perhaps one of the most glaring exceptions is provided by the fact that tensor products of Gorenstein projective modules need not be Gorenstein projective, even over Gorenstein rings. So ...

We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory ω of an abelian category. We introduce the Frobenius category of ω-Cohen-Macaulay objects, and under some reasonable conditions, we show that the stable category of ω-Cohen-Macaulay objects is triangle-equivalent to the relative singularity category. As applications, we relate the stable cat...

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, second, and third change of rings theorems for the classical projective and injective dimensions to the Gorenstein projective and injective dimensions, respectively. Each of the results est...

In 1966 [1], Auslander introduced a class of finitely generated modules having a certain complete resolution by projective modules. Then using these modules, he defined the G-dimension (G ostensibly for Gorenstein) of finitely generated modules. It seems appropriate then to call the modules of G-dimension 0 the Gorenstein projective modules. In [4], Gorenstein projective modules (whether finite...