Gorenstein Injective Envelopes of Artinian Modules

Let R be a commutative Noetherian ring and A an Artinian R-module. We prove that if A has finite Gorenstein injective dimension, then A possesses a Gorenstein injective envelope which is special and Artinian. This, in particular, yields that over a Gorenstein ring any Artinian module possesses a Gorenstein injective envelope which is special and Artinian.     

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.     

Injective Envelopes and (Gorenstein) Flat Covers

We characterize left Noetherian rings in terms of the duality property of injective preenvelopes and flat precovers. For a left and right Noetherian ring R, we prove that the flat dimension of the injective envelope of any (Gorenstein) flat left R-module is at most the flat dimension of the injective envelope of _R R. Then we get that the injective envelope of _R R is (Gorenstein) flat if and only if the injective envelope of every Gorenstein flat left R-module is (Gorenstein) flat, if and only if the injective envelope of every flat left R-module is (Gorenstein) flat, if and only if the (Gorenstein) flat cover of every injective left R-module is injective, and if and only if the opposite version of one of these conditions is satisfied.     

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 Modules and Dualizing Modules

In this article, we study the characterizations of Gorenstein injective left S-modules and finitely generated Gorenstein projective left R-modules when there is a dualizing S-R-bimodule associated with a right noetherian ring R and a left noetherian ring S.     

Gorenstein injective and strongly cotorsion modules

By investigating the properties of some special covers and envelopes of modules, we prove that if R is a Gorenstein ring with the injective envelope of _R R flat, then a left R-module is Gorenstein injective if and only if it is strongly cotorsion, and a right R-module is Gorenstein flat if and only if it is strongly torsionfree. As a consequence, we get that for an Auslander-Gorenstein ring R, a left R-module is Gorenstein injective (resp. flat) if and only if it is strongly cotorsion (resp. torsionfree).     

On the Existence of Certain Modules of Finite Gorenstein Homological Dimensions

Let (R, 𝔪) be a commutative Noetherian local ring. It is known that R is Cohen–Macaulay if there exists either a nonzero finitely generated R-module of finite injective dimension or a nonzero Cohen–Macaulay R-module of finite projective dimension. In this article, we investigate the Gorenstein analogues of these facts.     

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.     

Rings Over Which the Class of Gorenstein Flat Modules is Closed Under Extensions

A ring R is called left “GF-closed”, if the class of all Gorenstein flat left R-modules is closed under extensions. The class of left GF-closed rings includes strictly the one of right coherent rings and the one of rings of finite weak dimension.

In this article, we investigate the Gorenstein flat dimension over left GF-closed rings. Namely, we generalize the fact that the class of all Gorenstein flat left modules is projectively resolving over right coherent rings to left GF-closed rings. Also, we generalize the characterization of Gorenstein flat left modules (then of Gorenstein flat dimension of left modules) over right coherent rings to left GF-closed rings. Finally, using direct products of rings, we show how to construct a left GF-closed ring that is neither right coherent nor of finite weak dimension.     

Coherent Rings and Gorenstein FP-Injective Modules

In this article, Gorenstein FP-injective modules are introduced and investigated. A left R-module M is called Gorenstein FP-injective if there is an exact sequence … → E ₁ → E ₀ → E ⁰ → E ¹ → … of FP-injective left R-modules with M = ker(E ⁰ → E ¹) such that Hom _R (P, ?) leaves the sequence exact whenever P is a finitely presented left R-module with pd _R (P) < ∞. Some properties of Gorenstein FP-injective modules are obtained. Several well-known classes of rings are characterized in terms of Gorenstein FP-injective modules.     

Gorenstein injective dimension and Tor-depth of modules

The main aim of this paper is to obtain a dual result to the now well known Auslander-Bridger formula for G-dimension. We will show that if R is a complete Cohen-Macaulay ring with residue field k, and M is a non-injective h-divisible Ext-finite R-module of finite Gorenstein injective dimension such that for each i 3 1i \geq 1 Extⁱ (E,M) = 0 for all indecomposable injective R-modules E 1 E(k)E \neq E(k), then the depth of the ring is equal to the sum of the Gorenstein injective dimension and Tor-depth of M. As a consequence, we get that this formula holds over a d-dimensional Gorenstein local ring for every nonzero cosyzygy of a finitely generated R-module and thus in particular each such n^th cosyzygy has its Tor-depth equal to the depth of the ring whenever n 3 dn \geq d.     

Gorenstein dimension of modules over homomorphisms

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 , where E is the injective hull of the residue field of R. This result is analogous to a theorem of André on flat dimension.     

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.     

All Modules Have Gorenstein Flat Precovers

It is known that every R-module has a flat precover. We show in the paper that every R-module has a Gorenstein flat precover.     

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.     

Complexes of Gorenstein Flat Modules and Gorenstein Cotorsion Modules

A complex (C, δ) is called strongly Gorenstein flat if C is exact and Ker δ ⁿ is Gorenstein flat in R-Mod for all n ∈ ?. Let 𝒮𝒢 stand for the class of strongly Gorenstein flat complexes. We show that a complex C of left R-modules over a right coherent ring R is in the right orthogonal class of 𝒮𝒢 if and only if C ⁿ is Gorenstein cotorsion in R-Mod for all n ∈ ? and Hom^.(G, C) is exact for any strongly Gorenstein flat complex G. Furthermore, a bounded below complex C over a right coherent ring R is in the right orthogonal class of 𝒮𝒢 if and only if C ⁿ is Gorenstein cotorsion in R-Mod for all n ∈ ?. Finally, strongly Gorenstein flat covers and 𝒮𝒢^⊥-envelopes of complexes are considered. For a right coherent ring R, we show that every bounded below complex has a 𝒮𝒢^⊥-envelope.     

First,Second, and Third Change of Rings Theorems for Gorenstein Homological dimensions

In this article, 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, second, and third change of rings theorems for the classical projective and injective dimensions to the Gorenstein projective and injective dimensions, respectively. Each of the results established in this article for the Gorenstein projective dimension is a generalization of a G-dimension of a finitely generated module M over a noetherian ring R.     

The permutation projective dimension of the quaternionic group

Abstract

Let R be a commutative Noetherian local Gorenstein ring with residue field k. We show that G(k), the Gorenstein injective envelope of k, is an artinian R-module, and we compute G(k) in the case where R = k[[S]] is a semigroup ring and S is symmetric. We also show that a certain subring of the endomorphism ring of G(k) is a complete local (but possibly non-commutative) ring.     

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.