Ding w-Flat Modules and Dimensions

2018 ◽  
Vol 25 (02) ◽  
pp. 203-216
Author(s):  
Fuad Ali Ahmed Almahdi ◽  
Mohammed Tamekkante

The introduction of w-operation in the class of flat modules has been successful. Let R be a ring. An R-module M is called a w-flat module if [Formula: see text] is GV-torsion for all R-modules N. In this paper, we introduce the w-operation in Gorenstein homological algebra. An R-module M is called Ding w-flat if there exists an exact sequence of projective R-modules … → P1 → P0 → P0 → P1 → … such that M ≅ Im(P0 → P0) and such that the functor HomR(−, F) leaves the sequence exact whenever F is w-flat. Several wellknown classes of rings are characterized in terms of Ding w-flat modules. Some examples are given to show that Ding w-flat modules lie strictly between projective modules and Gorenstein projective modules. The Ding w-flat dimension (of modules and rings) and the existence of Ding w-flat precovers are also studied.

2010 ◽  
Vol 09 (06) ◽  
pp. 859-870 ◽  
Author(s):  
SAMIR BOUCHIBA ◽  
MOSTAFA KHALOUI

Benson and Goodearl [Periodic flat modules, and flat modules for finite groups, Pacific J. Math.196(1) (2000) 45–67] proved that if M is a flat module over a ring R such that there exists an exact sequence of R-modules 0 → M → P → M → 0 with P a projective module, then M is projective. The main purpose of this paper is to generalize this theorem to any exact sequence of the form 0 → M → G → M → 0, where G is an arbitrary module over R. Moreover, we seek counterpart entities in the Gorenstein homological algebra of pure projective and pure injective modules.


2009 ◽  
Vol 86 (3) ◽  
pp. 323-338 ◽  
Author(s):  
NANQING DING ◽  
YUANLIN LI ◽  
LIXIN MAO

AbstractIn this paper, strongly Gorenstein flat modules are introduced and investigated. An R-module M is called strongly Gorenstein flat if there is an exact sequence ⋯→P1→P0→P0→P1→⋯ of projective R-modules with M=ker (P0→P1) such that Hom(−,F) leaves the sequence exact whenever F is a flat R-module. Several well-known classes of rings are characterized in terms of strongly Gorenstein flat modules. Some examples are given to show that strongly Gorenstein flat modules over coherent rings lie strictly between projective modules and Gorenstein flat modules. The strongly Gorenstein flat dimension and the existence of strongly Gorenstein flat precovers and pre-envelopes are also studied.


2011 ◽  
Vol 54 (1) ◽  
pp. 169-175 ◽  
Author(s):  
SAMIR BOUCHIBA ◽  
MOSTAFA KHALOUI

AbstractSather-Wagstaff et al. proved in [8] (S. Sather-Wagsta, T. Sharif and D. White, Stability of Gorenstein categories, J. Lond. Math. Soc.(2), 77(2) (2008), 481–502) that iterating the process used to define Gorenstein projective modules exactly leads to the Gorenstein projective modules. Also, they established in [9] (S. Sather-Wagsta, T. Sharif and D. White, AB-contexts and stability for Goren-stein at modules with respect to semi-dualizing modules, Algebra Represent. Theory14(3) (2011), 403–428) a stability of the subcategory of Gorenstein flat modules under a procedure to build R-modules from complete resolutions. In this paper we are concerned with another kind of stability of the class of Gorenstein flat modules via-à-vis the very Gorenstein process used to define Gorenstein flat modules. We settle in affirmative the following natural question in the setting of a left GF-closed ring R: Given an exact sequence of Gorenstein flat R-modules G = ⋅⋅⋅ G2G1G0G−1G−2 ⋅⋅⋅ such that the complex H ⊗RG is exact for each Gorenstein injective right R-module H, is the module M:= Im(G0 → G−1) a Gorenstein flat module?


2018 ◽  
Vol 17 (01) ◽  
pp. 1850014 ◽  
Author(s):  
Jian Wang ◽  
Yunxia Li ◽  
Jiangsheng Hu

In this paper, we introduce and study left (right) [Formula: see text]-semihereditary rings over any associative ring, and these rings are exactly [Formula: see text]-semihereditary rings defined by Mahdou and Tamekkante provided that [Formula: see text] is a commutative ring. Some new characterizations of left [Formula: see text]-semihereditary rings are given. Applications go in three directions. The first is to give a sufficient condition when a finitely presented right [Formula: see text]-module is Gorenstein flat if and only if it is Gorenstein projective provided that [Formula: see text] is left coherent. The second is to investigate the relationships between Gorenstein flat modules and direct limits of finitely presented Gorenstein projective modules. The third is to obtain some new characterizations of semihereditary rings, [Formula: see text]-[Formula: see text] rings and [Formula: see text] rings.


2013 ◽  
Vol 20 (04) ◽  
pp. 623-636 ◽  
Author(s):  
Samir Bouchiba

The purpose of this paper is to give, via totally different techniques, an alternate proof to the main theorem of [18] in the category of modules over an arbitrary ring R. In effect, we prove that this theorem follows from establishing a sequence of equalities between specific classes of R-modules. Actually, we tackle the following natural question: What notion emerges when iterating the very process applied to build the Gorenstein projective and Gorenstein injective modules from complete resolutions? In other words, given an exact sequence of Gorenstein injective R-modules G= ⋯ → G1→ G0→ G-1→ ⋯ such that the complex Hom R(H,G) is exact for each Gorenstein injective R-module H, is the module Im (G0→ G-1) Gorenstein injective? We settle such a question in the affirmative and the dual result for the Gorenstein projective modules follows easily via a similar treatment to that used in this paper. As an application, we provide the Gorenstein versions of the change of rings theorems for injective modules over an arbitrary ring.


2021 ◽  
Vol 2021 ◽  
pp. 1-8
Author(s):  
Dadi Asefa

Gorenstein-projective module is an important research topic in relative homological algebra, representation theory of algebras, triangulated categories, and algebraic geometry (especially in singularity theory). For a given algebra A , how to construct all the Gorenstein-projective A -modules is a fundamental problem in Gorenstein homological algebra. In this paper, we describe all complete projective resolutions over an upper triangular Artin algebra Λ = A M B A 0 B . We also give a necessary and sufficient condition for all finitely generated Gorenstein-projective modules over Λ = A M B A 0 B .


2012 ◽  
Vol 12 (01) ◽  
pp. 1250209 ◽  
Author(s):  
AIMIN XU

Let [Formula: see text] be a class of left R-modules that contains all projective left R-modules. We study a kind of stability of [Formula: see text]-Gorenstein projective modules and settle in affirmative the following question: given an exact sequence of [Formula: see text]-Gorenstein projective left R-modules G = ⋯ → G1 → G0 → G0 → G1 → ⋯ such that the complex Hom R(G, F) is exact for each left R-module [Formula: see text], is the module [Formula: see text]-Gorenstein projective? Some applications are also given.


2016 ◽  
Vol 23 (01) ◽  
pp. 97-104 ◽  
Author(s):  
H. Eshraghi ◽  
R. Hafezi ◽  
Sh. Salarian ◽  
Z. W. Li

Let R and S be Artin algebras and Γ be their triangular matrix extension via a bimodule SMR. We study totally acyclic complexes of projective Γ-modules and obtain a complete description of Gorenstein projective Γ-modules. We then construct some examples of Cohen-Macaulay finite and virtually Gorenstein triangular matrix algebras.


Author(s):  
Wenjing Chen ◽  
Zhongkui Liu

In this paper, we construct some model structures corresponding Gorenstein [Formula: see text]-modules and relative Gorenstein flat modules associated to duality pairs, Frobenius pairs and cotorsion pairs. By investigating homological properties of Gorenstein [Formula: see text]-modules and some known complete hereditary cotorsion pairs, we describe several types of complexes and obtain some characterizations of Iwanaga–Gorenstein rings. Based on some facts given in this paper, we find new duality pairs and show that [Formula: see text] is covering as well as enveloping and [Formula: see text] is preenveloping under certain conditions, where [Formula: see text] denotes the class of Gorenstein [Formula: see text]-injective modules and [Formula: see text] denotes the class of Gorenstein [Formula: see text]-flat modules. We give some recollements via projective cotorsion pair [Formula: see text] cogenerated by a set, where [Formula: see text] denotes the class of Gorenstein [Formula: see text]-projective modules. Also, many recollements are immediately displayed through setting specific complete duality pairs.


Sign in / Sign up

Export Citation Format

Share Document