Gorenstein injective envelopes and covers over two sided noetherian rings

We prove that the class of Gorenstein injective modules is both enveloping and covering over a two sided noetherian ring such that the character modules of Gorenstein injective modules are Gorenstein flat. In the second part of the paper we consider the connection between the Gorenstein injective modules and the strongly cotorsion modules. We prove that when the ring R is commutative noetherian of finite Krull dimension, the class of Gorenstein injective modules coincides with that of strongly cotorsion modules if and only if the ring R is in fact Gorenstein.     

Gorenstein子范畴与相对奇点范畴

令A是阿贝尔范畴, T是A的一个自正交子范畴, 且T中每个对象均有有限投射维数和内射维数. 假设左Gorenstein子范畴lG(T)等于T的右正交类,且右Gorenstein子范畴rG(T)等于T的左正交类,我们证明了Gorenstein子范畴$G(T)$等于T的左正交类与T的右正交类之交,并且证明了它们的稳定范畴三角等价于A关于T的相对奇点范畴.作为应用,令$R$是有有限左自内射维数的左诺特环, $_RC_s$是半对偶化双模,且所有内射左$R$-模的平坦维数的上确界有限, 我们证明了 若$\mbox{}_RC$有有限内射（平坦）维数且$C$的右正交类包含$R$,则存在从$C$-Gorenstein投射模与关于$C$的Bass类的交到关于$C$-投射模的相对奇点范畴间的三角等价,推广了某些经典的结果.     

7c-Gorenstein Projective, ;Cc-Gorenstein Injectiveand Wcr-Gorenstei丨丨 Flat Modules

The authors introduce and investigate the Tc-Gorenstein projective, Lc- Gorenstein injective and Hc-Gorenstein flat modules with respect to a semidualizing module C which shares the common properties with the Gorenstein projective, injective and flat modules, respectively. The authors prove that the classes of all the Tc-Gorenstein projective or the Hc-Gorenstein flat modules are exactly those Gorenstein projective or flat modules which are in the Auslander class with respect to C, respectively, and the classes of all the Lc-Gorenstein ＇injective modules are exactly those Gorenstein injective modules which are in the Bass class, so the authors get the relations between the Gorenstein projective, injective or flat modules and the C-Gorenstein projective, injective or flat modules. Moreover, the authors consider the Tc（R）-projective and Lc（R）-injective dimensions and Tc（R）-precovers and Lc（R）-preenvelopes. Fiually, the authors study the Hc-Gorenstein flat modules and extend the Foxby equivalences.     

强W-Gorenstein 复形

对自正交模类$\mathcal{W}$,引入了强$\mathcal{W}$-Gorenstein复形的概念.给出了强$\mathcal{W}$-Gorenstein复形的刻画,并将其应用到强Gorenstein内射复形.     

正交类和相对Gorenstein模

在这篇论文中,我们研究了$\mathcal{A}$-Gorenstein投射模类和$\mathcal{A}$的左正交模类之间的关系,以及$\mathcal{A}$-Gorenstein内射模类和A的右正交模类之间的关系.我们得到了$\mathcal{A}$-Gorenstein投射模和$\mathcal{A}$-Gorenstein内射模的一些函子刻画.以完备对偶对为工具,我们讨论了$\mathcal{A}$-Gorenstein投射模和$\mathcal{B}$-Gorenstein平坦模之间的关系,并推广了一些已知结论.     

相对于半对偶化模的Gorenstein同调维数与Auslander范畴

设$R$是一个局部noether环. 我们在本文中研究了相对于半对偶化模$C$的Gorenstein投射, 内射与平坦模. 给出了$C$-Gorenstein同调维数与$\hat{R}$的Auslander范畴之间的关系.     

关于余挠三元组的余星子范畴和余倾斜子范畴

设$\mathcal{A}$ 是一个Abel范畴,且 $(\mathcal{X}, \mathcal{Z},\mathcal{Y})$ 是一个完全遗传余挠三元组.介绍 $\mathcal{A}$ 的 $n$-$\mathcal{Y}$-余倾斜子范畴的定义,并给出 $n$-$\mathcal{Y}$-余倾斜子范畴的一个刻画,类似于 $n$-余倾斜模的 Bazzoni 刻画.作为应用,证明了在一个几乎 Gorenstein 环 $R$ 上, 如果 $\mathcal{GP}$ 是 $n$-$\mathcal{GI}$-余倾斜的, 那么 $R$ 是一个 $n$-Gorenstein 环, 其中 $\mathcal{GP}$ 表示 Gorenstein 投射 $R$-模组成的子范畴且 $\mathcal{GI}$ 表示 Gorenstein 内射 $R$-模组成的子范畴. 进而, 研究 任意环$R$上的$n$-余星子范畴, 以及关于余挠三元组 $(\mathcal{P}, R$-Mod, $\mathcal{I})$ 的 $n$-$\mathcal{I}$-子范畴与 $n$-余星子范畴之间的关系, 其中 $\mathcal{P}$ 表示投射左 $R$-模组成的子范畴且 $\mathcal{I}$ 表示内射左 $R$-模组成的子范畴.     

Another Gorenstein analogue of flat modules

A right R-module M is called glat if any homomorphism from any finitely presented right R-module to M factors through a finitely presented Gorenstein projective right R-module. The concept of glat modules may be viewed as another Gorenstein analogue of flat modules. We first prove that the class of glat right R-modules is closed under direct sums, direct limits, pure quotients and pure submodules for arbitrary ring R. Then we obtain that a right R-module M is glat if and only if M is a direct limit of finitely presented Gorenstein projective right R-modules. In addition, we explore the relationships between glat modules and Gorenstein flat (Gorenstein projective) modules. Finally we investigate the existence of preenvelopes and precovers by glat and finitely presented Gorenstein projective modules.     

Relative Gorenstein injective covers with respect to a semidualizing module

Let R be a commutative Noetherian ring and let C be a semidualizing R-module. We prove a result about the covering properties of the class of relative Gorenstein injective modules with respect to C which is a generalization of Theorem 1 by Enochs and Iacob (2015). Specifically, we prove that if for every G _C -injective module G, the character module G ⁺ is G _C -flat, then the class \(\mathcal{GI}_{C}(R)\cap\mathcal{A}_C(R)\) is closed under direct sums and direct limits. Also, it is proved that under the above hypotheses the class \(\mathcal{GI}_{C}(R)\cap\mathcal{A}_C(R)\) is covering.     

Tate Homology of Modules of Finite Gorenstein Flat Dimension

We introduce and investigate Tate homology $\widehat{{\mbox{\rm tor}}}$ of modules of finite Gorenstein flat dimension. In particular, we show that over a right coherent ring R, $\widehat{{\mbox{\rm tor}}}_{i}^{R}(M,N)\cong\widehat{{\mbox{\rm Tor}}}_{i}^{R}(M,N)$ for any right R-module M of finite Gorenstein projective dimension, any R-module N of finite Gorenstein flat dimension and any i?∈??. We also study the Tate homology $\widehat{{\mbox{\rm tor}}}$ of a cotorsion module of finite Gorenstein flat dimension in the paper.     

$\mathcal{F}$-Perfect Rings and Modules

Let $R$ be a ring, and let $(\mathcal{F}, C)$ be a cotorsion theory. In this article, the notion of $\mathcal{F}$-perfect rings is introduced as a nontrial generalization of perfect rings and A-perfect rings. A ring $R$ is said to be right $\mathcal{F}$-perfect if $F$ is projective relative to $R$ for any $F ∈ \mathcal{F}$. We give some characterizations of $\mathcal{F}$-perfect rings. For example, we show that a ring $R$ is right $\mathcal{F}$-perfect if and only if $\mathcal{F}$-covers of finitely generated modules are projective. Moreover, we define $\mathcal{F}$-perfect modules and investigate some properties of them.     

On Stability of Gorenstein Categories

We show that an iteration of the procedure used to define the Gorenstein projective modules over a ring R yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective left R-modules G = … → G ₁ → G ₀ → G ⁰ → G ¹ → … such that the complex Hom _R (G, H) is exact for each projective left R-module H, the module Im(G ₀ → G ⁰) is Gorenstein projective. We also get similar results for Gorenstein flat left R-modules when R is a right coherent ring. As applications, we obtain the corresponding results for Gorenstein complexes.     

Gorenstein Injective and Gorenstein Flat Resolution of Modules Over Gorenstein Rings

Abstract

Let R be a commutative Noetherian ring. There are several characterizations of Gorenstein rings in terms of classical homological dimensions of their modules. In this paper, we use Gorenstein dimensions (Gorenstein injective and Gorenstein flat dimension) to describe Gorenstein rings. Moreover a characterization of Gorenstein injective (resp. Gorenstein flat) modules over Gorenstein rings is given in terms of their Gorenstein flat (resp. Gorenstein injective) resolutions.     

Gorenstein projective dimensions of complexes

We show that over a right coherent left perfect ring R, a complex C of left R-modules is Gorenstein projective if and only if C ^m is Gorenstein projective in R-Mod for all m ∈ ℤ. Basing on this we show that if R is a right coherent left perfect ring then Gpd(C) = sup{Gpd(C ^m )|m ∈ ℤ} where Gpd(−) denotes Gorenstein projective dimension.     

Gorenstein Modules and Auslander Categories

In this article, some new characterizations of Gorenstein projective, injective, and flat modules over commutative noetherian local rings are given.     

Virtually Gorenstein rings and relative homology of complexes

We extend the notion of virtually Gorenstein rings to the setting of arbitrary rings, and prove that all rings R of finite Gorenstein weak global dimension are virtually Gorenstein such that all Gorenstein projective R-modules are Gorenstein flat. For such a ring R, we introduce the notion of relative homology functors of complexes with respect to Gorenstein projective (resp., flat) modules, and establish a balanced and a vanishing result for the homology functor.     

New results related to a conjecture of Moore

Let Γ be a group, Γ′ be a subgroup of Γ of finite index, and R be a ring with identity. Assume that M is an RΓ-module whose restriction to RΓ′ is projective. Moore’s conjecture: Assume that, for all ${x \in (\Gamma-\Gamma^{\prime})}$ , either there is an integer n such that ${1 \neq x^{n} \in \Gamma^{\prime}}$ or x has finite order and is invertible in R. Then M is also projective over RΓ. In this paper, we consider an analogue of this conjecture for injective modules. It turns out that the validity of the conjecture for injective modules implies the validity of it on projective and flat modules. It is also shown that the conjecture for injective modules is true whenever Γ belongs to Kropholler’s hierarchy ${{\bf LH}\mathfrak{F}}$ . In addition, assume that M is an RΓ-module whose restriction to RΓ′ is Gorenstein projective (resp. injective), it is proved that M is Gorenstein projective (resp. injective) over RΓ whenever Γ′ is a subgroup of Γ of finite index.     

Köthe’s upper nil radical for modules

Let M be a left R-module. In this paper a generalization of the notion of an s-system of rings to modules is given. Let N be a submodule of M. Define $\mathcal{S}(N):=\{ {m\in M}:\, \mbox{every } s\mbox{-system containing } m \mbox{ meets}~N \}$ . It is shown that $\mathcal{S}(N)$ is equal to the intersection of all s-prime submodules of M containing N. We define $\mathcal{N}({}_{R}M) = \mathcal{S}(0)$ . This is called (Köthe’s) upper nil radical of M. We show that if R is a commutative ring, then $\mathcal{N}({}_{R}M) = {\mathop{\mathrm{rad}}\nolimits}_{R}(M)$ where ${\mathop{\mathrm{rad}}\nolimits}_{R}(M)$ denotes the prime radical of M. We also show that if R is a left Artinian ring, then ${\mathop{\mathrm{rad}}\nolimits}_{R}(M)=\mathcal{N}({}_{R}M)= {\mathop{\mathrm{Rad}}\nolimits}\, (M)= {\mathop{\mathrm{Jac}}\nolimits}\, (R)M$ where ${\mathop{\mathrm{Rad}}\nolimits}\, (M)$ denotes the Jacobson radical of M and ${\mathop{\mathrm{Jac}}\nolimits}\, (R)$ the Jacobson radical of the ring R. Furthermore, we show that the class of all s-prime modules forms a special class of modules.     

Gorenstein derived functors

Over any associative ring it is standard to derive using projective resolutions in the first variable, or injective resolutions in the second variable, and doing this, one obtains in both cases. We examine the situation where projective and injective modules are replaced by Gorenstein projective and Gorenstein injective ones, respectively. Furthermore, we derive the tensor product using Gorenstein flat modules.

     

Modules with Cosupport and Injective Functors

Several authors have studied the filtered colimit closure \varinjlimB\varinjlim\mathcal{B} of a class B\mathcal{B} of finitely presented modules. Lenzing called \varinjlimB\varinjlim\mathcal{B} the category of modules with support in B\mathcal{B}, and proved that it is equivalent to the category of flat objects in the functor category (B^op,Ab)(\mathcal{B}^\mathrm{op},\mathsf{Ab}). In this paper, we study the category (Mod-R)^B({\mathsf{Mod}\textnormal{-}R})^{\mathcal{B}} of modules with cosupport in B\mathcal{B}. We show that (Mod-R)^B({\mathsf{Mod}\textnormal{-}R})^{\mathcal{B}} is equivalent to the category of injective objects in (B,Ab)(\mathcal{B},\mathsf{Ab}), and thus recover a classical result by Jensen-Lenzing on pure injective modules. Works of Angeleri-Hügel, Enochs, Krause, Rada, and Saorín make it easy to discuss covering and enveloping properties of (Mod-R)^B({\mathsf{Mod}\textnormal{-}R})^{\mathcal{B}}, and furthermore we compare the naturally associated notions of B\mathcal{B}-coherence and B\mathcal{B}-noetherianness. Finally, we prove a number of stability results for \varinjlimB\varinjlim\mathcal{B} and (Mod-R)^B({\mathsf{Mod}\textnormal{-}R})^{\mathcal{B}}. Our applications include a generalization of a result by Gruson-Jensen and Enochs on pure injective envelopes of flat modules.