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-投射预覆盖。