理论数学  >> Vol. 11 No. 4 (April 2021)

投射余可解的Gorenstein平坦模和Gorenstein AC投射模
Projectively Coresolved Gorenstein Flat Modules and Gorenstein AC Projective Modules

DOI: 10.12677/PM.2021.114074, PDF, HTML, XML, 下载: 17  浏览: 90  国家自然科学基金支持

作者: 刘 欢, 杨晓燕:西北师范大学,数学与统计学院,甘肃 兰州

关键词: 投射余可解的Gorenstein平坦模Gorenstein AC投射模Gorenstein投射模Projectively Coresolved Gorenstein Flat Module Gorenstein AC Projective Module Gorenstein Projective Module

摘要: 本文我们给出了Gorenstein AC投射模的类与投射余可解的Gorenstein平坦模的类等价的条件,证明了在凝聚环R上,Gorenstein AC投射模的类,投射余可解的Gorenstein平坦模的类与Ding投射模的类等价。同时也给出了Gorenstein AC投射模的类与Gorenstein投射模的类等价的充分必要条件,证明了在任意环R上,Gorenstein AC投射模的类与Gorenstein投射模的类等价当且仅当Level模的类包含在Gorenstein投射模的类的右正交中。最后我们给出了Gorenstein AC投射模的类与Gorenstein投射模的类在凝聚环上等价的一些充分必要条件。
Abstract: In this paper, we give a condition in order for the class of Gorenstein AC projective modules to co-incide with the class of projectively coresolved Gorenstein flat modules, we prove that the class of Gorenstein AC projective modules equal to the class of projectively coresolved Gorenstein flat modules equal to the class of Ding projective modules over coherent rings. We also give a necessary and sufficient condition in order for the class of Gorenstein AC projective modules to coincide with the class of Gorenstein projective modules, we prove that the class of Gorenstein AC projective modules to coincide with the class of Gorenstein projective modules if and only if the class of level modules belongs to the right orthogonal class with respect to Gorenstein projective modules. And we give some necessary and sufficient conditions in order for the class of Gorenstein AC projective modules to coincide with the class of Gorenstein projective modules over coherent rings.

文章引用: 刘欢, 杨晓燕. 投射余可解的Gorenstein平坦模和Gorenstein AC投射模[J]. 理论数学, 2021, 11(4): 606-611. https://doi.org/10.12677/PM.2021.114074

1. 引言

近年来,相对同调代数,特别是其中的Gorenstein同调理论受到代数学界专家们的广泛关注。1995年,Jenda和Enochs在 [1] 中,作为G-维数为0的模的推广,引入了Gorenstein投射模和Gorenstein内射模的概念;为了与平坦模对应,1993年,Enochs,Jenda和Torrecillas在 [2] 中定义了Gorenstein平坦模。Ding,Li和Mao在 [3] 中考虑了Gorenstein投射模的一种特殊情况,即强Gorenstein投射模。因为Ding,Li和Mao在这方面的杰出工作,Gillespie在 [4] [5] 中称强Gorenstein投射模为Ding投射模。

最近,Saroch和Stovicek在 [6] 中引入了一个新的模,即投射余可解的Gorenstein平坦模。Iacob在 [7] 中对这些模的类进行了细致的研究,证明了投射余可解的Gorenstein平坦模的类与Ding投射模的类等价当且仅当每一个Ding投射模是Gorenstein平坦模,最后证明了在凝聚环的条件下投射余可解的Gorenstein平坦模的类与Ding投射模的类等价。同时也给出了投射余可解的Gorenstein平坦模的类与Gorenstein投射模的类等价的一些充分必要条件。为了进一步刻画Gorenstein同调代数在一般环上的性质,Bravo,Gillespie和Hovey在 [8] 中引入了Level模的概念,这是对平坦模的自然推广,继而引入了Gorenstein AC投射模。在Noetherian环上,Gorenstein AC投射模就是Gorenstein投射模。在凝聚环上,Gorenstein AC投射模就是Ding投射模。

受上述研究的启发,本文研究了Gorenstein AC投射模的类与投射余可解的Gorenstein平坦模的类等价以及Gorenstein AC投射模的类与Gorenstein投射模的类等价的一些充分必要条件。

2. 预备知识

除非特别说明,本文中所有的环R是结合环,所有的R-模都是左R-模。投射模的类,内射模的类,平坦模的类以及Level模的类分别用 P I F L 表示。 M ( R ) 表示R-模范畴。对于任意R-模的类 X ,我们记:

X = { Y M ( R ) | Ext R 1 ( X , Y ) = 0 , X X }

X = { Y M ( R ) | Ext R 1 ( Y , X ) = 0 , X X }

定义2.1 1) 称R-模F是超有限表示模,如果R-模F有一个投射分解

P 2 P 1 P 0 F 0

其中 P i 是有限生成的。

2) 称R-模L是Level模,如果对任意的超有限表示模F,有 Tor 1 R ( F , L ) = 0

3) 称R-模A是绝对clean模,如果对任意的超有限表示模F,有 Ext R 1 ( F , A ) = 0

定义2.2 考虑投射R-模的正合列

: P 1 P 0 P 0 P 1

其中 M Ker ( P 0 P 1 )

1) 若对任意的投射R-模Q,有 Hom R ( , Q ) 正合,则称R-模M是Gorenstein投射模。用 G P 表示Gorenstein投射模的类。

2) 若对任意的平坦R-模F,有 Hom R ( , F ) 正合,则称R-模M是Ding投射模。用 D P 表示Ding投射模的类。

3) 若对任意的Level R-模L,有 Hom R ( , L ) 正合,则称R-模M是Gorenstein AC投射模。用 G P ac 表示Gorenstein AC投射模的类。

4) 若对任意的内射右R-模I,有 I R 正合,则称R-模M是投射余可解的Gorenstein平坦模。用 P G F 表示投射余可解的Gorenstein平坦模的类。

定义2.3 称 R-模M是Gorenstein平坦模,如果存在平坦R-模的正合列

F : F 1 F 0 F 0 F 1

其中 M Ker ( F 0 F 1 ) ,使得对任意的内射右R-模I,有 I R F 正合。用 G F 表示Gorenstein平坦模的类。

定义2.4 称R-模M是强Gorenstein投射模,如果存在投射R-模的正合列

: P P P P

其中 M Ker ( P P ) ,使得对任意的投射R-模Q,有 Hom R ( , Q ) 正合。

注记 由定义可知, G P ac D P G P P G F G F

3. 主要结果

命题3.1 设R是任意环。则下列条件等价:

1) G P ac G F

2) 对任意的R-模 M G P ac ,有 M + G I

3) I + G P ac

证明 1) ⟹ 2) 设 M G P ac 。因为 G P ac G F ,所以M是Gorenstein平坦的,从而由( [9],定理3.6)知, M + G I

2) ⟹ 1) 设 M G P ac 。则存在投射R-模的正合列

: P 1 P 0 P 1 P 2

其中 M Ker ( P 1 P 2 ) Z j = Ker ( P j P j 1 ) G P ac 且对任意的Level R-模L,有 Hom R ( , L ) 正合。所以有内射R-模的正合列

+ : P 1 + P 0 + P 1 + P 2 +

又由假设知 Z j + G I ,所以对任意的内射右R-模I,有 Hom R ( I , + ) 正合。由伴随同构知 Hom R ( I , + ) ( I R ) + ,所以 ( I R ) + = Hom R ( I R , Q / Z ) 正合。又因为 Q / Z 是忠实内射的,所以 I R 正合,因此 M G F

2) ⟹ 3) 设 M G P ac 。则 M + G I 。从而对任意的内射右R-模I,有

Ext R 1 ( M , I + ) Ext R 1 ( I , M + ) = 0

所以 I + G P ac

3) ⟹ 2) 设 M G P ac 。则存在投射R-模的正合列

: P 1 P 0 P 1 P 2

其中 M Ker ( P 1 P 2 ) 且有 Z j = Ker ( P j P j 1 ) G P ac 。因为 I + G P ac ,所以对任意的内射右R-模I,有 Ext R 1 ( Z j , I + ) = 0 。因此对任意的内射右R-模I,有 Ext R 1 ( I , Z j + ) = 0 。故对任意的内射右R-模I, Hom R ( I , + ) 正合且 + 是内射模的正合列。从而证得 M + G I

下面我们讨论 G P ac = G P 的条件。

引理3.2 在任意环R上, G P ac P G F

证明 设 M G P ac 。则存在投射R-模的正合列

: P 1 P 0 P 0 P 1

其中 M Ker ( P 0 P 1 ) 且对任意的Level R-模L,有 Hom R ( , L ) 正合。由( [10],命题2.7)知,对任意的绝对clean右R-模A,有 A R 正合。又因为内射R-模一定是绝对clean R-模,所以对任意的内射右R-模I,有 I R 正合。因此 M P G F

定理3.3 若R是凝聚环,则 G P ac = D P = P G F

证明 由定义知, G P ac D P 。设 M D P 。则存在投射R-模的正合列

: P 1 P 0 P 0 P 1

其中 M Ker ( P 0 P 1 ) 且对任意的平坦R-模F,有 Hom R ( , F ) 正合。又因为R是凝聚环。由( [8],推论2.11)知,Level R-模是平坦R-模,所以对任意的Level R-模L,有 Hom R ( , L ) 正合。因此 M G P ac 。故 G P ac = D P 。又由引理3.2和( [7],推论1)知, G P ac P G F P G F D P 。因此 G P ac = D P = P G F

命题3.4 G P ac = G P 当且仅当 L G P

证明 必要性:由定义知, L G P ac ,而 G P ac = G P ,所以 L G P

充分性:由定义知, G P ac G P 。设 M G P 。则存在投射R-模的正合列

: P 1 P 0 P 1 P 2

其中 M Ker ( P 1 P 2 ) 且有 Z j = Ker ( P j P j 1 ) G P 。因为 L G P ,所以对任意的Level R-模L,有 Ext R 1 ( Z j , L ) = 0 。因此对任意的Level R-模L, Hom R ( , L ) 正合。故 M G P ac

推论3.5 设R是凝聚环。则 P G F = G P 当且仅当 L G P

证明 必要性:由定理3.3知, P G F = G P ac 。因为 L G P ac ,所以 L P G F 。又因为 P G F = G P ,所以 L G P

充分性:因为R是凝聚环,所以由定理3.3知, G P ac = D P = P G F 。又因为 L G P ,所以由命题3.4,得 P G F = G P

定理3.6 设R是凝聚环。则下列条件等价:

1) G P G F

2) G P ac = G P

3) 对任意的R-模 M G P ,有 M + G I

4) I + G P

证明 2) ⟹ 1) 因为 G P ac P G F G F ,而 G P ac = G P ,所以 G P G F

1) ⟹ 2) 由定义知,。下证。设M是强Gorenstein投射模。则存在投射R-模的正合列

其中。由假设知,,所以对任意的内射右R-模I,有。又因为有短正合列,所以对任意的内射右R-模A,有正合列

所以正合。因此。设。因为是强Gorenstien投射模的直和项且投射余可解的Gorenstien平坦模的类关于直和项封闭,所以。又因为R是凝聚环,由定理3.3知,,所以

1) ⇔ 3) 由( [11],定理2.2)可得。

3) ⟹ 4) 设。因为,所以对任意的内射右R-模I,有。又因为,所以

4) ⟹ 3) 设。则存在投射R-模的正合列

其中。从而有正合列

。因为,所以对任意的内射右R-模I,有。因此正合。故

下面我们讨论模的Gorenstein AC投射预覆盖的存在性。

引理3.7 设R是凝聚环。若,则存在特殊的Gorenstein AC投射预覆盖,其中

证明 因为由( [12],定理2.13)知,是完全的余挠对,所以存在短正合列

其中。又因为,所以。因此。由( [6],定理4.11)知,。又因为R是凝聚环,所以对上述短正合列,由定理3.3知,。从而得是M的一个特殊的Gorenstein AC投射预覆盖。

设 是环。我们记

且称之为R-模M的Gorenstein平坦维数。

命题3.8 设R是凝聚环。则每一个Gorenstein平坦维数有限的模都有一个特殊的Gorenstein AC投射预覆盖。

证明 设M的Gorenstein平坦维数有限。则由( [9],引理3.17)知,存在短正合列

其中且D的平坦维数有限。对T,由引理3.7知,T有一个特殊的Gorenstein AC投射预覆盖,即存在正合列

其中。从而有拉回图

所以正合,其中。又因为D的平坦维数有限且,所以X的平坦维数有限。因此。故是M的一个特殊的Gorenstein AC投射预覆盖。

基金项目

国家自然科学基金项目(11761060)。

参考文献

参考文献

[1] Enochs, E.E. and Jenda, O.M.G. (1995) Gorenstein Injective and Gorenstein Projective Modules. Mathematische Zeitschrift, 220, 611-633.
https://doi.org/10.1007/BF02572634
[2] Enochs, E.E., Jenda, O.M.G. and Torrecillas, B. (1993) Gorenstein Flat Modules. Annals of Mathematics, Nanjing University, 10, 1-9.
[3] Ding, N., Li, Y. and Mao, L. (2009) Strongly Gorenstein Flat Modules. Journal of the Australian Mathematical Society, 86, 323-338.
https://doi.org/10.1017/S1446788708000761
[4] Gillespie, J. (2010) Model Structures on Modules over Ding-Chen Rings. Homology, Homotopy and Applications, 12, 61-73.
https://doi.org/10.4310/HHA.2010.v12.n1.a6
[5] Gillespie, J. (2015) On Ding Injective, Ding Projective, and Ding Flat Modules and Complexes. Rocky Mountain Journal of Mathematics, 47, 2641-2673.
[6] Saroch, J. and Stovícek, J. (2020) Singular Compactness and Definability for -Cotorsion and Gorenstein Modules. Selecta Mathematica, 26, 23-63.
https://doi.org/10.1007/s00029-020-0543-2
[7] Iacob, A. (2020) Projectively Coresolved Gorenstein Flat and Ding Projective Modules. Communications in Algebra, 48, 2883-2893.
https://doi.org/10.1080/00927872.2020.1723612
[8] Bravo, D., Gillespie, J. and Hovey, M. (2014) The Stable Module Category of a General Ring. Mathematics, arxiv: 1210.0196.
[9] Holm, H. (2004) Gorenstein Homological Dimensions. Journal of Pure and Applied Algebra, 189, 167-193.
https://doi.org/10.1016/j.jpaa.2003.11.007
[10] Gillespie, J. (2018) Gorenstein AC-Projective Complexes. Journal of Homotopy and Related Structures, 13, 769-791.
https://doi.org/10.1007/s40062-018-0203-9
[11] Emmanouil, I. (2012) On the Finiteness of Gorenstein Homo-logical Dimensions. Journal of Algebra, 372, 376-396.
https://doi.org/10.1016/j.jalgebra.2012.09.018
[12] Estrada, S., Iacob, A. and Pérez, M. (2017) Model Structures and Relative Gorenstein Flat Modules and Chain Complexes. Contemporary Mathematics, arxiv: 1709.00658.