模的Gorenstein cotorsion包絡(luò)

張?jiān)?/p>

(蘭州工業(yè)學(xué)院基礎(chǔ)學(xué)科部,甘肅 蘭州 730050)

模的Gorenstein cotorsion包絡(luò)

張?jiān)?/p>

(蘭州工業(yè)學(xué)院基礎(chǔ)學(xué)科部,甘肅 蘭州 730050)

通過與模的內(nèi)射包絡(luò)相比較,討論了模的基本擴(kuò)張與Gorenstein cotorsion包絡(luò)及單模的Gorenstein cotorsion包絡(luò),給出了模的Gorenstein cotorsion包絡(luò)具有類似性質(zhì)的一些充分條件.

Gorenstein cotorsion模;(預(yù))包絡(luò);基本擴(kuò)張

1 引言

Gorenstein同調(diào)代數(shù)受到了國內(nèi)外許多學(xué)者的廣泛關(guān)注[13].作為平坦模的推廣, Enochs等引入了 Gorenstein平坦模的概念.稱模 M 是 Gorenstein平坦的[4],如果存在平坦模的正合序列

假設(shè)X,Y是R-模類.稱(X,Y)是余撓理論,如果X=⊥Y且Y=X⊥.其中,

⊥Y={M|Ext(M,Y)=0,?Y∈Y},X⊥={N|Ext(X,N)=0,?X∈X},

分別稱為Y的左正交類和X的右正交類.

假設(shè)X是R-模類且關(guān)于同構(gòu)、直和因子及有限直和封閉,M 是R-模,X∈X.稱同態(tài)f:M →X是M 的X-預(yù)包絡(luò),如果對(duì)任意同態(tài)g:M →Y,其中Y∈X,存在同態(tài)h:X→Y,使得h?f=g.這也等價(jià)于對(duì)于任意Y∈X,是正合序列.進(jìn)而,若有同態(tài) h:X → X,使得當(dāng) h?f=f時(shí) h是 X 的自同構(gòu),則稱f:M→X是模M的X-包絡(luò).

若R是使得所有Gorenstein平坦模的類GF關(guān)于擴(kuò)張封閉的環(huán),則稱其為GF-封閉環(huán)[5].由文獻(xiàn)[6]可知:若R是GF-封閉環(huán),則(GF,GC)是余撓理論,并且任意模都有Gorenstein平坦覆蓋和Gorenstein cotorsion包絡(luò).

顯然,所有內(nèi)射模是Gorenstein cotorsion模.自然考慮:模的Gorenstein cotorsion包絡(luò)是否具有與模的內(nèi)射包絡(luò)類似的性質(zhì)？討論了模的基本擴(kuò)張與Gorenstein cotorsion包絡(luò)及單模的Gorenstein cotorsion包絡(luò),給出了模的Gorenstein cotorsion包絡(luò)具有與其內(nèi)射包絡(luò)類似性質(zhì)的一些充分條件.

2 模的基本擴(kuò)張與Gorenstein cotorsion包絡(luò)

貫穿全文,R是GF-封閉環(huán),模都是左R-模.記σM:M→G(M)為模M的Gorenstein cotorsion包絡(luò).N≤M表示N是M的子模,N≤eM表示在同構(gòu)意義下N是M的基本子模(或稱M是N的基本擴(kuò)張),N=M表示M,N在同構(gòu)意義下是相等的.

根據(jù)文獻(xiàn)[7]的定理3.29,可知內(nèi)射模沒有真的基本擴(kuò)張.對(duì)于 Gorenstein cotorsion模,有下述結(jié)論.

命題 2.1設(shè)N是Gorenstein cotorsion模,N≤eM.若M/N∈GF,則M=N.

證明考慮正合序列0→N→M→M/N→0.由于

該正合序列是可裂的,故M=N⊕M/N.同時(shí),N≤eM.從而M/N=0,即M=N.

由文獻(xiàn)[8]命題8.12知:若 N≤eM,則 E(N)=E(M),其中E(N),E(M)分別表示N,M的內(nèi)射包絡(luò).

定理 2.1設(shè)N≤eM≤eG(M).以下等價(jià):

(1)M/N∈GF;

(2)G(M)/N∈GF;

(3)G(M)=G(N).

證明(1)?(3) 令i:N→M 為包含同態(tài).由M/N∈GF可知σN:N→G(N)可以通過i分解,即存在態(tài)射j:M →G(N)使得σN=ji.由于i是基本的,故j是單同態(tài).同時(shí),j可以通過Gorenstein cotorsion包絡(luò)σM:N→G(M)分解,即存在h:G(M)→G(N)使得j=hσM.同理,由σM是基本的可知h是單同態(tài).對(duì)于

有態(tài)射g:G(N)→G(M)滿足gσN=σMi.故從而hg:G(N)→G(N)是自同構(gòu),h是滿的.進(jìn)而,h:G(M)→G(N)是同構(gòu).

(3)?(2)由Wakamatsu引理可知G(N)/N∈GF,故結(jié)論成立.

(2)?(1)存在正合序列0→M/N→G(M)/N→G(M)/M→0,其中G(M)/M∈GF, G(M)/N∈GF.從而M/N∈GF.

若N≤M≤E(N),則E(M)=E(N).對(duì)于模的Gorenstein cotorsion包絡(luò),有:

命題 2.2設(shè)N≤M≤G(N).若M≤eG(M),則G(M)=G(N).

證明令i:N→M,j:M →G(N)表示包含同態(tài).j可以通過Gorenstein cotorsion包絡(luò)σM:M→G(M)分解,即存在f:G(M)→G(N)使得j=fσM.由σM是基本的可知f是單同態(tài).同理,對(duì)于σMi:N→G(M),存在g:G(N)→G(M)使得σMi=gσN.從而由

可知fg是同構(gòu).進(jìn)而f是滿的,結(jié)論成立.

對(duì)于模M,稱f:M → G是特殊的Gorenstein cotorsion預(yù)包絡(luò),如果 G∈GC,f是單的且滿足Coker(f)∈GF.由Wakamatsu引理可知任意Gorenstein cotorsion包絡(luò)是特殊的Gorenstein cotorsion預(yù)包絡(luò).

定理 2.2假設(shè) GF關(guān)于單同態(tài)的余核封閉.若 i:N → M 是基本單同態(tài),且滿足Coker(i)∈GF,則M 有特殊的Gorenstein cotorsion預(yù)包絡(luò)j:M→G(N).

證明由于L=Coker(i)∈GF,故有正合序列

對(duì)于σN,有j:M→G(N),使得σN=ji,且易知j是單同態(tài).

考慮j:M→G(N)和自然投射p:M→L的推出圖:

由于GF關(guān)于單同態(tài)的余核封閉,且在正合序列0→L→P→Q→0中L,P∈GF,從而Q∈GF.故結(jié)論成立.

3 單模的Gorenstein cotorsion包絡(luò)

眾所周知,單模的內(nèi)射包絡(luò)是不可分解的.在一定條件下,證明了單模的 Gorenstein cotorsion包絡(luò)也具有類似的性質(zhì).

首先,需要證明如下結(jié)論.

引理 3.1設(shè)σM:M→G(M)是M 的Gorenstein cotorsion包絡(luò).則

且不存在非零子模N≤G(M),使得

證明由Wakamatsu引理易知G(M)/M∈GF.

從而M=(M+N)/N.考慮正合序列

對(duì)于σM,存在

使得σM=fi.注意到i=πσM,其中π:G(M)→G(M)/N為標(biāo)準(zhǔn)投射.從而σM=fπσM, fπ是自同構(gòu),進(jìn)而π是單的.即

R是SF環(huán),是指任意單R-模是平坦的.稱R是SGF環(huán),如果任意單R-模是Gorenstein平坦的.顯然,任意SF環(huán)是SGF環(huán).特別地,任意von Neumann正則環(huán)是SGF環(huán).

定理 3.1假設(shè)R是SGF環(huán),且使得Gorenstein平坦R-模的類GF關(guān)于單同態(tài)的余核封閉.則任意單模的Gorenstein cotorsion包絡(luò)是不可分解的.

證明反設(shè)存在單R-模M,滿足G(M)=M1⊕M2,Mi0,i=1,2.由于M是單的,故

假設(shè)M∩M1=0.考慮正合序列

其中G(M)/M∈GF,且由R是SGF環(huán)得M∈GF.從而G(M)∈GF.進(jìn)而M1∈GF.

在正合序列

中,M1,G(M)/M∈GF,從而由條件GF關(guān)于單同態(tài)的余核封閉,可得

根據(jù)引理3.1,M1=0,與M10矛盾.從而

同理,可證M?M2.故M?M1∩M2=0.矛盾.

[1]Enochs E E,Jenda O M G.Relative Homological Algebra[M].Berlin:Springer-Verlag,2000.

[2]Holm H.Gorenstein homological dimensions[J].J.Pure Appl.Algebra,2004,189:167-193.

[3]Mao L X,Ding N Q.Gorenstein FP-injective and Gorenstein f l at modules[J].Journal of Algebra and Its Applications,2008,7(4):491-506.

[4]Enochs E E,Jenda O M G,Torrecillas B.Gorenstein f l at modules[J].南京大學(xué)學(xué)報(bào):數(shù)學(xué)半年刊,1993,10:1-9.

[5]Bennis D.Rings over which the class of Gorenstein f l at modules is closed under extensions[J].Comm. Algebra,2009,37(3):181-190.

[6]Yang G,Liu Z K.Gorenstein f l at cover over GF-closed rings[J].Comm.Algebra,2012,40(5):1632-1640.

[7]Rotman J.An introduction to Homological Algebra[M].New york:Academic Press,1979.

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

Gorenstein cotorsion envelope of modules

Zhang Yugang
(Department of Basic Sciences,Lanzhou Institute Technology,Lanzhou 730050,China)

Comparing with injective envelope of modules,we discuss the essential extension of modules and Gorenstein cotorsion envelope as well as Gorenstein cotorsion envelope of simple modules.Some sufficient conditions under which the properties of Gorenstein cotorsion envelope analogous to those of injective envelope are given.

Gorenstein cotorsion modules,(pre)envelope,essential extension

O154.2

A

1008-5513(2014)02-0173-05

10.3969/j.issn.1008-5513.2014.02.008

2013-11-12.

國家自然科學(xué)基金(11101197).

張?jiān)?1978-),碩士,講師,研究方向:環(huán)模理論.

2010 MSC:16D80