Pure Mathematics
Vol.
12
No.
04
(
2022
), Article ID:
50499
,
7
pages
10.12677/PM.2022.124063
Gorenstein MF-投射模
周彩霞
西北师范大学,数学与统计学院,甘肃 兰州
收稿日期:2022年3月10日;录用日期:2022年4月14日;发布日期:2022年4月21日
摘要
本文引入了Gorenstein MF-投射模的概念,讨论了这类模的基本同调性质,给出了R是半单环时,任意R-模都是Gorenstein MF-投射模的等价刻画,证明了Gorenstein MF-投射维数有限的R-模G都存在特殊的Gorenstein MF-投射预覆盖。
关键词
MF-投射模,Gorenstein MF-投射模,预覆盖
Gorenstein MF-Projective Modules
Caixia Zhou
College of Mathematics and Statistics, Northwest Normal University, Lanzhou Gansu
Received: Mar. 10th, 2022; accepted: Apr. 14th, 2022; published: Apr. 21st, 2022
ABSTRACT
In this paper, Gorenstein MF-Projective modules are introduced. We discuss the homological properties of Gorenstein MF-projective modules, give that R is semi-simple ring, and any R-module is a Gorenstein MF-projective module, and prove that any R-module G with finite Gorenstein MF-projective dimension exists special Gorenstein MF-projective precover.
Keywords:MF-Projective Module, Gorenstein MF-Projective Module, Precover
Copyright © 2022 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
1. 引言
上世纪九十年代,Enochs等引入了Gorenstein投(内)射模和Gorenstein平坦模,这三类模及其维数理论构成了Gorenstein同调代数的理论核心( [1] [2] [3] )。随着Gorenstein同调理论的深入发展,出现了许多重要的研究成果,2010年,Y. Xiang在文献 [4] 中引入了极大平坦模,证明了在左凝聚环上,每一个左R-模存在极大平坦预覆盖。2021年,Yusuf Alagöz在文献 [5] 中引入了MF-投射模,研究了MF-投射模的同调性质以及半单环上MF-投射模的等价刻画。
受以上结论的启发,我们引入Gorenstein MF-投射模,讨论了这类模的同调性质,证明了Gorenstein MF-投射维数有限的R-模G都存在特殊的Gorenstein MF-投射预覆盖。
本文所提到的环均指有单位元的结合环。模均指酉模,除非特别说明,模指左R-模,P(R)表示投射模类、GP(R)表示Gorenstein投射模类, 表示R-模M的投射维数。称M是Gorenstein投射模,如果存在投射模的正合列 ,使得 ,即对任意投射模 ,序列 是正合列。设 是一左R-模类,模M的左(右) -分解是指正合列 ( ),其中 。称模类 是投射可解类 [6],如果它包含投射模类,并且在任意短正合列 中,若 ,则 当且仅当 。设 是任意Abel范畴, 为 中对像的类。称 中的态射 是对象A的 -预覆盖 [7],如果 且对任意 和任意态射 ,其中 ,存在态射 ,使得 。
2. Gorenstein MF-投射模
首先,引入Gorenstein MF-投射模,讨论这类模的基本同调性质。
定义1.1 称右R-模M是MF-投射模,如果对任意极大平坦模N, 。我们将MF-投射模类记为 。称右R-模M是强MF-投射模,如果对任意极大平坦模N,及任意整数 , 。我们将强MF-投射模类记为 。
定义1.2 称右R-模M是Gorenstein MF-投射模,如果存在投射右R-模的正合列
使得 ,即对任意MF-投射模N,序列 是正合列。
我们将Gorenstein MF-投射模类记为 。
注记 1) ;
2) 关于直和封闭;
3) 由文献 [5] 知,当R是左极大遗传环 [8] 或SF-环时,MF-投射模是Gorenstein MF-投射模;
4) 由对称性,定义1.2正合列 中所有同态的核、像、余核都是Gorenstein MF-投射模。
命题1.1 设R是环,则以下等价:
1) ;
2) 对任意正整数i,及任意MF-投射模N, ,并且存在 正合的正合序列 ;
3) 存在右R-模的短正合列 ,其中 , 。
证明(1) (2),(1) (3)显然。
(3) (1)存在R-模的正合列 ,其中 , ,对任意MF-投射模N及整数 ,存在 正合的R-模的正合列
①
将 作用在短正合列 上,对任意正整数i,存在正合序列
于是由(1)、(2), 。
下面考虑R-模M的投射分解
②
令 , , ,有 ,由此可得序列②是 正合的,将正合列 与序列①和②首尾相接得 正合的投射模的正合列
且 ,故 。
推论1.1 设M是Gorenstein MF-投射模,则对任意MF-投射维数有限的R-模L,及任意整数 , 。
证明由于 ,故存在 正合的正合列 , , ,并且对任意MF-投射模N及任意整数 , 。设 ,则存在正合列 ,其中 , , ,由维数转移可得,对 , 。
引理1.1 设M是Gorenstein MF-投射模,则以下成立:
1) 对任意MF-投射模N及任意整数 , 。
2) 或 。
证明 1) 因为M是Gorenstein MF-投射模,所以存在一个 正合的正合序列 ,其中 ,则由维数转移可知,对任意MF-投射模N及正整数i, 。
2) 设 ,则存在正合序列 ,其中 ,令 ,则 ,故 ,正合列 可裂,从而M是投射模。
命题1.2 设 是左R-模的正合列
1) 若A、C是Gorenstein MF-投射模,则B是Gorenstein MF-投射模;
2) 若B、C是Gorenstein MF-投射模,则A是Gorenstein MF-投射模。
证明 1) 由于A、C是Gorenstein MF-投射模,故存在 正合的正合列
和
其中 ,对任意MF-投射模N及整数 , , ,令 、 ,由命题1.1知, 是Gorenstein MF-投射模,于是有如下交换图
且 与 有相同的性质,故由马掌引理存在 正合的正合列 ,其中 ,而且 ,故B是Gorenstein MF-投射模。
2) 由于B是Gorenstein MF-投射模,故存在正合列 ,其中 ,K是Gorenstein MF-投射模,考虑推出图
因为C和K都是Gorenstein MF-投射模,所以由(1)知,D是Gorenstein MF-投射模,再利用命题1.1知,A是Gorenstein MF-投射模。
命题1.3 Gorenstein MF-投射模类是投射可解类,且关于直和项封闭。
证明 由 [3] 的定理2.5易证。
推论1.2 在短正合序列 中,若A和B都是Gorenstein MF-投射模,而且对任意MF-投射维数有限的右R-模L及任意整数 , ,则C是Gorenstein MF-投射模。
证明 由于A是Gorenstein MF-投射模,故存在正合列 ,其中 ,K是Gorenstein MF-投射模,考虑推出图
在中间列中,因为B和K都是Gorenstein MF-投射模,故G是Gorenstein MF-投射模,又因为正合列 可裂,故C是Gorenstein MF-投射模。
命题1.4 设R是QF环,则任意Gorenstein MF-投射模都是投射模。
证明 设M是Gorenstein MF-投射模,因为R是QF环,由文献 [5] 知,任意模N都是MF-投射模,故对于任意模N, ,从而M是投射模。
推论1.3 设R是环,则以下等价:
1) R是半单环;
2) R是QF环,并且每一个R-模都是Gorenstein MF-投射模。
证明 (1) (2)任取R-模M,考虑正合列 ,其中 。因为R是半单环,故 ,因此 可裂,则 ,从而R是QF环,又因为R是半单环,故M是Gorenstein MF-投射模。
(2) (1)设M是任意R-模,由(2)知M是Gorenstein MF-投射模,又由命题1.4知, ,故R是半单环。
3. Gorenstein MF-投射维数
接下来我们引入模的Gorenstein MF-投射维数,给出Gorenstein MF-投射维数有限的模的等价刻画,结论表明任意Gorenstein MF-投射维数有限的R-模G都存在特殊的Gorenstein MF-投射预覆盖。
定义2.1 设R是环,定义模M的Gorenstein MF-投射维数如下
若上述集合为空集,则规定 。
我们定义环R的右整体Gorenstein MF-投射维数如下
。
关于定义,我们注意到:R是半单环,则 。
命题2.1 设M是R-模,且 ,n是非负整数,则以下等价:
1) ;
2) 对任意整数 ,及任意MF-投射维数有限的R-模L, ;
3) 对任意整数 ,及任意MF-投射模N, ;
4) 在任意正合列 中,若 都是Gorenstein MF-投射模,则 也是Gorenstein MF-投射模。
证明 (1) (2)设 ,存在正合列 ,其中 都是Gorenstein MF-投射模,对任意整数 ,及任意MF-投射维数有限的R-模L,由推论1.1及维数转移,得对任意整数 , 。
(2) (3)显然。
(3) (4)考虑正合序列
(1)
其中 是Gorenstein MF-投射模,令 , , ,对任意整数 ,及任意MF-投射模N,由引理1.1及维数转移得, 。因为 ,且把序列(1)分解成短正合列,类似于文献 [3] 命题2.18的证明,我们可以得到 ,令 ,于是存在正合列
(2)
其中 是Gorenstein MF-投射模,令 , , ,对任意MF-投射模N,用 作用于正合列 ,得 , ,
得 ,所以 ,得 ,由推论1.2知, 是Gorenstein MF-投射模,⋯,依次可得 是Gorenstein MF-投射模,又 ,故 是Gorenstein MF-投射模。
(4) (1)由定义2.1易见。
以下我们给出环R的右整体Gorenstein MF-投射维数有限的等价刻画。
定理2.1 设R是环,整数 ,则以下等价:
1) ;
2) 对任意循环R-模M, ;
3) 对任意MF-投射模M, 。
证明 (1) (2)显然。
(2) (3)任取MF-投射模M,设I是R的右理想,则由(2) 。由命题2.1知,对任意整数 , ,则 。
(3) (1)设A是任意R-模,B是任意MF-投射模,则由(3) ,对任意整数 , ,则 ,故由A的任意性知 。
接下来,我们主要研究一个模在什么时候有特殊的Gorenstein MF-投射预覆盖。
定理2.2 任意Gorenstein MF-投射维数有限的R-模G都存在特殊的Gorenstein MF-投射预覆盖。
证明 设 ,则存在正合列 ,其中 , 。因为 ,故存在 正合的正合列 ,其中 , ,可以得到如下交换图:
考虑映射锥
我们可以得到如下正合列
令 ,则有正合列
于是 ,由推论1.2知,对任意Gorenstein MF-投射模 , 。 ,正合列 是 正合的,即 是G的一个特殊的Gorenstein MF-投射预覆盖。
本文主要研究了Gorenstein MF-投射模的基本同调性质,给出了R是半单环时,任意R-模都是Gorenstein MF-投射模的等价刻画,证明了Gorenstein MF-投射维数有限的R-模G都存在特殊的Gorenstein MF-投射预覆盖。
文章引用
周彩霞. Gorenstein MF-投射模
Gorenstein MF-Projective Modules[J]. 理论数学, 2022, 12(04): 565-571. https://doi.org/10.12677/PM.2022.124063
参考文献
- 1. Enochs, E.E. and Jenda, J.J. (1995) Gorenstein Injective and Projective Modules. Mathematische Zeitschrift, 220, 611-633. https://doi.org/10.1007/BF02572634
- 2. Enochs, E.E. and Jenda, O.M.G. (2000) Relative Homological Algebra. Walter de Gruyer, Berlin. https://doi.org/10.1515/9783110803662
- 3. Holm, H. (2004) Gorenstein Homological Dimensions. Journal of Pure and Applie Algebra, 189, 167-193. https://doi.org/10.1016/j.jpaa.2003.11.007
- 4. Xiang, Y.M. (2010) Max-Injective, Max-Flat Modules and Max-Coherent Rings. Bulletin of the Korean Mathematical Society, 47, 11-622. https://doi.org/10.4134/BKMS.2010.47.3.611
- 5. Alagöz, Y. (2021) On MF-Projective Modules. Hacettepe Journal of Mathematics and Statistics, 50, 471-482.
- 6. Zhu, X.S. (2013) Resolving Resolution Dimensions. Journal of Algebra Represent Theory, 16, 1165-1191. https://doi.org/10.1007/s10468-012-9351-5
- 7. Hwankoo, K., Qiao, L. and Wang, F.G. (2022) The Class of Weak w-Projective Modules Is a Precover. Bulletin of the Korean Mathematical Society, 59, 141-154.
- 8. Stenstrom, B. (2004) Rings of Quotients: An Introduction to Methods of Ring Theory. Springer Verlag, Berlin.