On Gorenstein flat dimension

2015 ◽  
Vol 14 (06) ◽  
pp. 1550096
Author(s):  
Samir Bouchiba

The theory of Gorenstein flat dimension is not complete since it is not yet known whether the category 𝒢ℱ(R) of Gorenstein flat modules over a ring R is projectively resolving or not. Besides, it arises from recent investigations on this subject that there exists several ways of measuring the Gorenstein flat dimension of modules which turn out to coincide with the usual one in the case where 𝒢ℱ(R) is projectively resolving. These alternate procedures yield new invariants which enjoy very nice behavior for an arbitrary ring R. In this paper, we introduce and study one of these invariants called the cover Gorenstein flat dimension of a module M and denoted by CGfd R(M). This new entity stems from a sort of a Gorenstein flat precover of M. First, for each R-module M, we prove that Gfd R(M) ≤ CGfd R(M) for each R-module M with [Formula: see text] whenever CGfd R(M) is finite. Also, we show that 𝒢ℱ(R) is projectively resolving if and only if the Gorenstein flat dimension and the introduced cover Gorenstein flat dimension coincide. In particular, if R is a right coherent ring, then CGfd R(M) = Gfd R(M) for any R-module M. As a consequence, we prove that if R is a left and right GF-closed, then the Gorenstein weak global dimension of R is left–right symmetric and it is related to the cohomological invariants leftsfli(R) and rightsfli(R) by the formula [Formula: see text]

2020 ◽  
Vol 27 (03) ◽  
pp. 575-586
Author(s):  
Sergio Estrada ◽  
Alina Iacob ◽  
Holly Zolt

For a given class of modules [Formula: see text], let [Formula: see text] be the class of exact complexes having all cycles in [Formula: see text], and dw([Formula: see text]) the class of complexes with all components in [Formula: see text]. Denote by [Formula: see text][Formula: see text] the class of Gorenstein injective R-modules. We prove that the following are equivalent over any ring R: every exact complex of injective modules is totally acyclic; every exact complex of Gorenstein injective modules is in [Formula: see text]; every complex in dw([Formula: see text][Formula: see text]) is dg-Gorenstein injective. The analogous result for complexes of flat and Gorenstein flat modules also holds over arbitrary rings. If the ring is n-perfect for some integer n ≥ 0, the three equivalent statements for flat and Gorenstein flat modules are equivalent with their counterparts for projective and projectively coresolved Gorenstein flat modules. We also prove the following characterization of Gorenstein rings. Let R be a commutative coherent ring; then the following are equivalent: (1) every exact complex of FP-injective modules has all its cycles Ding injective modules; (2) every exact complex of flat modules is F-totally acyclic, and every R-module M such that M+ is Gorenstein flat is Ding injective; (3) every exact complex of injectives has all its cycles Ding injective modules and every R-module M such that M+ is Gorenstein flat is Ding injective. If R has finite Krull dimension, statements (1)–(3) are equivalent to (4) R is a Gorenstein ring (in the sense of Iwanaga).


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.


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.


2018 ◽  
Vol 45 (2) ◽  
pp. 337-344
Author(s):  
Yanjiong Yang ◽  
Xiaoguang Yan
Keyword(s):  

2012 ◽  
Vol 19 (spec01) ◽  
pp. 1161-1166
Author(s):  
Parviz Sahandi ◽  
Tirdad Sharif ◽  
Siamak Yassemi

Any finitely generated module M over a local ring R is endowed with a complete intersection dimension CI-dim RM and a Gorenstein dimension G-dim RM. The Gorenstein dimension can be extended to all modules over the ring R. This paper presents a similar extension for the complete intersection dimension, and mentions the relation between this dimension and the Gorenstein flat dimension. In addition, we show that in the intersection theorem, the flat dimension can be replaced by the complete intersection flat dimension.


Author(s):  
Zenghui Gao ◽  
Wan Wu

Let [Formula: see text] be an injectively resolving subcategory of left [Formula: see text]-modules. We introduce and study [Formula: see text]-Gorenstein flat modules as a common generalization of some known modules such as Gorenstein flat modules (Enochs, Jenda and Torrecillas, 1993), Gorenstein AC-flat modules (Bravo, Estrada and Iacob, 2018). Then we define a resolution dimension relative to the [Formula: see text]-Gorensteinflat modules, investigate the properties of the homological dimension and unify some important properties possessed by some known homological dimensions. In addition, stability of the category of [Formula: see text]-Gorensteinflat modules is discussed, and some known results are obtained as applications.


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.


1994 ◽  
Vol 36 (3) ◽  
pp. 347-354 ◽  
Author(s):  
Ibrahim Assem ◽  
Flávio Ulhoa Coelho

It is reasonable to expect that the representation theory of an algebra (finite dimensional over a field, basic and connected) can be used to study its homological properties. In particular, much is known about the structure of the Auslander-Reiten quiver of an algebra, which records most of the information we have on its module category. We ask whether one can predict the homological dimensions of a module from its position in the Auslander-Reiten quiver. We are particularly interested in the case where the algebra is a tilted algebra. This class of algebras of global dimension two, introduced by Happel and Ringel in [7], has since then been the subject of many investigations, and its representation theory is well understood by now (see, for instance, [1], [7], [8], [9], [11], [13]).In this case, the most striking feature of the Auslander-Reiten quiver is the existence of complete slices, which reproduce the quiver of the hereditary algebra from which the tilted algebra arises. It follows from well-known results that any indecomposable successor (or predecessor) of a complete slice has injective (or projective, respectively) dimension at most one, from which one deduces that a tilted algebra is representation-finite if and only if both the projective and the injective dimensions of almost all (that is, all but at most finitely many non-isomorphic) indecomposable modules equal two (see (3.1) and (3.2)). On the other hand, the authors have shown in [2, (3.4)] that a representation-infinite algebra is concealed if and only if both the projective and the injective dimensions of almost all indecomposable modules equal one (see also [14]). This leads us to consider, for tilted algebras which are not concealed, the case when the projective (or injective) dimension of almost all indecomposable successors (or predecessors, respectively) of a complete slice equal two. In order to answer this question, we define the notions of left and right type of a tilted algebra, then those of reduced left and right types (see (2.2) and (3.4) for the definitions).


1989 ◽  
Vol 39 (2) ◽  
pp. 215-223 ◽  
Author(s):  
Mark L. Teply

The weak global dimension of a right coherent ring with left Krull dimension α ≥ 1 is found to be the supremum of the weak dimensions of the β-critical cyclic modules, where β < α. If, in addition, the mapping I → assl gives a bijection between isomorphism classes on injective left R-modules and prime ideals of R, then the weak global dimension of R is the supremum of the weak dimensions of the simple left R-modules. These results are used to compute the left homological dimension of a right coherent, left noetherian ring. Some analogues of our results are also given for rings with Gabriel dimension.


2016 ◽  
Vol 46 (5) ◽  
pp. 1739-1753 ◽  
Author(s):  
Guoqiang Zhao ◽  
Xiaoguang Yan
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document