Related papers: Bounds on Gorenstein Dimensions and Exceptional Co…
It is proved that a map $\varphi\colon R\to S$ of commutative noetherian rings that is essentially of finite type and flat is locally complete intersection if and only $S$ is proxy small as a bimodule. This means that the thick subcategory…
Let $G$ be a group and $R$ be a ring. We define the Gorenstein homological dimension of $G$ over $R$, denoted by ${\rm Ghd}_{R}G$, as the Gorenstein flat dimension of trivial $RG$-module $R$. It is proved that ${\rm Ghd}_SG \leq {\rm…
We give characterizations of Gorenstein projective, Gorenstein flat and Gorenstein injective modules over the group algebra for large families of infinite groups and show that every weak Gorenstein projective, weak Gorenstein flat and weak…
Let $(R,\frak m)$ be a commutative Noetherian local ring and let $M$ and $N$ be finitely generated $R$-modules of finite injective dimension and finite Gorenstein injective dimension, respectively. In this paper we prove a generalization of…
It is proved that if one of the finite modules M and N, over a local ring R, has reducible complexity and has finite Gorenstein dimension then the depth formula holds, provided TorR_i(M,N) = 0 for i>>0. We also study the vanishing of…
We prove that for all noetherian rings, the level of any homologically bounded complex $M$ with respect to the collection of projective or injective modules is bounded above by the projective dimension of $\bigoplus H(M)$ plus one or the…
It is proved that a module $M$ over a Noetherian local ring $R$ of prime characteristic and positive dimension has finite flat dimension if Tor$_i^R({}^e R, M)=0$ for dim $R$ consecutive positive values of $i$ and infinitely many $e$. Here…
In this note, we study commutative Noetherian local rings having finitely generated modules of finite Gorenstein injective dimension. In particular, we consider whether such rings are Cohen-Macaulay.
Let $(R,\m)$ and $(S,\n)$ be commutative Noetherian local rings, and let $\phi:R\to S$ be a flat local homomorphism such that $\m S = \n$ and the induced map on residue fields $R/\m \to S/\n$ is an isomorphism. Given a finitely generated…
Let $M$ denote a finitely generated module over a Noetherian ring $R$. For an ideal $I \subset R$ there is a study of the endomorphisms of the local cohomology module $H^g_I(M), g = \operatorname{grade} (I,M),$ and related results. Another…
We define, via Gorenstein homomorphisms, a class of local rings over which there exist non-trivial totally reflexive modules. We also provide a general construction of such rings, which indicates their abundance.
We study rings which have Noetherian cohomology under the action of a ring of cohomology operators. The main result is a criterion for a complex of modules over such a ring to have finite injective dimension. This criterion generalizes, by…
It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and…
Consider a finite dimensional vector space $V$ over a finite field $\mathbb{F}_q$. We give a minimal generating set for the ring of invariants $\mathbb{F}_q[V \oplus V^*]^{\text{GL}(V)}$, and show that this ring is a Gorenstein ring but is…
In this paper, it is proved that a commutative noetherian local ring admitting a finitely generated module of finite projective and injective dimensions with respect to a semidualizing module is Gorenstein. This result recovers a celebrated…
For any group $G$, the Gorenstein homological dimension ${\rm Ghd}_RG$ is defined to be the Gorenstein flat dimension of the coefficient ring $R$, which is considered as an $RG$-module with trivial group action. We prove that ${\rm Ghd}_RG…
Suppose $R$ is a $\mathbb{Q}$-Gorenstein $F$-finite and $F$-pure ring of prime characteristic $p>0$. We show that if $I\subseteq R$ is a compatible ideal (with all $p^{-e}$-linear maps) then there exists a module finite extension $R\to S$…
Let $R$ be a commutative Noetherian local ring with residue field $k$. Using the structure of Vogel cohomology, for any finitely generated module $M$, we introduce a new dimension, called $\zeta$-dimension, denoted by $\zeta-dim_R M$. This…
A semi-dualizing module over a commutative noetherian ring A is a finitely generated module C with RHom_A(C,C) \simeq A in the derived category D(A). We show how each such module gives rise to three new homological dimensions which we call…
Let $R$ be a commutative Noetherian ring with non-zero identity and $\fa$ an ideal of $R$. Let $M$ be a finite $R$--module of of finite projective dimension and $N$ an arbitrary finite $R$--module. We characterize the membership of the…