亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        Gorenstein AC-投射復(fù)形的穩(wěn)定性

        2016-12-01 08:59:38趙仁育權(quán)艷紅
        關(guān)鍵詞:投射模維數(shù)證明

        趙仁育,權(quán)艷紅

        (西北師范大學(xué)數(shù)學(xué)與統(tǒng)計學(xué)院,甘肅蘭州 730070)

        ?

        Gorenstein AC-投射復(fù)形的穩(wěn)定性

        趙仁育,權(quán)艷紅

        (西北師范大學(xué)數(shù)學(xué)與統(tǒng)計學(xué)院,甘肅蘭州 730070)

        證明了以Gorenstein AC-投射復(fù)形為對象,利用定義Gorenstein AC-投射復(fù)形方法構(gòu)造出的復(fù)形仍然是Gorenstein AC-投射復(fù)形.其次,引入了復(fù)形的Gorenstein AC-投射維數(shù)的概念,并對其進行了刻畫.

        Gorenstein AC-投射模;Gorenstein AC-投射復(fù)形;level復(fù)形;Gorenstein AC-投射維數(shù)

        0 引言

        近年來,Gorenstein同調(diào)代數(shù)受到了人們的極大關(guān)注[1-11].1998年,Enochs等[12]把 Gorenstein投射(內(nèi)射)模的概念推廣到了復(fù)形的范疇中,引入并研究了Gorenstein投射(內(nèi)射)復(fù)形,稱復(fù)形X是Gorenstein投射復(fù)形.如果存在投射復(fù)形的正合列

        使得X?Im(P0→P-1),且對任意的投射復(fù)形Q,Hom(P,Q)正合.對偶地,可以定義Gorenstein內(nèi)射復(fù)形.隨后,Gorenstein同調(diào)代數(shù)的許多結(jié)論被拓展到了復(fù)形范疇[3,11-15].作為平坦模和內(nèi)射模的推廣,Gao等[16]研究了弱平坦模和弱內(nèi)射模,這兩類模也被稱為level模和AC-模[17].受Ding投射(內(nèi)射)模[5-6]和Ding投射(內(nèi)射)復(fù)形[14]研究思想的啟發(fā),Bravo等[17]研究了兩類特殊Gorenstein復(fù)形——Gorenstein AC-投射復(fù)形和Gorenstein AC-內(nèi)射復(fù)形,討論了這兩類復(fù)形與其各層次的模之間的關(guān)系.Xu等[11]證明了對復(fù)形X,若存在Gorenstein投射復(fù)形的正合列

        使得X?Im(P0→P1),并且對任意的投射復(fù)形Q,Hom(P,Q)是正合復(fù)形,則X仍是Gorenstein投射復(fù)形,即Gorenstein投射復(fù)形是穩(wěn)定的[11].受此結(jié)果的啟發(fā),在本文的第2節(jié),我們討論了Gorenstein AC-投射復(fù)形的穩(wěn)定性,證明了以Gorenstein AC-投射復(fù)形為對象,利用定義Gorenstein AC-投射復(fù)形的方法構(gòu)造出的復(fù)形仍然是Gorenstein AC-投射復(fù)形.在第3節(jié)中,通過引入復(fù)形Gorenstein AC-投射維數(shù)的概念,并對復(fù)形的Gorenstein AC-投射維數(shù)進行了刻畫.對Gorenstein AC-內(nèi)射復(fù)形有對偶的結(jié)果,本文不再贅述.

        1 預(yù)備知識

        將R-模的復(fù)形

        記為(X,δ),簡記為X.復(fù)形X的第n層次的循環(huán)(邊緣,同調(diào)模)記作Zn(X)(Bn(X),Hn(X)).用Ch(R)代表R-模的復(fù)形構(gòu)成的Abel范疇.設(shè)X,Y∈Ch(R),用Hom(X,Y)表示X到Y(jié)的所有復(fù)形態(tài)射構(gòu)成的Abel群;對任意的i≥1,Exti(X,Y)表示Hom的右導(dǎo)出函子.用Hom(X,Y)表示由X和Y確定的Abel群的復(fù)形,它的第n層次為

        第n層次的邊緣算子是

        設(shè)A是Abel范疇,X是A中一些對象的類,據(jù)文獻[2],稱X是投射可解的.如果X包含A的所有投射對象,并且對A中的任意短正合列0→A′→A→A″→0,若A″∈X,則A∈X當(dāng)且僅當(dāng)A′∈X.稱A中對象的復(fù)形C是Hom(-,X)正合的,是指對任意的X∈X,復(fù)形Hom(C,X)是正合的.

        其中每個Pi是投射模,使得M?Ker(P-1→P-2).由GorensteinAC-投射模的定義易見.

        引理1 設(shè)M是模.則M是GorensteinAC-投射模,當(dāng)且僅當(dāng)對任意的level模F,Ext≥1(M,F)=0,并且存在Hom(-,L(R))正合的正合列

        其中Pi都是投射模.

        引理2GorensteinAC-投射模的類是投射可解的.

        證明 類似于文獻[10]定理2.6的證明可得. 】

        稱復(fù)形P是投射復(fù)形,如果P是正合復(fù)形,并且每個Zn(P)是投射模.據(jù)文獻[17],稱復(fù)形L是level復(fù)形,如果L是正合復(fù)形,并且每個Zn(L)是level模,將level復(fù)形的類記作L(Ch(R));稱復(fù)形X是Gorenstein AC-投射復(fù)形,簡稱為GAC-投射復(fù)形,如果存在Hom(-,L(Ch(R))正合的正合列

        其中每個Pi都是投射復(fù)形,使X?Ker(P-1→P-2).

        2 Gorenstein AC-投射復(fù)形的穩(wěn)定性

        本節(jié)討論Gorenstein AC-投射復(fù)形的穩(wěn)定性,為此先做一些準(zhǔn)備工作.

        引理3 由文獻[17]中定理4.13,設(shè)X∈Ch(R).則X是GAC-投射復(fù)形當(dāng)且僅當(dāng)對任意的i∈Z,Xi是GAC-投射模,且對任意的level復(fù)形L,Hom(X,L)是正合復(fù)形.

        引理4GAC-投射復(fù)形的類是投射可解的.

        證明 顯然,投射復(fù)形是GAC-投射復(fù)形.設(shè)0→X→Y→Z→0是復(fù)形的短正合列,其中Z是GAC-投射復(fù)形.設(shè)L是level復(fù)形,由level模的定義易見每個Li是level模.由引理3知每個Zj是GAC-投射模,所以由引理1,對任意的n,t∈Z,Ext1(Zt,Lt+n)=0.于是對任意的n,t∈Z,有短正合列

        進而有復(fù)形的短正合列0→Hom(Z,L)→Hom(Y,L)→Hom(X,L)→0.由引理3,Hom(Z,L)是正合復(fù)形,所以由引理2和引理3可證得X是GAC-投射復(fù)形,當(dāng)且僅當(dāng)Y是GAC-投射復(fù)形,從而結(jié)論成立. 】

        引理5GAC-投射復(fù)形的類關(guān)于直和項和任意直和封閉.

        證明 設(shè)X是GAC-投射復(fù)形,且A⊕B=X.則由引理3知,對任意i∈Z,Ai是GAC-投射模.設(shè)L是level復(fù)形.則由引理3知,Hom(X,L)是正合復(fù)形.因為Hom(A⊕B,L)?Hom(A,L)⊕Hom(B,L),所以Hom(A,L)正合.于是由引理3知,A是GAC-投射復(fù)形.

        引理6 設(shè)0→X→Y→Z→0是復(fù)形的正合列.若X和Y是GAC-投射復(fù)形,則Z是GAC-投射復(fù)形,當(dāng)且僅當(dāng)對任意的level復(fù)形L,Ext1(Z,L)=0.

        證明 必要性顯然,現(xiàn)證充分性.因為X是GAC-投射復(fù)形,所以存在復(fù)形的正合列0→X→P→G→0,其中P是投射復(fù)形,G是GAC-投射復(fù)形.于是推出圖

        在短正合列0→Y→Q→G→0中,因為G和Y是GAC-投射復(fù)形,所以由引理4知,Q是GAC-投射復(fù)形.又因為P是level復(fù)形,所以Ext1(Z,P)=0.從而第二行的正合列可裂.由引理5知,Z是GAC-投射復(fù)形. 】

        引理7 設(shè)

        (1)

        是復(fù)形的正合列,其中G1和G0是GAC-投射復(fù)形.則

        1)存在正合列

        (2)

        (3)

        其中J和P是投射復(fù)形,G和F是GAC-投射復(fù)形.

        2)如果(1)是Hom(-,L(Ch(R)))正合的,那么(2)和(3)也是Hom(-,L(Ch(R)))正合的.

        證明 1)因為G1是GAC-投射復(fù)形,所以存在正合列0→G1→J→Q1→0,其中J是投射復(fù)形,Q1是GAC-投射復(fù)形.考察推出圖

        由第三列和短正合列0→Imf→G0→X→0,有下列推出圖

        由上面兩個推出圖的第二行得正合列0→A→J→G→X→0.在正合列0→G0→G→Q1→0,因為G0,Q1是GAC-投射復(fù)形,所以由引理4,G是GAC-投射復(fù)形.

        因為G0是GAC-投射復(fù)形,所以存在正合列0→Q2→P→G0→0,其中P是投射復(fù)形,Q2是GAC-投射復(fù)形.考察拉回圖

        由該圖中的第一列和短正合列0→A→G1→Imf→0,考察拉回圖

        由以上兩個拉回圖的第二行得正合列

        0→A→F→P→X→0,

        并且由引理4,F是GAC-投射復(fù)形.

        2)設(shè)L是level復(fù)形,并且(1)是Hom(-,L)正合的,則Ext1(Imf,L)=0.因為Q1是GAC-投射復(fù)形,所以Ext1(Q1,L)=0.從而Ext1(B,L)=0.故Hom(-,L)保持(2)的正合性.因為Ext2(X,L)=0且P是投射復(fù)形,所以Ext1(N,L)=0.Hom(-,L)保持(3)的正合性. 】

        引理8 設(shè)n是正整數(shù),

        (4)

        是復(fù)形的正合列,其中每個Gi是GAC-投射復(fù)形.則

        1)存在復(fù)形的正合列

        0→A→Pn-1→…→P1→P0→Y→0 (5)

        和0→X→Y→U→0,其中每個Pi是投射復(fù)形,U是GAC-投射復(fù)形.

        2)存在復(fù)形的正合列

        0→B→Pn-1→…→P1→P0→X→0(6)

        和0→V→B→A→0,其中每個Pi是投射復(fù)形,V是GAC-投射復(fù)形.

        3)如果(4)是Hom(-,L(Ch(R)))正合的,那么(5)和(6)也是Hom(-,L(Ch(R)))正合的.

        證明 1)對n進行歸納.

        當(dāng)n=1時,在正合列0→A→G0→X→0中,因為G0是GAC-投射復(fù)形,所以存在正合列0→G0→P0→U→0,其中P0是投射復(fù)形,U是GAC-投射復(fù)形.于是由推出圖

        可得所需的正合列0→A→P0→Y→0和0→X→Y→U→0.

        設(shè)n≥2且有正合列

        其中每個Gi是GAC-投射復(fù)形.令K=Coker (Gn-1→Gn-2).則有正合列

        0→K→Gn-3→…→G1→G0→0.

        由引理7知存在正合列

        由歸納假設(shè),存在正合列

        0→A′→Pn-2→Pn-3→…→P1→P0→X→0

        0→X→Y→U→0,

        其中每個Pi是投射復(fù)形,U是GAC-投射復(fù)形.于是有正合列

        其中每個Pi是投射復(fù)形.

        2)類似于1)可證.

        3)設(shè)L是level復(fù)形,并且Hom(-,L)保持(4)的正合性.當(dāng)n=1時,上面推出圖的第一行與第二列是Hom(-,L)正合的,故第二行是Hom(-,L)正合的.當(dāng)n≥2時,由引理7及歸納假設(shè)可得(5)是Hom(-,L)正合的.(6)的Hom(-,L(Ch(R)))正合性類似可證. 】

        定理1 設(shè)X∈Ch(R).則X是GAC-投射復(fù)形當(dāng)且僅當(dāng)存在GAC-投射復(fù)形的正合列

        使得X?Cokerσ1并且對任意的level復(fù)形L,Hom(G,L)正合.

        證明 ?.顯然.

        ?.設(shè)存在Hom(-,L(Ch(R)))正合的GAC-投射復(fù)形的正合列

        使得X?Imσ0.對任意的i∈Z,令Xi=Imσi.則X0=X,并且對任意的i∈Z,有Hom(-,L(Ch(R)))正合的正合列0→Xi+1→Gi→Xi→0.下面證明X是GAC-投射復(fù)形.

        考察正合列

        由引理8,存在Hom(-,L(Ch(R)))正合的正合列

        其中P-1是投射復(fù)形,V-1是GAC-投射復(fù)形.于是由推出圖

        可得正合列

        因為G-2和V-1是GAC-投射復(fù)形,所以由引理4知,U-1是GAC-投射復(fù)形.因為

        是Hom(-,L(Ch(R)))正合的,所以

        是Hom(-,L(Ch(R)))正合的.重復(fù)上述過程可得Hom(-,L(Ch(R)))正合的正合列

        其中P-i是投射復(fù)形,i=1,2,…,Y0=X.于是有Hom(-,L(Ch(R)))正合的正合列

        (*)

        其中每個P-i是投射復(fù)形.

        對偶地,可以證明存在Hom(-,L(Ch(R)))正合的正合列

        (**)

        其中每個Pi是投射復(fù)形.

        由(*)和(**)得Hom(-,L(Ch(R)))正合的正合列

        其中每個Pi是投射復(fù)形,使得X?Im(P0→P-1).因此X是GAC-投射復(fù)形. 】

        3 復(fù)形的Gorenstein AC-投射維數(shù)

        作為引理7的另一個應(yīng)用,本節(jié)研究復(fù)形的Gorenstein AC-投射維數(shù).因為投射復(fù)形是GAC-投射復(fù)形,所以每個復(fù)形都有GAC-投射分解,從而可以定義復(fù)形的GAC-投射維數(shù).

        引理9 設(shè)X∈Ch(R).考察復(fù)形的正合列

        證明 作映射錐,得復(fù)形的正合列

        進而有復(fù)形的正合列

        推論1 設(shè)X∈Ch(R).考察復(fù)形的正合列

        證明 由引理9可得. 】

        定理2 設(shè)X∈Ch(R),n≥0.則以下條件等價:

        1)GAC-pd(X)≤n;

        2)GAC-pd(X)<∞,且對任意level維數(shù)有限的復(fù)形L,Ext>n(X,L)=0;

        3)GAC-pd(X)<∞,且對任意level復(fù)數(shù)L,Ext>n(X,L)=0;

        4)對復(fù)形的任意正合列…→Gn→Gn-1→…→G0→X→0,其中每個Gi是GAC-投射復(fù)形,Kn=Ker(Gn-1→Gn-2)是GAC-投射復(fù)形;

        5)對任意的0≤t≤n存在正合列0→Pn→…→Pt+1→Gt→Pt-1→…→P0→X→0,其中Gt是GAC-投射復(fù)形,Pi是投射復(fù)形.

        證明 2)?3),4)?5)和5)?1)顯然.

        1)?2).因為GAC-pd(X)≤n,所以存在X的長度為n的GAC-投射分解

        由維數(shù)轉(zhuǎn)移,對任意的m>n和任意的level維數(shù)有限的復(fù)形L,Extm(X,L)?Extm-n(Gn,L)=0.

        3)?4).設(shè)

        是X的一個GAC-投射分解.下證Kn=Ker(Gn-1→Gn-2)是GAC-投射復(fù)形.

        由3),設(shè)GAC-pd(X)=m<∞.則存在X的長度為m的GAC-投射分解

        i)若m≤n,將上述X的GAC-投射分解擴充為長度為n的GAC-投射分解

        由推論1知,Kn是GAC-投射復(fù)形.

        1)?5).對n進行歸納.

        當(dāng)n=1時,存在正合列0→D1→D0→X→0,其中D0,D1是GAC-投射復(fù)形.由引理7(A=0的情形),存在正合列0→P1→G0→X→0和正合列0→G1→P0→X→0,其中G0,G1是GAC-投射復(fù)形,P0,P1是投射復(fù)形.故n=1時結(jié)論成立.

        設(shè)n≥2,且有復(fù)形的正合列0→Dn→Dn-1→…→D0→X→0,其中每個Di是GAC-投射復(fù)形.令A(yù)=Ker(D1→D0).則有正合列

        0→A→D1→D0→X→0.

        令Y=Ker(P0→X).則GAC-pd(Y)≤n-1.由歸納假設(shè),存在正合序列

        其中Gt是GAC-投射復(fù)形,Pi是投射復(fù)形,i=0,1,…,t-1,t+1,…,n.下面證明t=0的情形.令B=Coker(D2→D1),由歸納假設(shè),存在正合列

        由引理7,存在正合列0→C→P1→G0→X→0,其中G0是GAC-投射復(fù)形,P1是投射復(fù)形.于是有正合序列

        其中Pi是投射復(fù)形,i=1,2,…,n. 】

        推論2 設(shè)0→X′→X→X″→0是復(fù)形的短正合列,n∈N.則

        1)若GAC-pd(X″)≤n,則GAC-pd(X′)≤n當(dāng)且僅當(dāng)GAC-pd(X)≤n.進而,

        GAC-pd(X′)≤max{GAC-pd(X),GAC-pd(X″)},

        GAC-pd(X)≤max{GAC-pd(X′),GAC-pd(X″)}.

        2)若GAC-pd(X′)>GAC-pd(X″)或GAC-pd(X)>GAC-pd(X″),則GAC-pd(X′)=GAC-pd(X).

        3)若GAC-pd(X″)>0,X是GAC-投射復(fù)形.則GAC-pd(X′)=GAC-pd(X″)-1.

        因此,在0→X′→X→X″→0中,如果任意兩項的GAC-投射維數(shù)有限,那么第三項的GAC-投射維數(shù)也有限.

        證明 1)當(dāng)n=0時,X″是GAC-投射復(fù)形.于是由引理4知,X′是GAC-投射復(fù)形當(dāng)且僅當(dāng)X是GAC-投射復(fù)形.故n=0時結(jié)論成立.

        假設(shè)n>0.作X′,X″的投射分解

        由馬掌引理有以下交換圖

        2)設(shè)GAC-pd(X′)>GAC-pd(X″).則由1)中的第二個不等式知,GAC-pd(X)≤GAC-pd(X′).若GAC-pd(X)

        由1),2),3),最后一個事實成立. 】

        [1] ENOCHS E E,JENDA O M G.Gorenstein injective and projective modules[J].MathZ,1995,220(1):611.

        [2] ENOCHS E E,JENDA O M G.RelativeHomologicalAlgebra[M].Berlin:Walter de Gruyter,2000.

        [3] CHRISTENSEN L W.GorensteinDimension[M].Berlin:Springer,2000.

        [4] HOLM H.Gorenstein homological dimensions[J].JPureApplAlgebra,2004,189(1):167.

        [5] DING N Q,LI Y L,MAO L X.Strongly Gorenstein flat modules[J].JAustMathSoc,2009,86(3):323.

        [6] DING N Q,MAO L X.Gorenstein FP-injective and Gorenstein flat modules[J].JAlgebraAppl,2008,7(4):491.

        [7] GILLESPIE J.Model structures on modules over Ding-Chen rings[J].Homology,HomotopyAppl,2010,12(1):61.

        [8] HUANG C H,HUANG Z Y.Gorenstein syzygy modules[J].JAlgebra,2010,324(12):3408.

        [9] GENG Y X,DING N Q.W-Gorenstein modules[J].JAlgebra,2011,325(1):132.

        [10] YANG G,LIU Z K,LIANG L.Ding projective and Ding injective modules[J].AlgebraColloq,2013,20(4):601.

        [11] XU A M,DING N Q.On stability of gorenstein categories[J].CommAlgebra,2013,41(7):3793.

        [12] ENOCHS E E,GARCA ROZAS J R.Gorenstein injective and projective complexes[J].CommAlgebra,1998,26(5):1657.

        [14] YANG G,LIU Z K,LIANG L.Model structures of complexes over Ding-Chen rings[J].CommAlgebra,2013,41(1):50.

        [15] XIN D W,CHEN J L,ZHANG X X.Completely W-Resolved complexes[J].CommAlgebra,2013,41(4):1247.

        [16] GAO Z H,WANG F G.Weak injective and weak flat modules[J].CommAlgebra,2015,43(9):3857.

        [17] BRAVO D,GILLESPIE J.Absolutely clean,level,and Gorenstein AC-injective complexes[EB/OL].[2015-07-28]http://arxiv.org/pdf/1408.7089v/.pdf.

        (責(zé)任編輯 陸泉芳)

        On stability of Gorenstein AC-projective complexes

        ZHAO Ren-yu,QUAN Yan-hong

        (College of Mathematics and Statistics,Northwest Normal University,Lanzhou 730070,Gansu,China)

        In this paper,it is proved that an iteration of the procedure used to define Gorenstein AC-projective complexes yields exactly Gorenstein AC-projective complexes.We also introduce and characterize the notion of the Gorenstein AC-projective dimension of complexes.

        Gorenstein AC-projective modules;Gorenstein AC-projective complexes;level complexes;Gorenstein AC-projective dimension

        10.16783/j.cnki.nwnuz.2016.01.001

        2015-08-05;修改稿收到日期:2015-10-29

        國家自然科學(xué)基金資助項目(11361052)

        趙仁育(1977—),男,甘肅景泰人,副教授,博士.主要研究方向為環(huán)的同調(diào)理論.

        E-mail:zhaory@nwnu.edu.cn

        O 153.3

        A

        1001-988Ⅹ(2016)01-0001-07

        猜你喜歡
        投射模維數(shù)證明
        β-變換中一致丟番圖逼近問題的維數(shù)理論
        獲獎證明
        X-丁投射模
        判斷或證明等差數(shù)列、等比數(shù)列
        一類齊次Moran集的上盒維數(shù)
        Gorenstein投射模的張量積
        SR—擬投射模
        關(guān)于齊次Moran集的packing維數(shù)結(jié)果
        涉及相變問題Julia集的Hausdorff維數(shù)
        證明我們的存在
        国产成人精品三级91在线影院| 99精品国产在热久久无毒不卡| 亚洲精品久久久久avwww潮水| 激情欧美日韩一区二区| 国产成人亚洲欧美三区综合| 成人黄色片久久久大全| 亚洲一区二区三区小说| 无码综合天天久久综合网| 国产精品女同一区二区久久| 亚洲女同高清精品一区二区99| 激情综合婷婷色五月蜜桃| 亚洲综合无码无在线观看| 精品久久久久中文字幕APP| 国产成人一区二区三区| 国产av一区二区三区无码野战| 五月婷婷俺也去开心| 香港三级欧美国产精品| 自拍偷区亚洲综合第一页| 亚洲精品美女久久777777| 巨熟乳波霸若妻在线播放| 久久久国产精品粉嫩av| 91三级在线观看免费| 国产又a又黄又潮娇喘视频| 亚洲日本欧美产综合在线| 青青青草视频手机在线 | 久久久久99精品成人片| 国产成人综合久久精品免费| 国产精品天干天干在线观蜜臀| 最新中文字幕日韩精品| 午夜福利啪啪片| 一级一级毛片无码免费视频 | 亚洲成人av一区免费看| 无码爆乳护士让我爽| 双腿张开被9个黑人调教影片 | 久久精品亚洲一区二区三区画质| 国内精品久久久久伊人av| 在线中文字幕有码中文| 免费在线av一区二区| 久久精品国产99国产精品澳门| 精品香蕉久久久爽爽 | 日韩一区二区三区天堂|