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

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 | Torm(E,N) 6= 0}, where E is the injective hull of the residue field of R. This re...

We study Gorenstein dimension and grade of a module M over a filtered ring whose assosiated graded ring is a commutative Noetherian ring. An equality or an inequality between these invariants of a filtered module and its associated graded module is the most valuable property for an investigation of filtered rings. We prove an inequality G-dimM ≤ G-dimgrM and an equality gradeM = grade grM , whe...

Let Λ be a quasi k-Gorenstein ring. For each dth syzygy module M in mod Λ (where 0 ≤ d ≤ k − 1), we obtain an exact sequence 0 → B → M ⊕ P → C → 0 in mod Λ with the properties that it is dual exact, P is projective, C is a (d + 1)st syzygy module, B is a dth syzygy of Ext Λ (D(M),Λ) and the right projective dimension of B ∗ is less than or equal to d − 1. We then give some applications of such ...

We show that a properly stratified algebra is Gorenstein if and only the characteristic tilting module coincides with cotilting module. further algebras A enjoy strong homological properties such as all projective modules being endomorphism rings End ( Δ i ) Frobenius algebras. apply our results to study of are minimal Auslander-Gorenstein in sense Iyama-Solberg calculate under suitable conditi...

 In this paper, a new homological dimension of modules, copresented dimension, is defined. We study some basic properties of this homological dimension. Some ring extensions are considered, too. For instance, we prove that if $Sgeq R$ is a finite normalizing extension and $S_R$ is a projective module, then for each right $S$-module $M_S$, the copresented dimension of $M_S$ does not exceed the c...

A Gorenstein sequence H is a sequence of nonnegative integers H = (1, h1, . . . , hj = 1) symmetric about j/2 that occurs as the Hilbert function in degrees less or equal j of a standard graded Artinian Gorenstein algebra A = R/I , where R is a polynomial ring in r variables and I is a graded ideal. The scheme PGor(H) parametrizes all such Gorenstein algebra quotients of R having Hilbert functi...