Gorenstein FPn-内射模和Gorenstein FPn-平坦模

2019-11-09陈东,胡葵

四川师范大学学报（自然科学版） 2019年5期

陈东, 胡葵

(1. 成都大学信息科学与工程学院, 四川成都 610106; 2. 西南科技大学理学院, 四川绵阳 621010)

1 引言及预备知识

Gorenstein内射模和Gorenstein平坦模是Gorenstein同调理论中的基本研究对象,文献[1-3]用FP-内射模代替内射模,引入了GorensteinFP-内射模和Ding内射模的概念.称R-模M是GorensteinFP-内射模,如果存在FP-内射模Ii和Ii的正合列

…→I1→I0→I0→I1→…,

使得M≅ker(I0→I0),且对任意的FP-内射模I,函子HomR(I,-)使上述正合列保持正合.称R-模M是Ding内射模,如果存在内射模Ei和Ei的正合列

…→E1→E0→E0→E1→…,

Fn→Fn-1→…→F1→F0→N→0,

其中每个Fi是有限生成的自由模或投射模.容易看到,当R是Noether环时,FPn-内射模和内射模是一致的.相关概念参见文献[4],不再赘述.

为讨论方便,本文恒设R是交换环,所讨论的环均指有单位元的结合环,模指酉模.用FIn表示FPn-内射模,⊥M表示M的左正交补,M+表示M的特征模HomZ(M,Q/Z).

2 主要结果

定义 11) 称R-模M是GorensteinFPn-内射模,如果存在FPn-内射模Ei和Ei的正合列

…→E1→E0→E0→E1→…,

(1)

使得M≅ker(E0→E0),且对任意的FPn-内射模I,函子HomR(I,-)使上述正合列保持正合.2) 称R-模M是GorensteinFPn-平坦模,如果存在FPn-平坦模Fi和Fi的正合列

…→F1→F0→F0→F1→…,

(2)

使得M≅ker(F0→F0),且对任意的FPn-内射模I,函子I⊗-使上述正合列保持正合.

定义 21) 称R-模M是n-Ding内射模,如果存在内射模Ei和Ei的正合列

…→E1→E0→E0→E1→…,

使得M≅ker(E0→E0),且对任意的FPn-内射模I,函子HomR(I,-)使上述正合列保持正合.2) 称R-模M是n-Ding平坦模,如果存在平坦模Fi和Fi的正合列

…→F1→F0→F0→F1→…,

使得M≅ker(F0→F0),且对任意的FPn-内射模I,函子I⊗-使上述正合列保持正合.

注 3由定义:

1) {内射模}⊆{FP-内射模}⊆{FPn-内射模}⊆{GorensteinFPn-内射模};

{平坦模}⊆{FPn-平坦模}⊆{GorensteinFPn-平坦模}.

2) GorensteinFP0-内射模是Gorenstein内射模,GorensteinFP1-内射模是GorensteinFP-内射模;GorensteinFP0-平坦模和GorensteinFP1-平坦模恰好是Gorenstein平坦模.

3) {n-Ding内射模}⊆{Gorenstein内射模},{n-Ding平坦模}⊆{Gorenstein平坦模}.

4) 正合列(1)和(2)中所有的像、核、上核都是GorensteinFPn-内射模(或GorensteinFPn-平坦模).

5) GorensteinFPn-内射模对直积、直和加项封闭;GorensteinFPn-平坦模对直和、直和加项封闭.

命题 4设M是GorensteinFPn-平坦模,则M+是GorensteinFPn-内射模.

证明由于M是GorensteinFPn-平坦模,故存在FPn-平坦模Fi和Fi的正合列

F=…→F1→F0→F0→F1→…,

使得M≅ker(F0→F0),且对任意的FPn-内射模E,E⊗F是正合的.于是又有

(E⊗F)+=…→(E⊗F1)+→(E⊗F0)+→

(E⊗F0)+→(E⊗F1)+→…

(3)

是正合的.由于(Fi)+和(Fi)+是FPn-内射模,从而有

F+=…→(F1)+→(F0)+→

(F0)+→(F1)+→…

是FPn-内射模的正合列,且M+≅ker((F0)+→(F0)+).另一方面,对正合列(3),由相伴同构定理知

…→HomR(E,(F1)+)→HomR(E,(F0)+)→

HomR(E,(F0)+)→HomR(E,(F1)+)→…

是正合的.因此,M+是GorensteinFPn-内射模.

文献[7]中定义了R-模M的FP-内射维数

其中N是有限表现模}.

相应地,可以定义R-模M的FPn-内射维数

其中N是n-有限表现模}.

以下给出n-凝聚环上FPn-内射维数的一个刻画:

命题 5设R是n-凝聚环,则M的FPn-内射维数FPn-idR(M)≤n,当且仅当存在正合列

0→M→E0→E1→…→En→0,

其中每个Ei是FPn-内射模.

命题 6设R是n-凝聚环,M是GorensteinFPn-内射模,则M的FPn-内射维数FPn-idR(M)等于0或∞.

证明设FPn-idR(M)=n<∞,由命题5,存在FPn-内射模的正合列

0→M→E0→E1→…→En→0.

从而又有短正合列:

0→M→E0→C0→0,

0→C0→E1→C1→0,

……

0→Cn-2→En-1→En→0,

由于M是GorensteinFPn-内射模,故对任意的FPn-内射模I,函子HomR(I,-)使上述所有正合列保持正合.因而有正合列

HomR(En,En-1)→HomR(En,En)→0.

于是该正合列分裂,故Cn-2是FPn-内射模.类似的方法如此下去,得到每个Ci都是FPn-内射模.由第一个短正合列,M是FPn-内射模.

文献[1]证明了环R是Noether环当且仅当每个FP-内射模是Gorenstein内射模,当且仅当每个GorensteinFP-内射模是Gorenstein内射模.现用GorensteinFPn-内射模刻画Noether环.

定理 7以下各条等价:

1)R是Noether环;

2) 每个FPn-内射模是Gorenstein内射模;

3) 每个FPn-内射模是n-Ding内射模;

4) 每个GorensteinFPn-内射模是Gorenstein内射模;

5) 每个GorensteinFPn-内射模是n-Ding内射模.

证明1)⟹3)⟹2),1)⟹4)⟹2)和1)⟹5)⟹3)显然.

于是又有正合列

即

近年来,许多学者研究了Gorenstein同调模的结构.2010年,文献[8]证明了若R是Gorenstein环且Krull维数有限,则每个Gorenstein内射模也可以分解为不可分解的Gorenstein内射模的直和.2018年,文献[6]证明了一个局部2-强Gorenstein半单环R上每个R-模M都有分解M=R(I)⊕N,其中R(I)是秩为I的自由模,N满足对任意x∈N,都有Ann(x)≠0,其中Ann(x)表示元素x的零化子.现讨论n-凝聚环上GorensteinFPn-内射模的结构.