相對(duì)n-FP-內(nèi)射模

張齊,朱輝輝

(1.銅陵學(xué)院數(shù)學(xué)與計(jì)算機(jī)學(xué)院,安徽銅陵244000;2.東南大學(xué)數(shù)學(xué)系,江蘇南京210096)

相對(duì)n-FP-內(nèi)射模

張齊1,朱輝輝2

(1.銅陵學(xué)院數(shù)學(xué)與計(jì)算機(jī)學(xué)院,安徽銅陵244000;2.東南大學(xué)數(shù)學(xué)系,江蘇南京210096)

給出了n-FP-內(nèi)射模的定義,M為左R-模,如果對(duì)任意的左R-模N有Ext1(N,M)=0,則稱M為n-FP-內(nèi)射模,作為應(yīng)用,給出了n-FP-內(nèi)射模的一些等價(jià)條件.

余撓理論;FP-投射維數(shù);n-FP-內(nèi)射模;(預(yù))覆蓋

1 引言

本文中,R表示有單位元的結(jié)合環(huán),所有的模均指酉模,記M表示左R模.令0→M→E0→E1→………為模M的一個(gè)內(nèi)射分解,其中L0=M,L1=Im(E0→E1), Li=Im(Ei?1→Ei),稱Ln為M的第n個(gè)上合沖[1].符號(hào)wD(R),pd(M)和id(M)分別表示環(huán)R的弱整體維數(shù),模M的投射維數(shù)以及內(nèi)射維數(shù).用HomR(M,N)((M,N))表示Hom(M,N)(Extn(M,N)).如果對(duì)任意的有限表示R-模N都有Ext1(M,N)=0,稱M為FP-投射模.模M的FP-投射維數(shù)(FP-fd(M))定義為最小的數(shù)n≥0使得Extn+1(M,N)=0(N為有限表示的左R-模),如果這樣的n不存在,定義FP-fd(M)=∞, l.FP?dim(R)定義為sup{FP-fd(M),M為左R-模},FPn(FCn)表示所有FP-投射維數(shù)(FP-內(nèi)射維數(shù))小于等于n的左R-模類.

環(huán)R被稱為左凝聚環(huán)如果R的每個(gè)有限生成左理想都是有限表示的,左R-模類(F,C)稱為余撓的,如果F⊥=C和⊥C=F,其中

設(shè)C為左R-模類,同態(tài)?:M→F稱為模F的C-預(yù)覆蓋(M∈C),如果對(duì)任意的f:M′→F,存在同態(tài)g:M′→M使得f=?g.如果同態(tài)g是M的同構(gòu),則F的C-預(yù)覆蓋叫做F的C-覆蓋.對(duì)偶地,可以定義C-預(yù)包絡(luò)和C-包絡(luò).由文獻(xiàn)[2]知,如果Kerβ∈C⊥,則同態(tài)β:F→M(F∈C)為M的一個(gè)特殊C-預(yù)覆蓋.顯然,特殊的C-預(yù)覆蓋是C預(yù)覆蓋.

1993年,文獻(xiàn)[3]討論了內(nèi)射模的投射維數(shù).2005年,文獻(xiàn)[2]考慮了相對(duì)FP-投射模,并且給出了相對(duì)FP-投射模的一些等價(jià)條件.更多關(guān)與投射模,內(nèi)射模的結(jié)果可參考文獻(xiàn)[4-10].受文獻(xiàn)[2]啟發(fā),考慮相對(duì)n-FP-內(nèi)射模及其相關(guān)性質(zhì).因此,一些關(guān)于相對(duì)FP-內(nèi)射模的結(jié)果是本文的推論.

2 定義及主要結(jié)果

首先,給出n-FP-內(nèi)射模的定義.

定義2.1設(shè)R為任意環(huán),n為非負(fù)數(shù),M為左R-模,如果對(duì)任意的左R-模N(FP-fd(N)≤n)都有Ext1(N,M)=0.則稱M為n-FP-內(nèi)射模.把0-FP-內(nèi)射模稱為FP-內(nèi)射模.

對(duì)左R-模M,設(shè)vR(M)=sup{n:M為n-FP-內(nèi)射模},定義vR(M)=?1如果對(duì)某些FP-投射左R-模N有Ext1(N,M)/=0.環(huán)的左維數(shù)(l.v-dim(R))定義為最小的非負(fù)數(shù)n使得vR(M)≥n,對(duì)任意的左R-模M有vR(M)=∞,如果不存在這樣的n,規(guī)定l.v-dim(R)=∞.

命題2.1

(1)m-FP-內(nèi)射模一定為n-FP-內(nèi)射模(m≤n);

(2)vR(M)≥n當(dāng)且僅當(dāng)對(duì)某個(gè)數(shù)n≥0,M為n-FP-內(nèi)射模;vR(M)=∞當(dāng)且僅當(dāng)對(duì)任意的數(shù)m≥0,M為m-FP-內(nèi)射模,當(dāng)且僅當(dāng)對(duì)所有的左R-模N(FP-fd(N)<∞)都有Ext1(N,M)=0;

(3)如果l.FP-dim(R)≤n,則所有的n-FP-內(nèi)射左R-模類和所有的內(nèi)射左R-模類是一致的,因此l.v-dim(R)≤l.FP-dim(R);

(4)若R是左凝聚環(huán)且FP-fd(M)=m,則對(duì)所有的有限表示左R-模F及k≥1,都有Extm+k(M,F)=0.

引理2.1設(shè)R為左凝聚環(huán),M為n-FP-內(nèi)射左R-模(n≥0),則對(duì)任意的左R-模N (FP-fd(N)≤n+1),都有Extj(N,M)=0(j≥2).

證明對(duì)FP-fd(N)≤n+1的左R-模N,存在正合列0→K→P→N→0,其中P為投射模,FP-fd(K)≤n,由長(zhǎng)正合列定理得:

因此,Extj(N,M)=0(j≥2).

通過(guò)引理2.1知：若R是左凝聚環(huán),M為n-FP-內(nèi)射左R-模,則對(duì)FP-fd(N)≤n的左R-模N及數(shù)j≥1,有Extj(N,M)=0.

命題2.2設(shè)0→A→B→C→0為左R-模正合列.有如下結(jié)論:

(1)若VR(A)≥0,則VR(C)≥inf{VR(A)+1,VR(B)};

(2)VR(B)≥inf{VR(A),VR(C)};

(3)如果B=A⊕C,則VR(A⊕C)=inf{VR(A),VR(C)}.

證明對(duì)任意的左R-模N,應(yīng)用長(zhǎng)正合列定理,可得:

結(jié)合引理2.1即得.

推論2.1設(shè)R為有單位的結(jié)合換環(huán),則

(1)每個(gè)有限表示的左R-模的第n個(gè)上合沖Ln是n-FP-內(nèi)射模;

(2)任意的有限生成的1-FP-內(nèi)射模的有限生成商模是1-FP-內(nèi)射模;

(3)對(duì)任意的左R-模同態(tài)α:M→N,其中M,N是有限生成的1-FP-內(nèi)射模,有Im(α)是1-FP-內(nèi)射模,而且如果N是2-FP-內(nèi)射模,則Im(α)也是2-FP-內(nèi)射模.

證明(1)設(shè)M為有限表示的左R-模,存在整合列:

Ei(1≤i≤n?1)均為內(nèi)射的,設(shè)L1=Im(E0→E1),Ei=Im(Ei?1→Ei),則0→M→E0→L1→0是正合的,既然VR(M)≥0,VR(E0)=∞(E0為內(nèi)射模),由命題2.2知: VR(L1)≥inf{VR(M)+1}≥1,類推即得(1).

(2)設(shè)N為1-FP-內(nèi)射左R-模M的有限生成子模,則存在如下正合列：0→N→M→M/N→0,應(yīng)用命題2.2(1)即得.

(3)由Im(α)≤N得Im(α)是有限生成的,所以M/Ker(α)Im(α)是1-FP-內(nèi)射的,考慮正合列:

應(yīng)用命題2.2(1)即得(3).

若R是Gorenstein環(huán),則每個(gè)Gorenstein內(nèi)射模都是m-FP-內(nèi)射模(0≤m<∞).通過(guò)文獻(xiàn)[2],如果R是n-Gorenstein環(huán),則左R-模M是m-FP-內(nèi)射模(n≤m<∞)當(dāng)且僅當(dāng)M是Gorenstein內(nèi)射模.

引理2.2[2]設(shè)R為左凝聚環(huán),n≥0,則()是余撓理論,而且每個(gè)左R-模都有一個(gè)特殊預(yù)包絡(luò),每個(gè)左R-模都有一個(gè)特殊預(yù)覆蓋.

命題2.3設(shè)R為左凝聚環(huán)且對(duì)某個(gè)整數(shù)n≥0有FP-fd(RR)≤n,則下列陳述等價(jià)：

(1)M是n-FP-內(nèi)射模;

(6)存在內(nèi)射分解E=0→M→E0→E1→………,使得對(duì)所有的左R-模N(FP-fd(N)≤n),Hom(N,)是正合的.

證明(1)?(2)由長(zhǎng)正和列定理得:

即得.

(1)?(3)顯然.

(3)?(4)設(shè)0→M→E→F→0為正合列,其中E為內(nèi)射的,由FP-fd(RR)≤n,所以FP-fd(E)≤n,因此E→F是預(yù)覆蓋.

(4)?(1)由(4),存在正合列：0→M→E→F→0,其中E→F是一個(gè)預(yù)覆蓋(E為內(nèi)射的).對(duì)每個(gè)N∈,存在正合列:Hom(N,E)→Hom(N,F)→Ext1(N,M)→0,由(4)Hom(N,E)→Hom(N,F)→0是正合的,因此Ext1(N,M)=0,即M是n-FP-內(nèi)射模.

(1)?(5)設(shè)0→M→E0→E1→………為M的一個(gè)內(nèi)射分解,由假設(shè)FP-fd(Ei)≤n (i=0,1,2,………),設(shè)N是任意的左R-模(FP-fd(N)≤n),既然M是n-FP-內(nèi)射模,由引理2.3,對(duì)任意的j≥1,Extj(N,M)=0,因此序列

是正合的.另一方面,構(gòu)造正合列………→E1→E0→M→0.由引理2.2知：E0→M, Im(E2→E1)→E0,Im(En+1→En)→En?1是-預(yù)覆蓋,因此有正合列:

(5)?(6)顯然可得.

(6)?(1)存在M的一個(gè)內(nèi)射分解0→M→E0→E1→………,對(duì)所有的左R-模N(FP-fd(N)≤n),Hom(N,E0)→Hom(N,E1)→Hom(N,E2)是正合的,結(jié)合長(zhǎng)正合列定理即得.

定理2.1設(shè)R為左凝聚環(huán),n為非負(fù)數(shù),則下列等價(jià):

(1)l.FP-dim(R)≤n;

(2)wD(R)≤n;

(3)每個(gè)n-FP-內(nèi)射模都是內(nèi)射的;

(4)對(duì)每個(gè)0-FP-內(nèi)射左R-模有id(M)≤n;

(5)對(duì)每個(gè)n-FP-內(nèi)射左R-模有FP-fd(M)≤n;

(7)每個(gè)(n?1)-FP-內(nèi)射模M有id(M)≤1.

證明由文獻(xiàn)[8]可得(1)?(2)?(4).(1)?(3)和(1)?(6)是平凡的.

(3)?(1)對(duì)每個(gè)左R-模,l.FP-dim(R)≤n等價(jià)于FP-fd(M)≤n,用引理2.2可得.

(5)?(1)設(shè)M為左R-模,由引理2.2,M有個(gè)特殊的預(yù)包絡(luò),因此存在短正合列:0→M→N→K→0,N是n-FP-內(nèi)射的,由(5)知FP-fd(N)≤n,FP-fd(M)≤n,可得(1).

(1)?(4)設(shè)M為0-FP-內(nèi)射左R-模,則M有一個(gè)內(nèi)射分解:

設(shè)N為任意的左R-模,FP-fd(N)≤n,(對(duì)偶與文獻(xiàn)[8])存在正合列:

其中P0,P1,………,Pn是FP-投射的,因此可構(gòu)造下面的雙復(fù)形:

除了最下面一行外,所有的行均為正合的(M是0-FP-內(nèi)射的,Pi是FP-投射的).除了左邊一列外,所有的列均正合的(Ei均為內(nèi)射的).因此下面兩復(fù)形

和

是同構(gòu)同調(diào)群,而且對(duì)j≥1有Extn+j(N,M)=0,所以id(M)≤n.

(1)?(7)設(shè)M是(n?1)-FP-內(nèi)射左R-模,N為任意左R-模,既然FP-fd(N)≤n,由命題2.3知Ext2(N,M)=0,所以id(M)≤1.

眾所周知,左凝聚環(huán)R是半遺傳的當(dāng)且僅當(dāng)wD(R)≤1,有如下結(jié)果.

推論2.2設(shè)R是左凝聚環(huán),下列條件等價(jià):

(1)R是左半遺傳環(huán);

(2)每個(gè)1-FP-內(nèi)射左R-模是內(nèi)射模;

(3)每個(gè)0-FP-內(nèi)射R-模的內(nèi)射維數(shù)小于等于1;

(4)每個(gè)1-FP-內(nèi)射R-模的FP-投射維數(shù)小于等于1.

致謝作者真誠(chéng)地感謝評(píng)審專家仔細(xì)的閱讀和詳細(xì)的修改.

[1]Anderson F W,Fuller K R.Rings and Categories of Modules[M].New York:Springer,1992.

[2]Mao L X,Ding N Q.Relative FP-projective mosules[J].Communications in Algebra,2005,33:1587-1602.

[3]Ding N Q,Chen J L.The fl at dimensions of injective modules[J].Manuscripta Math.,1993,78:165-177.

[4]Enochs E E,Jenda O M G.Relative Homological Algebra[M].Berlin-New York:Walter de Gruyter,2000.

[5]Rotman J J.An Introduction to Homological Algebra[M].New York:Academic Press,1979.

[6]Trlifaj J.Covers,envelopes,and cotorsion theories[A]//Lecture notes for the workshop,“Homological Methods in Module Theory”.Cortona,2000,9:10-16.

[7]Huang Z Y,Tang G H.Self-orthogonal modules over coherent rings[J].Journal of Pure and Applied Algebra, 2001,161:167-176.

[8]Stenstrom B.Coherent rings and FP-injective modules[J].Journal of the London Mathematical Society, 1970,2(2):323-329.

[9]Garcia Rozas J R.Covers and Envelopes in the Categories of Complexes of Modules[M].New York: Springer-Verlag,1999.

[10]Xu J.Flat Covers of Modules[M].New York:Springer-Verlag,1996.

Relative n-FP-injective modules

Zhang Qi1,Zhu Huihui2
(1.School of mathematics and computer science,Tongling University,Tongling244000,China; 2.Department of Mathematics,Southeast University,Nanjing210096,China)

Let R be an associative ring.A left R-module M is called n-FP-injective if Ext1(N,M)=0 for any left R-module N whose FP-projective dimension≤n.As applications,some equivalences of n-FP-injective modules are given.

cotorsion theory,FP-projective dimension,n-FP-injective modules,(pre)cover

O153.3

A

1008-5513(2014)03-0286-06

10.3969/j.issn.1008-5513.2014.03.010

2013-10-30.

江蘇省研究生創(chuàng)新基金(CXLX13-072).

張齊(1983-),碩士,研究方向：代數(shù)學(xué).

2010 MSC:16E05,16E10