For an (n− 1)-Auslander algebra Λ with global dimension n, we give some necessary conditions for Λ admitting a maximal (n − 1)-orthogonal subcategory in terms of the properties of simple Λ-modules with projective dimension n − 1 or n. For an almost hereditary algebra Λ with global dimension 2, we prove that Λ admits a maximal 1orthogonal subcategory if and only if for any non-projective indecom...

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

It is proved that EJ is injective if E is an injective module over a valuation ring R, for each prime ideal J 6= Z. Moreover, if E or Z is flat, then EZ is injective too. It follows that localizations of injective modules over h-local Prüfer domains are injective too. If S is a multiplicative subset of a noetherian ring R, it is well known that SE is injective for each injective R-module E. The...

The concepts of free modules, projective modules, injective modules and the likeform an important area in module theory. The notion of free fuzzy modules was introducedby Muganda as an extension of free modules in the fuzzy context. Zahedi and Ameriintroduced the concept of projective and injective L-modules. In this paper we give analternate definition for projective L-modules. We prove that e...

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