Given a homomorphism of commutative noetherian rings R → S and an S–module N , it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is finitely generated over S, the Gorenstein flat dimension equals sup {m ∈ Z | TorRm(E,N) 6= 0}, where E is the injective hull of the residue field of R. This r...

A semi-dualizing module over a commutative noetherian ringA is a finitely generated module C with RHomA(C,C) ≃ A in the derived category D(A). We show how each such module gives rise to three new homological dimensions which we call C–Gorenstein projective, C–Gorenstein injective, and C–Gorenstein flat dimension, and investigate the properties of these dimensions.

The theory of local homology modules was initiated by Matlis in 1974. It is a dual version of the theory of local cohomology modules. Mohammadi and Divaani-Aazar (2012) studied the connection between local homology and Gorenstein flat modules by using Gorenstein flat resolutions. In this paper, we introduce generalized local homology modules for complexes and we give several ways for computing ...

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 obtain some methods to construct a (strongly) proper resolution (resp. coproper coresolution) of one end term in a short exact sequence from that of the other two terms. By using this method, we prove that for a left and right Noetherian ring R, RR satisfies the Auslander condition if and only if so does every flat left R-module, if and only if the injective dimension of the ith term in a mi...

Let R be a homomorphic image of a Gorenstein local ring. Recent work has shown that there is a bridge between Auslander categories and modules of finite Gorenstein homological dimensions over R. We use Gorenstein dimensions to prove new results about Auslander categories and vice versa. For example, we establish base change relations between the Auslander categories of the source and target rin...

Let R be a ring and n a fixed positive integer, we investigate the properties of n-strongly Gorenstein projective, injective and flat modules. Using the homological theory , we prove that the tensor product of an n-strongly Gorenstein projective (flat) right R -module and projective (flat) left R-module is also n-strongly Gorenstein projective (flat). Let R be a coherent ring ,we prove that the...

We introduce a refinement of the Gorenstein flat dimension for complexes over an associative ring—the flat-cotorsion —and prove that it, unlike dimension, behaves as one expects homological without extra assumptions on ring. Crucially, we show it coincides with where latter is finite, and right coherent rings—the setting known to behave expected.

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