Pure Mathematics
Vol.
12
No.
04
(
2022
), Article ID:
50150
,
7
pages
10.12677/PM.2022.124058
弱Gorenstein X-投(内)射模
武新文
敦煌市第二中学,甘肃 敦煌
收稿日期:2022年3月2日;录用日期:2022年4月5日;发布日期:2022年4月12日
摘要
引入弱Gorenstein X-投(内)射模,讨论其基本同调性质,证明在任意环R上,若lD(R) ≤ 1,则Gorenstein X-投(内)射模类、弱Gorenstein X-投(内)射模类、Gorenstein投(内)射模类和弱Gorenstein投(内)射模类是同一个类。
关键词
弱Gorenstein X-投(内)射模,wGXI-封闭环
Weak Gorenstein X-Projective (Injective) Modules
Xinwen Wu
Dunhuang No. 2 Middle School, Dunhuang Gansu
Received: Mar. 2nd, 2022; accepted: Apr. 5th, 2022; published: Apr. 12th, 2022
ABSTRACT
Weak Gorenstein X-projective (injective) modules are introduced. The homological properties of the two types of modules are investigated. It is proved that on the ring R, if lD(R) ≤ 1, then the class of Gorenstein X-projective (injective) modules, the class of weak Gorenstein X-projective (injective) modules, the class of Gorenstein projective (injective) modules and the class of weak Gorenstein projective (injective) modules are the same class.
Keywords:Weak Gorenstein X-Projective (Injective) Module, wGXI-Closed Ring
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. 引言
1994年,Fay等人引入X-投(内)射模的概念,研究了其同调性质 [1]。1995年,Enochs等人在一般环上引入Gorenstein投(内)射模的概念 [2]。随后,以Gorenstein投(内)射模为对象的Gorenstein相对同调代数得到了广大学者的青睐。2007年,Bennis等人引入强Gorenstein 投(内)射模的概念 [3]。2013年,高增辉引入弱Gorenstein投(内)射模 [4]。2014年,Umamaheswaran等人引入Gorenstein X-投(内)射模的概念 [5]。同年,陈文静等人引入弱Gorenstein FP-内射模的概念,讨论了凝聚环上FP-内射模类、Gorenstein FP-内射模类和弱Gorenstein FP-内射模类三者之间的联系 [6] [7]。2021年,袁倩等人引入弱Gorenstein FC-投射模的概念,讨论了任意环上FC-投射模类、Gorenstein FC-投射模类、强Gorenstein FC-投射模类、弱Gorenstein FC-投射模类和强泛Gorenstein FC-投射模类五者之间的联系,并利用弱Gorenstein FC-投射模对右Gorenstein FC-半单环进行了刻画 [8]。
受以上文献的启发,我们利用X-投(内)射模,引入弱Gorenstein X-投(内)射模的概念,讨论其同调性质,并证明当lD(R) ≤ 1时,模类Gorenstein投(内)射模类、Gorenstein X-投(内)射模类、弱Gorenstein投(内)射模类和弱Gorenstein X-投(内)射模类是同一个类。
本文中所提到的环均指有单位元的结合环。模均指酉模,除非特别说明,R-模指左R-模。本文中,我们用R-Mod表示左R-模范畴;用P (I, GP, GI, SGP, SGI, wGP, wGI, GXP, GXI)表示投射R-模类(内射R-模类,Gorenstein投射R-模类,Gorenstein内射R-模类,强Gorenstein投射R-模类,强Gorenstein内射R-模类,弱Gorenstein投射R-模类,弱Gorenstein 内射R-模类,Gorenstein X-投射R-模类,Gorenstein X-内射R-模类);用pd(M)和id(M)表示R-模M的投射维数和内射维数;用lD(R)表示环R的左整体维数。 表示自然数集。未交待的概念和符号,参考文献 [5] [8] [9] [10]。
全文共分为四部分:第一节引言;第二节罗列本文所需概念和基本事实;第三节引入弱Gorenstein X-投(内)射模,讨论其基本同调性质;第四节利用模的X-投(内)射维数,证明当lD(R) ≤ 1时,模类Gorenstein 投(内)射模类、Gorenstein X-投(内)射模类、弱Gorenstein投(内)射模类和弱Gorenstein X-投(内)射模类是同一个类。
2. 预备知识
定义2.1 [1] 设X是R-模类,称R-模M是X-投射模,如果对任意 ,。我们将X-投射模记作XP。对偶地,可定义XI。
定义2.2 [2] 称投射R-模的正合列 是完全投射分解,如果对任意投射R-模Q,序列 正合。称R-模M是Gorenstein投射模,如果存在一个完全投射分解 使得 。我们将Gorenstein投射模记作GP。对偶地,可定义GI。
定义2.3 [3] 称R-模M是强Gorenstein投射模,如果存在投射R-模的正合列 ,使得 ,并且对任意投射R-模Q,序列 正合。我们将强Gorenstein投射模记作SGP。对偶地,可定义SGI。
定义2.4 [4] 称R-模M是弱Gorenstein投射模,如果存在投射R-模的正合列 ,使得 。此时,称序列 是M的弱完全投射分解。我们将弱Gorenstein投射模记作wGP。对偶地,可定义wGI。
定义2.5 [5] 设X是R-模类,称R-模M是Gorenstein X-投射模,如果存在投射模R-模的正合列 ,使得 ,并且对任意 ,序列 正合。我们将Gorenstein X-投射模记作GXP。对偶地,可定义GXI。
定义2.6 [9] 称R-模类X是投射可解类,如果 ,且对任意X中的正合列 ,其中 ,则 。对偶地,可定义内射可解类。
3. 弱Gorenstein X-投射模
本部分我们引入弱Gorenstein X-投(内)射模,讨论其基本同调性质。
定义3.1 设X是R-模类,称R-模M是是弱Gorenstein X-投射模,如果存在正合列
,
其中 ,使得 。此时,称正合列 是M的弱完全X-投射分解。
对偶地,称R-模M是是弱Gorenstein X-内射模,如果存在正合列
,
其中 ,使得 。此时,称正合列 是M的弱完全X-内射分解。
我们将弱Gorenstein X-投(内)射R-模类记为wGXP(wGXI)。
关于定义,我们注意到
注记3.2 1) ; ;
2) ; ;
3) 由对称性可知,定义3.1中的正合列 ( )中所有同态的像、核和余核都是弱Gorenstein X-投(内)射模;
4) wGXP(wGXI)关于直和(直积)封闭。
例3.3 1) 当X = R-Mod时,wGXP = wGP,wGXI = wGI;
2) 当X是有限表示R-模类时,弱Gorenstein X-内射模就是文献 [6] 中的弱Gorenstein FP-内射模;
3) 当X是有限余表示R-模类时,弱Gorenstein X-投射模就是文献 [8] 中的弱Gorenstein FC-投射模。
下面首先给出弱Gorenstein X-投射模的一些等价刻画,关于弱Gorenstein X-内射模,均有对偶结论。
命题3.4 设M是一R-模,则以下等价:
1) ;
2) 存在正合列 ,其中 ;
3) 存在正合列 ,其中 ,。
证明 (1) (2),(1) (3)由定义3.1易得。
(3) (2)因为 ,所以存在N的弱完全X-投射分解
,
其中 ,使得 ,故存在正合列 ,其中P和 。
(2) (1)任取M的一个投射分解 ,与条件中序列首尾相接就得到M的弱完全X-投射分解
,
使得 ,故 。
下面我们证明wGXP是投射可解类,并且关于直和项封闭。
命题3.5 设R是环,则wGXP关于扩张封闭当且仅当wGXP是投射可解类。
证明( )显然。
( )设 是R-模的正合列,只需证当 时, 即可。因为 ,所以由命题3.4可知存在正合列 ,其中 ,。考虑推出图
因为 ,所以 。对中间行用命题3.4可得 。
定义3.6 称环R是左wGXP封闭环,如果wGXP关于扩张封闭。
推论3.7 设R是左wGXP封闭环,则wGXP关于直和项封闭。
证明 由文献( [9],命题1.4)易得。
命题3.8 设R是左wGXP封闭环, 是R-模的正合列,其中 ,则 。
证明 由注记3.2和推论3.7易得。
引理3.9 XP关于扩张与直和项封闭。
证明 设X是R-模类, 是R-模的正合列,其中 。下证 。任取 ,存在长正合列 。因为 ,所以 ,。于是 ,故 ,即XP关于扩张。
设 是一簇X-投射模,任意R-模 ,由同构式 可得XP关于直和项封闭。
于是,结合引理3.9,下面我们弱化命题3.8。
命题3.10 设R是左wGXP封闭环, 是R-模的正合列,其中 ,则 。
证明 ( )设 ,则由命题3.4可知存在正合列 ,其中 ,。考虑推出图
因为 ,,所以 ,则对中间行用命题3.4可得 。
( )设 ,则由命题3.4可知存在正合列 ,其中 ,。考虑推出图
因为 ,所以由引理3.9可知 ,则对中间列用命题3.4可得 。
命题3.11 设R是环,M是一R-模,则以下等价:
1) 若 ,则 ;
2) 若 ,则 ;
3) 若 ,则 ;
4) 若 ,则 ;
5) 若 ,则 ;
6) 若 ,则 。
证明 (1) (2) (3) (4) (5),(6) (5)显然。
(5) (6)设 ,则由条件可知 。于是由命题3.4可知存在正合列 ,其中 ,。因为 ,所以正合列 可裂,因此由引理3.9可知 。
(6) (1) ,取M的投射分解和内射分解相连接,则存在正合列
其中 ,,故 。
推论3.12 设R是环,M是一R-模,考虑下面R-模的正合列
和
,
其中 。若wGXP关于扩张封闭,则 当且仅当 。
证明 类似于文献( [10],引理2.1)的证明。
4. X-投(内)射维数
本部分我们引入模M的X-投(内)射维数,讨论在任意环上GXP(GXI)、wGXP(wGXI)、GP(GI)和wGP(wGI)四者之间的联系。
定义4.1 设R是环,M是一R-模,我们如下定义模M的X-投射维数:
存在正合列 ,其中 ,。
若上述集合为空集,则规定 。
如下定义模M的X-内射维数:
存在正合列 ,其中 ,。
若上述集合为空集,则规定 。
下面我们讨论模M的X-投射维数的相关结论,关于模M的X-内射维数,均有对偶结论。
命题4.2 设R是环, ,M是一R-模,若 ,则以下等价:
1) ;
2) ;
3) ;
4) ;
证明 由文献( [5],命题2.1.1)可知(1) (2),(3) (4)。
(3) (1)显然。
(1) (3)设 ,则存在投射模的正合列 ,使得 。只需证对任意投射模Q,序列 正合即可。设 ,我们对n进行数学归纳。当 时,序列 显然正合。设 ,则对模Q存在正合列 ,其中 ,。因此存在正合列 。由归纳假设可得,序列 正合。显然序列 也正合,故序列 正合。
推论4.3 设R是环,若 ,则模类GP、GXP、wGP和wGXP是同一个类。
文章引用
武新文. 弱Gorenstein X-投(内)射模
Weak Gorenstein X-Projective (Injective) Modules[J]. 理论数学, 2022, 12(04): 525-531. https://doi.org/10.12677/PM.2022.124058
参考文献
- 1. Fay, T. and Joubert, S. (1994) Relatively Injectivity. Chinese Journal of Mathematics, 22, 65-94.
- 2. Enochs, E.E. and Jenda, O.M.G. (1995) Gorenstein Injective and Projective Modules. MathZ, 220, 611-633. https://doi.org/10.1007/BF02572634
- 3. Bennis, D. and Mahdou, N. (2007) Strongly Gorenstein Projective, In-jective, and Flat Modules. Journal of Pure and Applied Algebra, 210, 437-445. https://doi.org/10.1016/j.jpaa.2006.10.010
- 4. Gao, Z.H. (2013) Weak Gorenstein Projective, Injective and Flat Modules. Journal of Algebra and Its Applications, 12, 3841-3858. https://doi.org/10.1080/00927872.2011.597809
- 5. Umamaheswaran, A. and Selvaraj, C. (2014) A Study on X-Injective and Gorenstein X-Injective Modules. India Periyar University, Tamil Nadu.
- 6. 陈文静, 杨晓燕. 弱Gorenstein FP-内射模[J]. 四川师范大学学报(自然科学版), 2014, 37(4): 477-481.
- 7. 陈文静, 杨晓燕. 强和强泛Gorenstein FP-内射模[J]. 西南大学学报(自然科学版), 2014, 36(8): 75-78.
- 8. 袁倩, 张文汇. 强泛Gorenstein FC-投射模[J]. 理论数学, 2021, 11(4): 647-653.https://doi.org/10.12677/pm.2021.114078
- 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. Zhu, X.S. (2013) Resolving Resolution Dimensions. Algebras and Representation Theory, 16, 1165-1191. https://doi.org/10.1007/s10468-012-9351-5