let r be a commutative noetherian ring. we study the behavior of injectiveand at dimension of r-modules under the functors homr(-,-) and -×r-.

let r be a right gf-closed ring with finite left and right gorenstein global dimension. we prove that if i is an ideal of r such that r/i is a semi-simple ring, then the gorensntein flat dimensnion of r/i as a right r-module and the gorensntein injective dimensnnion of r/i as a left r-module are identical. in particular, we show that for a simple module s over a commutative gorensntein ring r, ...

Let R be a right GF-closed ring with finite left and right Gorenstein global dimension. We prove that if I is an ideal of R such that R/I is a semi-simple ring, then the Gorensntein flat dimensnion of R/I as a right R-module and the Gorensntein injective dimensnnion of R/I as a left R-module are identical. In particular, we show that for a simple module S over a commutative Gorensntein ring R, ...

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

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

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.