Related papers: Gorenstein Syzygy Modules
Let $R\subset A$ be a Frobenius extension of rings. We prove that: (1) for any left $A$-module $M$, $_{A}M$ is Gorenstein projective (injective) if and only if the underlying left $R$-module $_{R}M$ is Gorenstein projective (injective). (2)…
We prove that for a Frobenius extension, if a module over the extension ring is Gorenstein projective, then its underlying module over the the base ring is Gorenstein projective; the converse holds if the Frobenius extension is either…
Let $R$ be a two-sided noetherian ring and $M$ be a nilpotent $R$-bimodule, which is finitely generated on both sides. We study Gorenstein homological properties of the tensor ring $T_R(M)$. Under certain conditions, the ring $R$ is…
Let R be a commutative Noetherian local ring. We show that R is Gorenstein if and only if every finitely generated R-module can be embedded in a finitely generated R-module of finite projective dimension. This extends a result of Auslander…
An A-module M will be said to be semi-Gorenstein-projective provided that Ext^i(M,A) = 0 for all i > 0. All Gorenstein-projective modules are semi-Gorenstein-projective and only few and quite complicated examples of…
Let R be a commutative Noetherian local ring with residue class field k. In this paper, we mainly investigate direct summands of the syzygy modules of k. We prove that R is regular if and only if some syzygy module of k has a semidualizing…
Let $R$ be a ring. It is proved that $(\mathcal{GP}(R), \mathcal{GP}(R)^\bot)$ is a complete hereditary cotorsion pair, where $\mathcal{GP}(R)$ denotes the class of the Gorenstein projective left $R$-modules. Then we get that each left…
Let $R$ be a noetherian algebra over a Cohen--Macaulay ring admitting a canonical module, and assume that $R$ is maximal Cohen--Macaulay over the base ring. We provide a characterization of when $R$ is left weakly Gorenstein. We further…
In this paper, we focus on $n$-syzygy modules and the injective cogenerator determined by the minimal injective resolution of a noether ring. We study the properties of $n$-syzygy modules and a category $R_n(\mod R)$ which includes the…
For a tensor ring $T_R(M)$, under certain conditions, we characterize the Gorenstein projective modules over $T_R(M)$, and prove that a $T_R(M)$-module $(X,u)$ is Gorenstein projective if and only if $u$ is monomorphic and ${\rm coker}(u)$…
For a commutative ring R and a faithfully flat R-algebra S we prove, under mild extra assumptions, that an R-module M is Gorenstein flat if and only if the left S-module S\otimes M is Gorenstein flat, and that an R-module N is Gorenstein…
This paper generalize the idea of the authors in J. Pure Appl. Algebra 210 (2007) 437--445. Namely, we define and study a particular case of Gorenstein projective modules. We investigate some change of rings results for this new kind of…
Let $\varphi\colon R \rightarrow A$ be a finite ring homomorphism, where $R$ is a two-sided Noetherian ring, and let $M$ be a finitely generated left $A$-module. Under suitable homological conditions on $A$ over $R$, we establish a close…
Let $R$ be a left and right Noetherian ring. We introduce the notion of the torsionfree dimension of finitely generated $R$-modules. For any $n\geq 0$, we prove that $R$ is a Gorenstein ring with self-injective dimension at most $n$ if and…
We show that a differential module is Gorenstein projective if and only if its underlying module is Gorenstein projective. Dually, a differential module is Gorenstein injective if and only if its underlying module is Gorenstein injective.
Let $S$ be a deeply embedded, equicharacteristic, Artinian Gorenstein local ring. We prove that if $R$ is a non-Gorenstein quotient of $S$ of small colength, then every totally reflexive $R$-module is free. Indeed, the second syzygy of the…
A commutative noetherian ring with a dualizing complex is Gorenstein if and only if every acyclic complex of injective modules is totally acyclic. We extend this characterization, which is due to Iyengar and Krause, to arbitrary commutative…
We prove that the class of Gorenstein projective modules is special precovering over any left GF-closed ring such that every Gorenstein projective module is Gorenstein flat and every Gorenstein flat module has finite Gorenstein projective…
The existence of the Gorenstein projective precovers over arbitrary rings is an open question. It is known that if the ring has finite Gorenstein global dimension, then every module has a Gorenstein projective precover. We prove here a…
Let $(R, \mathfrak{m})$ be a Noetherian local ring. In this paper, we introduce a dual notion for dualizing modules, namely codualizing modules. We study the basic properties of codualizing modules and use them to establish an equivalence…