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.     

The Cohen–Macaulay and Gorenstein Properties of Rings Associated to Filtrations

Let (R, m) be a Cohen–Macaulay local ring, and let ? = {F _i } _i∈? be an F ₁-good filtration of ideals in R. If F ₁ is m-primary we obtain sufficient conditions in order that the associated graded ring G(?) be Cohen–Macaulay. In the case where R is Gorenstein, we use the Cohen–Macaulay result to establish necessary and sufficient conditions for G(?) to be Gorenstein. We apply this result to the integral closure filtration ? associated to a monomial parameter ideal of a polynomial ring to give necessary and sufficient conditions for G(?) to be Gorenstein. Let (R, m) be a Gorenstein local ring, and let F ₁ be an ideal with ht(F ₁) = g > 0. If there exists a reduction J of ? with μ(J) = g and reduction number u: = r _J (?), we prove that the extended Rees algebra R′(?) is quasi-Gorenstein with a-invariant b if and only if J ⁿ : F _u  = F _n+b?u+g?1 for every n ∈ ?. Furthermore, if G(?) is Cohen–Macaulay, then the maximal degree of a homogeneous minimal generator of the canonical module ω _G(?) is at most g and that of the canonical module ω _R′(?) is at most g ? 1; moreover, R′(?) is Gorenstein if and only if J ^u : F _u  = F _u . We illustrate with various examples cases where G(?) is or is not Gorenstein.     

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.     

Gorenstein flatness and injectivity over Gorenstein rings

Let R be a Gorenstein ring.We prove that if I is an ideal of R such that R/I is a semi-simple ring,then the Gorenstein flat dimension of R/I as a right R-module and the Gorenstein injective dimension of R/I as a left R-module are identical.In addition,we prove that if R→S is a homomorphism of rings and SE is an injective cogenerator for the category of left S-modules,then the Gorenstein flat dimension of S as a right R-module and the Gorenstein injective dimension of E as a left R-module are identical.We also give some applications of these results.     

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.     

The Relative Brauer Group of an Affine Double Plane

We study algebra classes and divisor classes on a normal affine surface of the form z ² = f(x, y). The affine coordinate ring is T = k[x, y, z]/(z ² ? f), and if R = k[x, y][f ^?1] and S = R[z]/(z ² ? f), then S is a quadratic Galois extension of R. If the Galois group is G, we show that the natural map H¹(G, Cl(T)) → H¹(G, Pic(S)) factors through the relative Brauer group B(S/R) and that all of the maps are onto. Sufficient conditions are given for H¹(G, Cl(T)) to be isomorphic to B(S/R). The groups and maps are computed for several examples.     

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 and flat complexes over noetherian rings

We give sufficient conditions on a class of R‐modules $\mathcal {C}We give sufficient conditions on a class of R‐modules $\mathcal {C}$ in order for the class of complexes of $\mathcal {C}$‐modules, $dw \mathcal {C}$, to be covering in the category of complexes of R‐modules. More precisely, we prove that if $\mathcal {C}$ is precovering in R ? Mod and if $\mathcal {C}$ is closed under direct limits, direct products, and extensions, then the class $dw \mathcal {C}$ is covering in Ch(R). Our first application concerns the class of Gorenstein flat modules. We show that when the ring R is two sided noetherian, a complex C is Gorenstein flat if and only if each module C_n is Gorenstein flat. If moreover every direct product of Gorenstein flat modules is a Gorenstein flat module, then the class of Gorenstein flat complexes is covering. We consider Gorenstein projective complexes as well. We prove that if R is a commutative noetherian ring of finite Krull dimension, then the class of Gorenstein projective complexes coincides with that of complexes of Gorenstein projective modules. We also show that if R is commutative noetherian with a dualizing complex then every right bounded complex has a Gorenstein projective precover.     

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.     

Regular Action in Rings

Let R be a ring with identity, X(R) the set of all nonzero non-units of R and G(R) the group of all units of R. By considering left and right regular actions of G(R) on X(R), the following are investigated: (1) For a local ring R such that X(R) is a union of n distinct orbits under the left (or right) regular action of G(R) on X(R), if J ⁿ  ≠ 0 = J ⁿ⁺¹ where J is the Jacobson radical of R, then the set of all the distinct ideals of R is exactly {R, J, J ²,…, J ⁿ , 0}, and each orbit under the left regular action is equal to the one under the right regular action. (2) Such a ring R is left (and right) duo ring. (3) For the full matrix ring S of n × n matrices over a commutative ring R, the number of orbits under left regular action of G(S) on X(S) is equal to the number of orbits under right regular action of G(S) on X(S); the result also holds for the ring of n × n upper triangular matrices over R.     

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

On the Buchsbaumness of the Associated Graded Ring of a One-Dimensional Local Ring

Let (R, m) be a Noetherian, one-dimensional, local ring, with |R/m|=∞. We study when its associated graded ring G(m) is Buchsbaum; in particular, we give a theoretical characterization for G(m) to be Buchsbaum not Cohen–Macaulay. Finally, we consider the particular case of R being the semigroup ring associated to a numerical semigroup S: we introduce some invariants of S, and we use them in order to give a necessary and a sufficient condition for G(m) to be Buchsbaum.     

On the almost Gorenstein property of determinantal rings

In this paper, we investigate the question of when the determinantal ring R over a field k is an almost Gorenstein local/graded ring in the sense of [14 Goto, S., Takahashi, R., Taniguchi, N. (2015). Almost Gorenstein rings - towards a theory of higher dimension. J. Pure Appl. Algebra 219:2666–2712.[Crossref], [Web of Science ®] , [Google Scholar]]. As a consequence of the main result, we see that if R is a non-Gorenstein almost Gorenstein local/graded ring, then the ring R has a minimal multiplicity.     

Ω-Gorenstein Projective and Flat Covers and Ω-Gorenstein Injective Envelopes

Abstract

In this paper, we show that if R is a local Cohen–Macaulay ring admitting a dualizing module Ω, then Ω-Gorenstein projective and flat covers and Ω-Gorenstein injective envelopes exist for certain modules. These results generalize the well known results for local Gorenstein rings.