we investigate the relative cohomology and relative homology theories of $f$-gorenstein modules, consider the relations between classical and $f$-gorenstein (co)homology theories.

‎Let $C$ be a semidualizing module‎. ‎We first investigate the properties of‎ ‎finitely generated $G_C$-projective modules‎. ‎Then‎, ‎relative to $C$‎, ‎we introduce and study the rings over which‎ ‎every submodule of a projective (flat) module is $G_C$-projective (flat)‎, ‎which we call $C$-Gorenstein (semi)hereditary rings‎. ‎It is proved that every $C$-Gorenstein hereditary ring is both cohe...

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

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

In terms of the duality property of injective preenvelopes and flat precovers, we get an equivalent characterization of left Noetherian rings. For a left and right Noetherian ring R, we prove that the flat dimension of the injective envelope of any (Gorenstein) flat left R-module is at most the flat dimension of the injective envelope of RR. Then we get that the injective envelope of RR is (Gor...

We investigate the relative cohomology and relative homology theories of $F$-Gorenstein modules, consider the relations between classical and $F$-Gorenstein (co)homology theories.

In [Hov02], the second author introduced the Gorenstein projective and Gorenstein injective model structures on R-Mod, the category of R-modules, where R is any Gorenstein ring. These two model structures are Quillen equivalent and in fact there is a third equivalent structure we introduce; the Gorenstein flat model structure. The homotopy category with respect to each of these is called the st...

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