徐龍玉,胡 葵,喬 磊,萬吉湘
(1.西南科技大學(xué)理學(xué)院,四川綿陽621010; 2.四川師范大學(xué)數(shù)學(xué)與軟件科學(xué)學(xué)院,四川成都610066; 3.綿陽師范學(xué)院數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院,四川綿陽621000)
非奇異環(huán)的同調(diào)刻畫
徐龍玉1,胡 葵1,喬 磊2,萬吉湘3
(1.西南科技大學(xué)理學(xué)院,四川綿陽621010; 2.四川師范大學(xué)數(shù)學(xué)與軟件科學(xué)學(xué)院,四川成都610066; 3.綿陽師范學(xué)院數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院,四川綿陽621000)
引入ZP-平坦右模來刻畫左非奇異環(huán).設(shè)R是環(huán),右R-模N稱為ZP-平坦模,是指對(duì)任意a∈Z(RR),有TorR1(N,R/Ra)=0;左R-模M稱為ZP-內(nèi)射模,是指對(duì)任意a∈Z(RR),有Ext1R(R/Ra,M)=0.證明了關(guān)于ZP-平坦模的Lambek準(zhǔn)則,即右R-模N是ZP-平坦模當(dāng)且僅當(dāng)其特征模N+是ZP-內(nèi)射模.還證明了R是左非奇異環(huán)當(dāng)且僅當(dāng)任意右R-模是ZP-平坦模當(dāng)且僅當(dāng)內(nèi)射左R-模的商模是ZP-內(nèi)射模.
本質(zhì)子模;ZP-平坦模;ZP-內(nèi)射模;非奇異環(huán)
本文中提及的環(huán)都是帶有單位元1的結(jié)合環(huán),所有的模都是酉模.對(duì)a∈R,用l(a)表示a的左零化子,用Z(RR)表示所有使得l(a)是R的本質(zhì)子模的元素a的集合.對(duì)右R-模N,用N+表示N的特征模,即N+=Hom(N,Q/Z),其中Z表示整數(shù)加群,Q表示有理數(shù)加群.用l.pdRM表示左R-模M的左投射維數(shù).
R.Goodearl[1]首先討論了左非奇異環(huán).環(huán)R稱為左非奇異環(huán),是指Z(RR)=0成立.相應(yīng)地,環(huán)R稱為左奇異環(huán),是指Z(RR)=R.N.V.Dung[2]給出了左遺傳環(huán)與左非奇異環(huán)的關(guān)系,證明了R是左遺傳環(huán),且有E(RR)是投射模當(dāng)且僅當(dāng)R是左非奇異環(huán),且每個(gè)非奇異左R-模是投射的,其中E(RR)表示R作為左R-模的內(nèi)射包絡(luò).T.Y.Lam[3]給出了交換環(huán)是非奇異環(huán)的等價(jià)刻畫,即交換環(huán)R是非奇異環(huán)當(dāng)且僅當(dāng)R是約化環(huán).在環(huán)與模范疇中,常利用平坦模與內(nèi)射模來刻畫環(huán),如文獻(xiàn)[4-15]等.本文的主要目的旨在用同調(diào)的方法來刻畫左非奇異環(huán).為此,引入了ZP-平坦右R-模的概念.通過對(duì)ZP-平坦模和ZP-內(nèi)射模展開討論,得到了左非奇異環(huán)的一個(gè)同調(diào)刻畫(見本文定理12).
定義 1 設(shè) N是右 R-模.若對(duì)任意 a∈ Z(RR),有,則稱N為ZP-平坦模;等價(jià)地,R是正合列.
定義2[8]設(shè)M是左 R-模,若對(duì)任意a∈ Z(RR),有,則稱M是ZP-內(nèi)射模;等價(jià)地,HomR(R,M)→HomR(Ra,M)→0是正合列.
下面只對(duì)ZP-平坦模展開討論.
例3 下面的斷語是顯然的:
1)設(shè)R是左非奇異環(huán),則任意右R-模是ZP-平坦模;
2)設(shè)R是左奇異環(huán),則右R-模N是ZP-平坦模當(dāng)且僅當(dāng)N是P-平坦模;
3)P-平坦(右)模顯然是ZP-平坦(右)模,反之不一定成立.例如,設(shè)R是整環(huán)但不是域,則Z(RR)=0.現(xiàn)取非零非單位a∈R,則R/aR是ZP-平坦模,但不是P-平坦模;
4)設(shè){Ni|i∈Γ}是一簇右R-模,則Ni是ZP-平坦模當(dāng)且僅當(dāng)每個(gè)Ni是ZP-平坦模.
定理4 設(shè)N是右R-摸,以下條件等價(jià):
1)N是ZP-平坦右R-模;
2)對(duì)任意a∈Z(RR),有正合列
3)對(duì)任意a∈Z(RR),自然同態(tài)Na是同構(gòu).
證明 1)?2)顯然.
1)?3)對(duì)任意a∈Z(RR),設(shè)iR:Ra→R是包含映射,則有交換圖如下.
故μN(yùn)是單同態(tài)當(dāng)且僅當(dāng)是單同態(tài).又因?yàn)棣蘊(yùn)一定是滿同態(tài),故μN(yùn)是同構(gòu)當(dāng)且僅當(dāng)是單同態(tài),當(dāng)且僅當(dāng)N是ZP-平坦右R-模.
命題5 設(shè)A是右R-模N的ZP-平坦子模,則對(duì)于任意a∈Z(RR),自然同態(tài)是單同態(tài).
若N是ZP-平坦模,仍由定理4,右端的垂直箭頭是同構(gòu).因此有μ是滿同態(tài),故Im(μ)=Ka=K
定理6 設(shè)0→A→B→C→0是右R-模正合列.若A和C是ZP-平坦模,則B是ZP-平坦模.
證明 對(duì)任意a∈Z(RR),由正合列即得.
定理7 設(shè)0→K→M→N→0是右R-模的正合列,其中M是ZP-平坦右R-模.則N是ZP-平坦模當(dāng)且僅當(dāng)對(duì)任意a∈Z(RR),Ka=K∩Ma.
證明 考慮2行是正合列的如下交換圖,其中右邊2個(gè)垂直箭頭是自然同態(tài),μ是右邊交換方圖的誘導(dǎo)同態(tài).由定理4,中間的垂直箭頭是同構(gòu).∩Ma.
反之,設(shè)Ka=K∩Ma,即μ是滿同態(tài).仍由上面的交換圖知右端的垂直箭頭是單同態(tài),從而也是同構(gòu).故N是ZP-平坦模.
定理8 設(shè){Ni|i∈Γ}是定向集Γ上的右R-模的正向系.若每個(gè)Ni是ZP-平坦模,則也是ZP-平坦模.
證明 對(duì)任意 a∈Z(RR),由即得.
推論9 若右R-模N的每個(gè)有限生成的子模都是ZP-平坦模,則N是ZP-平坦模.
證明 由于N都是有限生成子模的直接并,故應(yīng)用定理8即得.
定理10 設(shè)N是右R-模.若N的每個(gè)有限生成子模都包含在N的某個(gè)ZP-平坦子模中,則N是ZP平坦模.
證明 對(duì)任意a∈Z(RR),考慮自然同態(tài)μN(yùn):N.若,則存在N的ZP-平坦子模A,使得x∈A.于是自然同態(tài)μA:A是同構(gòu).于是在中,.由如下交換圖知在中有,故μN(yùn)是單同態(tài),從而是同構(gòu).故N是ZP-平坦模.
下面來證明關(guān)于ZP-平坦模的Lambek準(zhǔn)則.
定理11 設(shè)N是右R-模,則N是ZP-平坦模當(dāng)且僅當(dāng)N+=HomZ(N,Q/Z)是ZP-內(nèi)射模.
證明 設(shè)N是ZP-平坦右R-模.對(duì)任意a∈Z(RR),有0→NRRa→NRR是正合列.故有如下交換圖.由于Q/Z是內(nèi)射Z-模,故頂行是正合列.由相伴同構(gòu)定理,2個(gè)垂直的箭頭是同構(gòu),因此有底行也是正合列.于是得到N+是ZP-內(nèi)射左R-模.
反之,設(shè) N+是 ZP-內(nèi)射模.對(duì)任意,由正合列0→Ra→R及HomZ(N,Q/Z)是ZP-內(nèi)射模知HomR(R,N+)→HomR(Ra,N+)→0是正合列.由伴隨同構(gòu)定理知
用ZP-平坦右模和Lambek準(zhǔn)則可以完全刻畫左非奇異環(huán).
定理12 對(duì)于環(huán)R,以下條件等價(jià): 1)環(huán)R是左非奇異環(huán);
2)任意右R-模是ZP-平坦模;
3)對(duì)任意a∈Z(RR),Ra是RR的純子模;
4)對(duì)任意a∈Z(RR),R/Ra是投射模;
5)對(duì)任意a∈Z(RR),Ra是R的直和加項(xiàng);
6)對(duì)任意a∈Z(RR),Ra是投射模;
7)對(duì)任意a∈Z(RR),Ra是有限表現(xiàn)模,且ZP-平坦右R-模的子模是ZP-平坦模;
8)對(duì)任意a∈Z(RR),Ra是有限表現(xiàn)模,且R的每個(gè)右理想是ZP-平坦模;
9)內(nèi)射左R-模的商模是ZP-內(nèi)射模;
10)每一左R-模是ZP-內(nèi)射模.
證明 1)?2)顯然.
2)?3)設(shè)a∈Z(RR),N是右R-模.由條件知是正合列,故Ra是RR的純子模.
3)?4)設(shè)N是右R-模.對(duì)任意a∈Z(RR),由條件知0→Ra→R→R/Ra→0是純正合列.因此R/Ra是平坦模.由于R/Ra是有限表現(xiàn)模,故R/Ra是投射模.
4)?5)由條件,0→Ra→R→R/Ra→0是分裂的正合列,故Ra是R的直和加項(xiàng).
5)?6)顯然.
6)?1)由條件,0→l(a)→R→Ra→0是分裂的正合列,故l(a)是R的直和加項(xiàng).由于l(a)還是RR的本質(zhì)子模,故有l(wèi)(a)=R.因此a=0,從而R是左非奇異環(huán).
2)+6)?(7)?(8)顯然.
8)?6)設(shè)I是R的右理想,a∈Z(RR).由條件,I是ZP-平坦模,故由正合列0→I→R→R/I→0,有TorR2(R/I,R/Ra)TorR1(I,R/Ra)=0.又由正合列0→Ra→R→R/Ra→0,得到.因此,Ra是平坦模.由于Ra是有限表現(xiàn)模,故Ra還是投射模.
6)?9)設(shè)0→A→B→C→0是左R-模正合列,其中B是內(nèi)射左R-模.對(duì)任意a∈Z(RR),由條件,l.pdRR/Ra≤1,因此有正合列.故,于是有C是ZP-內(nèi)射模.
9)?6)設(shè)A是任何左R-模,0→A→E→C→0是正合列,其中E是內(nèi)射模.由條件9)知C是ZP-內(nèi)射模.因此對(duì)任意 a∈Z(RR),.因此Ra是投射模.
2)+6)?10)設(shè)M是任何左R-模.由于Ra是有限表現(xiàn)模,有
由于M+是ZP-平坦模,可得從而有,故M是ZP-內(nèi)射模.
10)?2)設(shè)N是任何右R-模.由條件,N+是ZP-內(nèi)射模.由定理11,N是ZP-平坦模.
利用環(huán)的整體維數(shù)刻畫環(huán)結(jié)構(gòu)的方式相比較,看到定理12中10)對(duì)應(yīng)的是一種廣義的半單性,而9)對(duì)應(yīng)的是一種廣義的遺傳性.這意味著若人們希冀用模的ZP-內(nèi)射分解來定義環(huán)的整體ZP-內(nèi)射維數(shù),并以此來刻畫環(huán)的結(jié)構(gòu),將會(huì)出現(xiàn)一種奇異現(xiàn)象,不存在這樣的1維環(huán).無獨(dú)有偶,1984年K.N.Ho[16]定義了環(huán)R的整體有限表現(xiàn)維數(shù):
M是任何有限生成R-模},
其中f.p.dimRM表示M的投射分解
使得P0,P1,…,Pn,Pn+1都是有限生成投射模的n的下確界.K.N.Ho[6]證明了fp.dim(R)=0當(dāng)且僅當(dāng)R是Noether環(huán),但不存在整體有限表現(xiàn)維數(shù)為1的環(huán).
致謝 西南科技大學(xué)博士基金(13ZX7119)對(duì)本文給予了資助,謹(jǐn)致謝意.
[1]GOODEARL R.Ring Theory:Nonsingular Rings and Modules[M].New York:Springer-Verlag,1976:78.
[2]DUNG N V.A note on hereditary rings or nonsingular rings with chain condition[J].Math Scand,1990,66:301-306.
[3]LAM T Y.Lectures on modules and rings[C]//Graduate Texts in Mathematics,189.New York:Springer-Verlag,1999:247.
[4]王芳貴,汪明義,楊立英.交換環(huán)上的極大性內(nèi)射模[J].四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2010,33(1):1-9.
[5]徐龍玉,宋暉.關(guān)于fann-內(nèi)射模[J].四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2009,32(4):443-446.
[6]趙玉娥,杜先能.關(guān)于廣義內(nèi)射模的一些研究[J].四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2008,31(5):16-18.
[7]徐龍玉,胡葵,熊濤.關(guān)于ZP-內(nèi)射模[J].四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2015,38(3):644-647.
[8]周德旭.關(guān)于L-P-內(nèi)射模與L-P-平坦模[J].福建師范大學(xué)學(xué)報(bào)(自然科學(xué)版),1999,15(2):51-58.
[9]陳文靜,楊曉燕.弱Gorenstein FP-內(nèi)射模[J].四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2014,37(4):477-481.
[10]尹華玉,陳幼華.π-整環(huán)上形式冪級(jí)數(shù)的容度準(zhǔn)則[J].四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2014,37(4):451-454.
[11]MAO L X,DING N Q.On divisible and torsionfree modules[J].Commun Algebra,2008,36(2):708-731.
[12]CHEN J L,DING N Q.On n-coherent rings[J].Commun Algebra,1996,24(10):3211-3216.
[13]ANDERSON F W,F(xiàn)ULLER K R.Rings and Categories of Modules[M].New York:Springer-Verlag,1992:143-148.
[14]王芳貴.交換環(huán)與星型算子理論[M].北京:科學(xué)出版社,2006:142-193.
[15]ROTMAN J J.An Introduction to Homological Algebra[M].London:Academic Press,1979:154-203.
[16]HO K N.Coherent ring of dimension two[J].Proc AMS,1984,91:518-522.
On a Homological Characterization of Nonsigular Rings
XU Longyu1,HU Kui1,QIAO Lei2,WAN Jixiang3
(1.College of Science,Southwest University of Science and Technology,Mianyang 621010,Sichuan; 2.College of Mathematics and Software Science,Sichuan Normal University,Chengdu 610066,Sichuan; 3.College of Mathematics and Computer Science,Mianyang Normal College,Mianyang 621010,Sichuan)
Let R be a ring.A right R-module N is called ZP-flat iffor any a∈Z(RR)and a left R-module M is called ZP-injective if.It is proved that a right R-module N is ZP-flat if and only if N+=Hom(N,Q/Z)is ZP-injective.Finally,some new characterizations about the left nonsingular rings are given.A ring is left nonsingular if and only if every right R-module is ZP-flat if and only if any quotient module of an injective left R-module is ZP-injective.
essential submodule;ZP-flat module;ZP-injective module;nonsingular ring
O153.3;O154
A
1001-8395(2016)04-0514-04
10.3969/j.issn.1001-8395.2016.04.009
(編輯 周 俊)
2015-02-01
國(guó)家自然科學(xué)基金(11171240)
徐龍玉(1979—),女,講師,主要從事環(huán)與模范疇理論的研究,E-mail:xulongyu3@163.com
2010 MSC:13C10;13D07