熊濤

(西華師范大學(xué)數(shù)學(xué)與信息學(xué)院,四川南充 637002)

1 引言

本文規(guī)定,R恒指有單位元的交換環(huán).對(duì)R-模N,fdRN(resp.pdRN)代表N的平坦(resp.投射)維數(shù).用Fn表示平坦維數(shù)不超過(guò)n的R-模簇,用w.gl.dim(R)表示R的弱整體維數(shù).對(duì)于未解釋的概念和符號(hào),參考文獻(xiàn)[1,2].

文獻(xiàn)[3]引入的FFD(R)維數(shù)受到了廣泛關(guān)注.例如,文獻(xiàn)[4,推論5.3]表明,一個(gè)Noether環(huán)R,總有FFD(R)≤dim(R)≤FFD(R)+1成立,這里dim(R)是R的Krull維數(shù);特別地,如果R是局部環(huán),則FFD(R)=dim(R)當(dāng)且僅當(dāng)R是Cohen-Macaulay環(huán).

稱(chēng)R是chain環(huán)是指其理想按包含關(guān)系所構(gòu)成的格是全序的,R稱(chēng)為arithmetical是指對(duì)R的每個(gè)極大理想m,Rm是chain環(huán).R稱(chēng)為半凝聚環(huán)是指對(duì)任何一對(duì)內(nèi)射模E,F,HomR(E,F)是某個(gè)平坦模的子模.文獻(xiàn)[5,定理1]證明了對(duì)每個(gè)交換的arithmetical環(huán)R,總有FFD(R)≤2成立.更確切地說(shuō),當(dāng)R為局部IF(locally IF)環(huán)時(shí),FFD(R)=0成立;當(dāng)R是局部半凝聚(locally semicoherent)環(huán)但不是局部IF環(huán)時(shí),都有FFD(R)=1,這里環(huán)R稱(chēng)為IF環(huán)是指每個(gè)內(nèi)射R-模是平坦模,(見(jiàn)文獻(xiàn)[6]).文獻(xiàn)[5,定理2]證明了當(dāng)R既是IF環(huán)又是chain環(huán)時(shí),則FFD(R)=0;當(dāng)R是非半凝聚的chain環(huán)時(shí),都有FFD(R)=2.

在經(jīng)典同調(diào)理論中,環(huán)R的整體維數(shù)是所有模的投射維數(shù)(或者內(nèi)射維數(shù))的上確界;弱整體維數(shù)w.gl.dim(R)是模的平坦維數(shù)的上確界.在相對(duì)同調(diào)理論中,環(huán)R的Gorenstein整體維數(shù)也是所有模的Gorenstein投射維數(shù)的上確界,或者Gorenstein內(nèi)射維數(shù)的上確界;Gorenstein弱整體維數(shù)是所有模的Gorenstein平坦維數(shù)的上確界.

然而,環(huán)的有窮平坦維數(shù)FFD(R)不是像經(jīng)典同調(diào)理論和相對(duì)同調(diào)理論那樣,建立在整個(gè)R-模范疇上,而是建立在平坦維數(shù)有限的子范疇上.對(duì)任給一個(gè)模M,在判定其平坦維數(shù)是否有限時(shí),存在技術(shù)上的困難.本文借助文獻(xiàn)[7]中提出的n-無(wú)撓模,建立了整個(gè)R-模范疇上的n-無(wú)撓分解,任何模的n-無(wú)撓維數(shù),以及環(huán)R的n-無(wú)撓弱整體維數(shù)w.T Fn.D(R).證明了環(huán)R有FFD(R)≤n當(dāng)且僅當(dāng)w.T Fn+1.D(R)≤n,通過(guò)這個(gè)結(jié)果,將對(duì)FFD(R)的計(jì)算轉(zhuǎn)換成了對(duì)w.T Fn+1.D(R)的計(jì)算.

2 環(huán)的有窮平坦維數(shù)

定義2.1對(duì)R-模M,用tfndRM表示這樣的最小整數(shù)m≥0,存在正合列0→Dm→Dm?1→···→D1→D0→M→0,這里每個(gè)Di是n-無(wú)撓模.如果這樣的整數(shù)m不存在,則記tfndRM=∞.相應(yīng)地,環(huán)R的n-無(wú)撓弱整體維數(shù)w.T Fn.D(R)定義為sup{tfndRM|M是R-模}.

作為余撓模的深層次發(fā)展,文獻(xiàn)[8]在整環(huán)上引入War field-余撓模的概念.設(shè)R是整環(huán),R-模U稱(chēng)為War field-余撓模是指對(duì)任何無(wú)撓R-模D,都有文獻(xiàn)[9]證明了整環(huán)上每個(gè)撓的War field-余撓模,簡(jiǎn)稱(chēng)UT-模,內(nèi)射維數(shù)不超過(guò)1.對(duì)非負(fù)整數(shù)n,本文在任意環(huán)上引入n-War field余撓模.R-模U稱(chēng)為n-War field余撓模是指對(duì)任何n-無(wú)撓R-模D,恒有成立.顯然,0-War field余撓模就是內(nèi)射模.由文獻(xiàn)[8,引理2.3]可知,整環(huán)上的無(wú)撓模是1-無(wú)撓模,從而整環(huán)上的War field余撓模就是1-War field余撓模.

下文中,對(duì)R-模M,其特征模HomZ(M,Q/Z)記為M+.現(xiàn)在來(lái)刻畫(huà)模的n-無(wú)撓維數(shù).

定理2.2對(duì)R-模M及非負(fù)整數(shù)m,以下陳述等價(jià)

(1)tfndRM≤m;

(2)對(duì)任何R-模N∈Fn,

(3)對(duì)任何n-War field余撓R-模U,恒有成立.

進(jìn)而,對(duì)任何n≥0,任何R-模M,恒有tfndRM≤n成立.從而,w.T Fn.D(R)≤n對(duì)任何環(huán)R都成立.

證 (2)?(1)?(3).顯然.

現(xiàn)在來(lái)刻畫(huà)環(huán)的w.T Fn.D(R)維數(shù).

定理2.3對(duì)環(huán)R及非負(fù)整數(shù)m≤n,以下陳述等價(jià)

(1)w.T Fn.D(R)≤m;

(2)Fm=Fn;

(3)對(duì)R的任何理想I,tfndRR/I≤m成立.換言之,如果M是循環(huán)R-模,tfndRM≤m成立;

(4)對(duì)R的任何有限生成理想I,tfndRR/I≤m;

(5)如果M是有限生成R-模,tfndRM≤m成立;

(6)如果M是有限表現(xiàn)R-模,tfndRM≤m成立;

(7)如果U是n-War field余撓R-模,idRU≤m成立.

證由定理2.2可得(7)?(1)?(2),而(1)?(5)?(3)?(4)與(5)?(6)?(4)是顯然的.

(4)?(1)設(shè)m1=w.T Fn.D(R).則存在R-模M滿(mǎn)足tfndRM=m1,同時(shí)存在模N∈Fn滿(mǎn)足記s=fdRN.則m1≤s≤n.從而存在R的有限生成理想I滿(mǎn)足因此m≥tfndRR/I≥s≥m1.

(3)?(7)設(shè)I是R的理想.則由假設(shè),tfndRR/I≤m成立.由定理2.2可得.因此idRU≤m.

現(xiàn)在借助w.T Fn.D(R),來(lái)刻畫(huà)FFD(R).

定理2.4對(duì)環(huán)R,以下各條等價(jià)

(1)FFD(R)≤n;

(2)w.T Fn+1.D(R)≤n;

(3)FFD(R)=w.T Fn.D(R).

證(1)?(2)設(shè)N∈Fn+1是任意R-模.由假設(shè),fdRN≤n成立.因此由定理2.3可得w.T Fn+1.D(R)≤n.

(2)?(1)設(shè)N是R-模滿(mǎn)足fdRN=s<∞.不失一般性,可設(shè)s=n+1.則由定理2.3,fdRN≤n成立.從而FFD(R)≤n.

(3)?(1)運(yùn)用定理2.3即可.

(1)?(3)設(shè)FFD(R)=k<∞.對(duì)任何模N∈Fn,則fdRN≤k.因此對(duì)任何R-模M,都有成立.故由定理2.3,w.T Fn.D(R)≤FFD(R)成立.現(xiàn)在仍設(shè)w.T Fn.D(R)=k,N是R-模滿(mǎn)足fdRN<∞.則由假設(shè)fdRN≤n成立.故對(duì)任何R-模M,由定理2.3可得因此fdRN≤k.從而FFD(R)≤k.

對(duì)R-模M,記滿(mǎn)足對(duì)任何有限表現(xiàn)模F,都有成立的最小非負(fù)整數(shù)n為FP-idRM.如果這樣的n不存在,則記FP-idRM=∞.一個(gè)凝聚環(huán)R稱(chēng)為n-FC環(huán)是指FP-idRR≤n.由文獻(xiàn)[10,命題4.2.4],有

命題2.5設(shè)R是n-FC環(huán),則FFD(R)=n.

推論2.6對(duì)環(huán)R,以下陳述等價(jià)

(1)FFD(R)≤1;

(2)2-無(wú)撓R-模的子模是2-無(wú)撓模;

(3)平坦R-模的子模是2-無(wú)撓模;

(4)對(duì)任何R-模N∈F2,都有fdRN≤1;

(5)R的每個(gè)(有限生成)理想I是2-無(wú)撓模.

推論2.7FFD(R)=0當(dāng)且僅當(dāng)F1=F0,當(dāng)且僅當(dāng)每個(gè)R-模是1-無(wú)撓模.

文獻(xiàn)[5,定理1&定理2]表明,對(duì)局部IF環(huán)或者chain IF環(huán)R,恒有FFD(R)=0.事實(shí)上,可以將這個(gè)結(jié)果推廣到任意IF環(huán)上.

命題2.8設(shè)R是IF環(huán),則FFD(R)=0成立.因此一個(gè)IF環(huán)R或者是VN正則環(huán),或者w.gl.dim(R)=∞.

證設(shè)M∈F1是任意R-模,且設(shè)0→F1→F0→M→0是正合列,這里F0,F1是平坦模.則也是正合的,且是內(nèi)射模.由假設(shè),R是IF環(huán),故是平坦模.從而M+是平坦模.如此則M++也是平坦的.注意R是凝聚環(huán),可由文獻(xiàn)[11]推出M是平坦模.從而由推論2.7有FFD(R)=0.

對(duì)于一個(gè)完全環(huán)R,由文獻(xiàn)[12]及文獻(xiàn)[13,定理2.2]可知,FFD(R)=0成立.但是滿(mǎn)足FFD(R)=0的環(huán),卻未必是IF環(huán),也未必是完全環(huán).現(xiàn)在給出一個(gè)滿(mǎn)足FFD(R)=0,但它既不是完全環(huán),也不是IF環(huán)的例子.

例2.9設(shè)xi是有理數(shù)域 Q 的未定元. 取T=Q[x1,···,xn,···],m=(x1,···,xn,···).則R1=T/m2是以m/m2為唯一極大理想的局部環(huán).由于對(duì)任何,其零化子因此R1不是凝聚環(huán),從而也就不是IF環(huán).設(shè)R2是非Neother的IF環(huán).則由文獻(xiàn)[6,定理3.2],R2不是完全環(huán).構(gòu)造環(huán)R=R1×R2.顯然,FFD(R)=0成立.但R既不是完全環(huán),也不是IF環(huán).

3 有窮平坦維數(shù)的換環(huán)定理

文獻(xiàn)[7]中稱(chēng)R-模C是n-余撓模是指對(duì)任何R-模N∈Fn,都有.下文中,用Cn與T Fn分別表示n-余撓R-模簇與n-無(wú)撓R-模簇.現(xiàn)設(shè)A是一個(gè)R-模簇.其左,右正交類(lèi)分別是A⊥={B|對(duì)所有A∈A,都有和⊥A={B|對(duì)所有A∈A,都有.對(duì)兩個(gè)R-模簇A和B,模簇對(duì)(A,B)稱(chēng)為一個(gè)余撓理論,或者余撓對(duì)文獻(xiàn)[1]是指A⊥=B和A=⊥B同時(shí)滿(mǎn)足.文獻(xiàn)[14]表明(Fn,Cn)是余撓理論.

定理3.1對(duì)任意R-模M和N,存在正合列0→A→F→M→0與0→N→W→B→0,這里F,B∈Fn,A,W∈Cn.

證運(yùn)用文獻(xiàn)[14,引理1.11&定理2.8]和文獻(xiàn)[15,引理2.1.1&引理2.1.2]即可.

對(duì)任何n≥1及任何環(huán),總有T Fn?1.但一般情況下,卻未必有T Fn?1=T Fn.現(xiàn)在舉一個(gè)環(huán)的例子,滿(mǎn)足對(duì)任何n≥1,都有T Fn?1.

從而 cok(φ0πφ)cok(φ0), 且 fdRcok(φ0πφ)≤n. 設(shè)B是-模,且A是B的子模,滿(mǎn)足則由平坦維數(shù)的換環(huán)定理,有fdRB/A≤n.對(duì)任何同態(tài)f:A→Eu,考察如下交換圖

注意,E是n-余撓R-模,則存在同態(tài)g:B→E滿(mǎn)足f=gh.由于對(duì)任何x∈B,均有ux=0,則g(ux)=ug(x)=0且Im(g)?Eu.所以Eu是(n?1)-余撓-模.注意到則存在同態(tài)g:B→Eu滿(mǎn)足gφ0πφ=φ.因此gφ0π是同構(gòu),π是單同態(tài).故A0=0,即C=Eu.從而由定理2.2,k:=tfndRA≥m+1成立.假如k>m+1,由上面的證明過(guò)程可知,存在n-余撓模E且fdRE≤n保證成立.這與的事實(shí)是矛盾的.這說(shuō)明tfndRA=m+1.從而w.T Fn.D(R)≥m+1成立.

(2)記n=FFD(R).由定理2.4,w.T Fn+1.D(R)≤n成立.由(1),w.T Fn.成立.從而再由定理2.4可得

定理3.4設(shè)R是整環(huán),則FFD(R)≤1當(dāng)且僅當(dāng)對(duì)每個(gè)非單位元06u∈R,都有FFD(R/(u))=0.

證設(shè)0是R的任何理想,記M=R/I.任取0,由于uM=0,則M是-模.記=R/(u).由假設(shè),FFD(R/(u))=0成立.運(yùn)用定理2.4,可得w.T F1.D(R/(u))=FFD(R/(u))=0.則也成立.由定理3.3,tf2dRM≤1.由定理2.3可得w.T F2.D(R)≤1.再次運(yùn)用定理2.4,FFD(R)≤1成立.運(yùn)用定理3.3,另一個(gè)方向是顯然的.

命題 3.5設(shè)x1,x2,···,xm是R上的未定元,這里m≥1.則FFD(R[x1,···,xm])=FFD(R)+m.

證只需證FFD(R[x1])=FFD(R)+1.設(shè)FFD(R)=s,N是R[x1]-模滿(mǎn)足fdR[x1]N≤s+2.考察文獻(xiàn)[2,引理9.29]中出現(xiàn)過(guò)的正合列0→N[x1]→N[x1]→N→0,有fdRN≤fdR[x1]N≤1+fdR[x1]N[x1]=1+fdRN,從而fdRN≤s+2<∞.因此fdR[x1]N≤s+1.則由定理2.3可得w.T Fs+2.D(R[x1])≤s+1.運(yùn)用定理2.4,FFD(R[x1])≤s+1成立.另一方面,由于從而由定理3.3,成立.至此,有FFD(R[x1])=FFD(R)+1.

定理3.6設(shè)S是R的乘法封閉集.則FFD(RS)≤FFD(R).

證不失一般性,設(shè)m=FFD(R)<∞.設(shè)N是RS-模,且fdRSN<∞,從而fdRN=fdRSN<∞,有fdRSN≤m.從而有FFD(RS)≤m.

命題3.7設(shè)R是環(huán),Max(R)(resp.Spec(R))是R的極大(resp.素)理想的集合.則FFD(R)=sup{FFD(Rm)|m∈Max(R)}=sup{FFD(Rp)|p∈Spec(R)}

證只需證FFD(R)=sup{FFD(Rm)|m∈Max(R)},另一個(gè)斷語(yǔ)類(lèi)似可得.不失一般性,設(shè)t=FFD(R)<∞,s=sup{FFD(Rm)|m∈Max(R)}<∞.對(duì)任何m∈Max(R),由定理3.6,FFD(Rm)≤t成立.所以有s≤t.另一方面,設(shè)N是R-模滿(mǎn)足k=fdRN<∞.則存在正合列0→Fk→Fk?1→···→F1→F0→N→0,這里每個(gè)Fi是平坦模.對(duì)任何m∈Max(R),序列0→(Fk)m→(Fk?1)m→···→(F1)m→(F0)m→Nm→0是正合的,且每個(gè)(Fi)m是平坦Rm-模.則由假設(shè),fdRmNm≤s成立.則fdRN=sup{fdRmNm|m∈Max(R)}≤s.故t=FFD(R)≤s.因此s=t,即FFD(R)=sup{FFD(Rm)|m∈Max(R)}.

4 凝聚環(huán)的有窮平坦維數(shù)

凝聚環(huán)R的弱整體維數(shù)w.gl.dim(R)一直備受學(xué)者們關(guān)注.本節(jié)中,將研究凝聚環(huán)的有窮平坦維數(shù).

定義4.1R-模Q稱(chēng)為n-投射模是指對(duì)任何內(nèi)射維數(shù)不超過(guò)n的模H,都有

自然地,任何R-模都是0-投射模;投射R-模都是n-投射模,這里n≥1.

引理4.2(1)當(dāng)n≥1時(shí),每個(gè)n-投射模是n-無(wú)撓模;

(2)設(shè)R是凝聚環(huán).當(dāng)n≥1時(shí),每個(gè)有限生成的n-無(wú)撓R-模是n-投射模.

證(1)設(shè)M是n-投射模,N是R-模且滿(mǎn)足fdRN≤n.則存在正合列0→Fn→Fn?1→···→F0→N→0,這里F0,···,Fn?1,Fn是平坦R-模.從而也是正合列,每個(gè)是內(nèi)射模.從而idRN+≤n.由文獻(xiàn)[16,定理4.6.9],成立.從而.故M是n-無(wú)撓模.(2)設(shè)M是有限生成的n-無(wú)撓模,N是R-模且滿(mǎn)足idRN≤n.則存在正合列0→N→E0→···→En?1→En→0,這里每個(gè)Ei是內(nèi)射R-模.從而也是正合列,且由文獻(xiàn)[10,定理2.2.13],每個(gè)是平坦模.從而fdRN+≤n.再由文獻(xiàn)[10,定理2.2.13],成立.從而故M是n-投射模.

為了刻畫(huà)FFD(R)≤2的凝聚環(huán),先做如下定義.

定義4.3設(shè)M是R-模.M的n-投射維數(shù)m≥0,記為n-pdRM≤m,是指存在這樣的最小整數(shù)m,滿(mǎn)足序列0→Qm→Qm?1→Qm?2→···→Q0→M→0是正合列,這里每個(gè)Qi是n-投射模.如果這樣的m不存在,則記n-pdRM=∞.

引理4.4設(shè)R是凝聚環(huán).對(duì)任何整數(shù)n≥1,都有

(1)若M是有限生成R-模,則n-pdRM=tfndRM;

(2)w.T Fn.D(R)=sup{n-pdRM|M是有限表現(xiàn)模}.

證(1)設(shè)tfndRM=k.從而有正合列0→Fk→Fk?1→···→F1→F0→M→0,其中F0,F1,···,Fk?1是有限生成投射模.注意Fk是M的第k?1個(gè)合沖.則Fk是n-無(wú)撓模.由于R是凝聚環(huán),有Fk是有限表現(xiàn)的.因此由引理4.2,Fk是n-投射模.于是有n-pdRM≤tfndRM.再由引理4.2,n-pdRM≥tfndRM成立.故n-pdRM=tfndRM.

(2)由(1)即得.

定理4.5設(shè)R是凝聚環(huán).對(duì)任何整數(shù)n≥0,以下等價(jià)

(1)FFD(R)≤n;(2)對(duì)每個(gè)有限生成R-模M,都有(n+1)-pdRM≤n;(3)對(duì)R的任何有限生成理想I,都有(n+1)-pdRR/I≤n.

證(1)?(2)由定理2.4和引理4.4即可得證.

(2)?(3)顯然.

(3)?(1)設(shè)I是R的有限生成理想.則R/I是有限表現(xiàn)模.由條件,(n+1)-pdRR/I≤n成立.運(yùn)用引理4.4,tfn+1dRR/I=(n+1)-pdRR/I≤n成立.由此運(yùn)用定理2.3可得w.T Fn+1.D(R)≤n.故由定理2.4,FFD(R)≤n成立.

命題4.6設(shè)R是凝聚環(huán).對(duì)任何整數(shù)n≥0,都有

(1)如果FFD(R)=n,則對(duì)任何有限表現(xiàn)自反R-模M都有(n+1)-pdRM≤n?2;

(2)如果FFD(R)≤2,則任何有限生成自反R-模M都是3-投射模.

證(1)運(yùn)用文獻(xiàn)[16,定理5.1.4],M?是有限表現(xiàn)的.設(shè)F1→F0→M?→0是正合列,其中F1,F0是有限生成自由模.考慮正合列,其中也是有限生成自由模,X是同態(tài)的上核.注意,X是也是有限表現(xiàn)模.由定理4.5可得(n+1)-pdRX≤n,有(n+1)-pdRM≤n?2.

(2)由(1)即得.

定理4.7設(shè)R是凝聚環(huán),則以下各條等價(jià)

(1)FFD(R)≤2;(2)設(shè)M是有限表現(xiàn)R-模,則M?是有限生成3-投射模;(3)對(duì)投射模P的任意有限生成子模M,則tf3dRM≤1;(4)對(duì)R的任意有限生成理想I,則tf3dRI≤1.

證 (1)?(2)設(shè)M是有限表現(xiàn)R-模.則存在正合列F1→F0→M→0,這里F0,F1是有限生成自由R-模.則也是正合列,這里由條件,FFD(R)≤2成立,則由定理2.4可得w.T F3.D(R)≤2.故tf3dRC≤2.注意,均是有限生成投射模,故M?是3-無(wú)撓模.注意,R是凝聚環(huán),從而M?是有限表現(xiàn)模.由引理4.2,M?是有限生成3-投射模.

(2)?(1)設(shè)M是任意R-模.則這里每個(gè)Mi是M的有限表現(xiàn)子模,對(duì)每個(gè)Mi,存在有限生成自由模Fi0,Fi1滿(mǎn)足序列是正合列.記Ki=ker(Fi1→Fi0).注意是正合列,這里從而C是有限表現(xiàn)模.由條件,C?是有限生成3-投射模.由文獻(xiàn)[17,引理3]可得K～=C?是有限生成3-投射模.故由引理4.4可得tf3dRMi=3-pdRMi≤2.故對(duì)任何R-模N滿(mǎn)足fdRN≤3,由定理2.2有再由定理2.2可得tf3dRM≤2.故w.T F3.D(R)≤2.則由定理2.4可得FFD(R)≤2.

(1)?(3)?(4)運(yùn)用定理4.5和引理4.4即可.

正如人們把滿(mǎn)足w.gl.dim(R)≤1的凝聚環(huán)R稱(chēng)為半遺傳環(huán),在文獻(xiàn)[18]中把滿(mǎn)足G-w.gl.dim(R)≤1的凝聚環(huán)R稱(chēng)為G-半遺傳環(huán)一樣,現(xiàn)在將滿(mǎn)足FFD(R)≤1的凝聚環(huán)R稱(chēng)為 finitistic半遺傳環(huán),并且遵循把半遺傳整環(huán)稱(chēng)為Prfer整環(huán),G-半遺傳整環(huán)稱(chēng)為G-Prfer整環(huán)(見(jiàn)文獻(xiàn)[19])的習(xí)慣,也將 finitistic半遺傳整環(huán)稱(chēng)為 finitistic Prfer整環(huán).知道環(huán)R是半遺傳環(huán)當(dāng)且僅當(dāng)投射模的有限生成子模是投射模當(dāng)且僅當(dāng)R的每個(gè)有限生成理想是投射理想.自然地,要問(wèn),對(duì)于 finitistic半遺傳環(huán),是否也有對(duì)應(yīng)的表述？對(duì)此,有以下定理.

定理4.8對(duì)環(huán)R,以下陳述等價(jià)

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

(2)R的每個(gè)有限生成理想是有限表現(xiàn)的2-投射模;

(3)投射模的每個(gè)有限生成子模是有限表現(xiàn)的2-投射模;

(4)R是凝聚環(huán),且平坦模的子模是2-無(wú)撓模;

(5)R是凝聚環(huán),且對(duì)每個(gè)有限表現(xiàn)模M,都有2-pdRM≤1;

(6)R是凝聚環(huán),且對(duì)每個(gè)有限表現(xiàn)模M,都有tf2dRM≤1.

證運(yùn)用推論2.6可得(1)?(4),運(yùn)用引理4.2可得(4)?(3),運(yùn)用引理4.4可得(5)?(6),而(3)?(5)?(2)是顯然的.現(xiàn)只證(2)?(1).設(shè)I是R的任何有限生成理想.由假設(shè),I是2-投射模,從而tf2dRR/I≤1.由定理2.3,w.T F2.D(R)≤1成立.再由定理2.4可得FFD(R)≤1.注意,由條件,I是有限表現(xiàn)的,故是凝聚環(huán).從而R是 finitistic半遺傳環(huán).

設(shè)R是交換環(huán).稱(chēng)R-模M是無(wú)撓模是指對(duì)x∈M及非零因子非單位a∈R,能由ax=0推出x=0.注意,平坦模是無(wú)撓模.眾所周知,整環(huán)R是Prfer整環(huán)(即w.gl.dim(R)≤1)當(dāng)且僅當(dāng)無(wú)撓R-模是平坦模.對(duì)于滿(mǎn)足FFD(R)≤1的整環(huán)R上的無(wú)撓模,有如下定理

定理4.9對(duì)整環(huán)R,以下陳述等價(jià)

(1)FFD(R)≤1;(2)如果A是無(wú)撓R-模滿(mǎn)足fdRA<∞,則A是平坦模;(3)如果A是無(wú)撓R-模滿(mǎn)足fdRA≤1,則A是平坦模.

證(1)?(2)記K=Q/R,這里Q是R的商域.由于A是無(wú)撓模,存在正合列這里每個(gè)KiK.由于B是平坦R-模且fdRA<∞,故fdRC<∞.由條件,FFD(R)≤1,故fdRC≤1.所以A是平坦模.

(2)?(3)顯然.

(3)?(1)設(shè)N是R-模滿(mǎn)足fdRN≤2.則存在正合列0→A→F→N→0,這里F是平坦模,且fdRA≤1.注意,A是無(wú)撓R-模.由條件,A是平坦模,即fdRN≤1.因此由推論2.6,FFD(R)≤1成立.

知道,整環(huán)R是Prfer整環(huán)當(dāng)且僅當(dāng)有限生成無(wú)撓R-模是投射模.對(duì)于finitistic Prfer整環(huán),有如下定理.

定理4.10對(duì)凝聚整環(huán)R,以下陳述等價(jià)

(1)R是finitistic Prfer整環(huán);(2)每個(gè)無(wú)撓R-模是2-無(wú)撓模;(3)每個(gè)有限生成無(wú)撓R-模是2-投射模.

證(1)?(2)設(shè)D是無(wú)撓R-模.則由文獻(xiàn)[8,引理2.3],D是1-無(wú)撓模.運(yùn)用定理2.4與定理2.3可得D是2-無(wú)撓模.

(2)?(1)設(shè)I是R的理想.從而I是無(wú)撓R-模.由條件,I是2-無(wú)撓的.由推論2.6可得FFD(R)≤1.

(2)?(3)設(shè)M是有限生成無(wú)撓R-模,自然也是無(wú)撓模.由條件,M是2-無(wú)撓模.注意,R是凝聚整環(huán),運(yùn)用引理4.2,M是2-投射模.

(3)?(2)設(shè)M是無(wú)撓R-模.則,這里每個(gè)Mi是M的有限生成子模,自然也是無(wú)撓R-模.由條件,Mi是2-投射模.由引理4.2可知Mi是2-無(wú)撓模.故對(duì)任何R-模N滿(mǎn)足fdRN≤2,有故M是2-無(wú)撓模.

正如所有滿(mǎn)足w.gl.dim(R)≤1的環(huán)R不一定是凝聚環(huán)一樣,滿(mǎn)足FFD(R)≤1的環(huán)R也未必是凝聚環(huán).

例4.11設(shè)C是復(fù)數(shù)域,X是C的未定元.構(gòu)造環(huán)R=Q+XC[X].則由文獻(xiàn)文獻(xiàn)[20],文獻(xiàn)[21,命題3.2]及文獻(xiàn)[22,命題6]及文獻(xiàn)[23,定理4.11]可知FFD(R)≤1成立,但R不是凝聚環(huán).

設(shè)R是整環(huán),商域是K.設(shè)F(R)是R的所有非零分式理想的集合,f(R)是F(R)中所有有限生成元的集合.對(duì)任何06I∈F(R),其逆I?1定義為{x∈K|xI?R}.理想I∈f(R)稱(chēng)為GV-理想是指I?1=R.記GV(R)={I∈f(R)|I是R的GV-理想}.在文獻(xiàn)[24]中,整環(huán)R稱(chēng)為DW-整環(huán)是指GV(R)={R}.眾所周知,Prfer整環(huán)是DW-整環(huán).

命題4.12設(shè)R是finitistic Prfer整環(huán).則R是DW-整環(huán).

證設(shè)0是R的有限生成真理想.取0,記T=R/(a).由定理3.4,FFD(T)=0成立.則I=J/(a)是T的有限生成真理想.記I=(b1,···,bn),這里b1,···,bn∈T. 如果 ann(I)=0,則同態(tài)映射f:T→Ts,f(r)=(b1r,···,bnr),r∈T是單射.從而序列是正合列,且cok(f)是有限表現(xiàn)模.注意,fdTcok(f)≤1且FFD(T)=0,則cok(f)是投射模,且則:T/I→Ts/ITs也是單射.由Im(f)?ITs可得到=0與I=T.顯然這是一個(gè)矛盾.因此ann(I)0.從而存在元素b∈R?(a)滿(mǎn)足I(b+(a))=0,故Jb?(a).則與成立.因此GV(R)={R},即R是DW-整環(huán).

現(xiàn)在來(lái)研究滿(mǎn)足FFD(R)=0的整環(huán).設(shè)R是整環(huán).對(duì)內(nèi)射R-模E,E自然是可除模,即對(duì)非單位元0,都有E=aE.從而乘法同態(tài)a:E→E是滿(mǎn)的,且序列是正合列.確切地,乘法同態(tài)a是同構(gòu)當(dāng)且僅當(dāng)E是a-無(wú)撓的.

定理4.13對(duì)整環(huán)R,以下陳述等價(jià)

(1)R是域;(2)每個(gè)War field余撓模是內(nèi)射模;(3)每個(gè)UT模是內(nèi)射模;(4)FFD(R)=0.

證(1)?(4)與(2)?(3)是顯然的.在定理2.4中取n=0可得(4)?(2).現(xiàn)證(3)?(1).假如R不是域.則存在撓的內(nèi)射R-模0.從而也存在非單位元06a∈R滿(mǎn)足E不是a-無(wú)撓的.則Ea0.由如下行是正合列的交換圖

可得EaHomR(R/(a),E).設(shè)X是任何無(wú)撓R-模.取正合列0→A→P→X→0,這里P是投射模.注意,fdRR/(a)≤1成立,則由文獻(xiàn)[8,引理2.3]可得正合列從而序列0→HomR(X/aX,E)～=HomR(X,Ea)→HomR(P/aP,E)～=HomR(P,Ea)→HomR(A/aA,E)～=HomR(A,Ea)→0是正合列.故由正合列可得.因此Ea是War field-余撓模.從而Ea是UT-模.由條件,Ea是內(nèi)射模.另一方面,由于aEa=0,可得Ea不是a-可除的.故Ea不是可除模,自然也不是內(nèi)射模.這顯然是個(gè)矛盾.故R是域.

試舉幾個(gè)例子來(lái)結(jié)束本文.首先,凝聚環(huán)R也未必有FFD(R)≤1.

例4.14構(gòu)造環(huán)R=Z[x],這里Z是整數(shù)集,x是Z上的未定元.顯然,R是凝聚環(huán).如果FFD(R)≤1,則由定理3.4可得FFD(R/xR)=0.而Z.故由定理4.13可知Z是域.這顯然是個(gè)矛盾.所以FFD(R)>1.

雖然對(duì)所有環(huán)R,均有FFD(R)≤w.gl.dim(R).但一般情況下,FFD(R)=w.gl.dim(R)未必成立.

例4.15設(shè)D是Prfer整環(huán),其商域是L,F是L的擴(kuò)域滿(mǎn)足[F:L]=∞.設(shè)是F上的形式冪級(jí)數(shù)環(huán),且設(shè)構(gòu)造如下兩個(gè)Milnor方圖

環(huán)R滿(mǎn)足FFD(R)<∞.卻未必有w.gl.dim(R)<∞.

例4.16設(shè)C(X,Y)是多項(xiàng)式環(huán)C[X,Y]的商域,Z是C(X,Y)上的未定元.取其極大理想m=(Z).構(gòu)造環(huán)R1=C[X,Y]+ZC(X,Y)[Z]m.再構(gòu)造環(huán)R2=Z4,這里Z是整數(shù)環(huán).則R2是完全環(huán),且w.gl.dim(R2)=∞.構(gòu)造環(huán)R=R1×R2.則FFD(R)=2成立.由文獻(xiàn)[13,例4.6],w.gl.dim(R)=∞.

即使環(huán)R有w.gl.dim(R)=∞,也未必有FFD(R)<∞.

例4.17設(shè),這里x是有理數(shù)域Q上的未定元,m=(x)是Q[x]的極大理想.則FFD(R)=1成立.設(shè)T=R[y1,y2,···],這里y1,y2,···是R上的未定元.由命題3.5,FFD(T)=∞.自然也有w.gl.dim(T)=∞.