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