• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

      兩類剖分圖的邊理想的正則度

      2022-03-21 13:00:32朱廣俊張伽祺
      大學(xué)數(shù)學(xué) 2022年1期
      關(guān)鍵詞:單項(xiàng)式線圖正則

      朱廣俊, 張伽祺

      (蘇州大學(xué) 數(shù)學(xué)科學(xué)學(xué)院,江蘇 蘇州215006)

      1 引 言

      圖論中,完全二部圖和剖分圖是性質(zhì)比較好的常見的兩類圖,很多學(xué)者已從組合的角度對(duì)它們進(jìn)行了研究,見參考文獻(xiàn)[1-3].由于超圖的邊和單項(xiàng)式理想的生成元之間可以一一對(duì)應(yīng),而單項(xiàng)式理想又是多項(xiàng)式環(huán)中一類非常重要的理想,通過這種對(duì)應(yīng)關(guān)系,超圖的組合性質(zhì)與單項(xiàng)式理想的代數(shù)性質(zhì)之間有著密切的聯(lián)系.本文主要研究完全二部圖和兩類m-剖分圖的邊理想的代數(shù)性質(zhì)與組合性質(zhì)之間的關(guān)系,通過構(gòu)造合適的短正合列,并利用線圖、圈圖和單項(xiàng)式理想的正則度的公式,給出兩類m-剖分圖的邊理想的正則度的精確公式,這些公式推廣了m個(gè)頂點(diǎn)的線圖和圈圖的正則度公式.從而加深對(duì)多項(xiàng)式環(huán)中單項(xiàng)式理想的一些性質(zhì)的理解.

      2 用到的定義和引理

      約定設(shè)m為一個(gè)實(shí)數(shù), 約定

      m

      表示不超過m的最大整數(shù).

      定義1[4]設(shè)G=(V,E)為一個(gè)圖, 它的頂點(diǎn)集和邊集分別為V和E, 其中E中的元素{u,v}是以u(píng),v為端點(diǎn)的邊. 稱不含環(huán)(兩個(gè)端點(diǎn)相同的一條邊)和重邊(以兩個(gè)頂點(diǎn)為端點(diǎn)的多條邊)的圖為簡(jiǎn)單圖.

      定義2[4]設(shè)G=(V(G),E(G))和H=(V(H),E(H))為兩個(gè)簡(jiǎn)單圖,若V(H)?V(G),E(H)?E(G),且x,y∈V(H),則邊{x,y}∈E(H)的充要條件是邊{x,y}∈E(G).則稱H為G的誘導(dǎo)子圖.

      定義4[5]設(shè)G=(V,E)為一個(gè)簡(jiǎn)單圖,其中V={x1,…,xn}.設(shè)S=k[x1,…,xn]為域k上n個(gè)變量的多項(xiàng)式環(huán),定義G的邊理想為

      I(G)=(xixj|{xi,xj}∈E).

      定義5[5]設(shè)S=k[x1,…,xn]是域k上n個(gè)變量的多項(xiàng)式環(huán),M為一個(gè)有限生成的分次S-模.設(shè)

      0→⊕jS(-j)βp,j(M)→⊕jS(-j)βp-1,j(M)→…→⊕jS(-j)β0,j(M)→M→0

      為M的一個(gè)極小分次自由預(yù)解,其中S(-j)i=Si-j,這里Si-j是多項(xiàng)式環(huán)S的第(i-j)個(gè)分次部分,βi,j(M)稱為模M的第(i,j)-分次Betti數(shù),它等于M的第i個(gè)合沖模的極小生成元集中次數(shù)為j的元素的個(gè)數(shù),是模M的一個(gè)代數(shù)不變量.稱

      reg(M)∶=max{j-i|βi,j(M)≠0}

      為M的正則度.它刻畫了M的極小分次自由預(yù)解中的合沖模的復(fù)雜程度.

      引理1[5]設(shè)S=k[x1,…,xn]是域k上n個(gè)變量的多項(xiàng)式環(huán),I?S為一個(gè)真的齊次理想,則

      引理2[6-7]設(shè)T1=k[x1,…,xm],T2=k[y1,…,yn]是域k上的兩個(gè)多項(xiàng)式環(huán),I?T1,J?T2為兩個(gè)非零的齊次真理想,{x1,…,xm}∩{y1,…,yn}=?,設(shè)T=k[x1,…,xm,y1,…,yn],則

      (i)reg(I+J)=reg(I)+reg(J)-1;

      (ii)reg(IJ)=reg(I)+reg(J).

      引理3[6,8]設(shè)n≥2為一個(gè)整數(shù),Ln是一個(gè)n個(gè)頂點(diǎn)的線圖,I(Ln)為L(zhǎng)n的邊理想,則

      reg(I(Ln))=n+13+1.

      引理4[6,8]設(shè)n≥3為一個(gè)整數(shù),Cn是一個(gè)n個(gè)頂點(diǎn)的圈圖,I(Cn)為Cn的邊理想,則

      reg(I(Cn))=n+13+1.

      引理5[7]設(shè)u1,…,ur為S中的齊次正則序列,且deg(u1)=…=deg(ur)=d;設(shè)I=(u1,…,ur),則對(duì)任意的正整數(shù)m,有

      reg(Im)=dm+(d-1)(r-1).

      引理6[7,9]設(shè)0→M→N→P→0為一個(gè)有限生成的分次S-模短正合列, 則

      reg(N)≤max{reg(M),reg(P)},

      當(dāng)reg(P)≠reg(M)-1時(shí),等號(hào)成立.

      3 主要結(jié)果

      證設(shè)Vi={xi1,…,xiqi},其中i=1,…,3.

      ① 當(dāng)m=2時(shí),則G的邊理想為

      I(G)=(x11x21,x11x22,…,x11x2q2,x12x21,x12x22,…,x12x2q2,…,x1q1x21,x1q1x22,…,x1q1x2q2)

      =(x11,x12,…,x1q1)(x21,x22,…,x2q2)=JK.

      其中J=(x11,x12,…,x1q1),K=(x21,x22,…,x2q2).從而I(G)t=JtKt.由引理2(ii)和引理5,可得

      reg(I(G)t)=reg(JtKt)=reg(Jt)+reg(Kt)=t+t=2t,

      其中S1=k[x11,…,x1q1],S2=k[x21,…,x2q2].

      ② 當(dāng)m=3 時(shí),則G的邊理想為

      I(G)=(x11x21,x11x22,…,x11x2q2,x12x21,x12x22,…,x12x2q2,…,x1q1x21,x1q1x22,…,x1q1x2q2)

      +(x21x31,x21x32,…,x21x3q3,x22x31,x22x32,…,x22x3q3,…,x2q2x31,x2q2x32,…,x2q2x3q3)

      =(x11,x12,…,x1q1,x31,x32,…,x3q3)(x21,x22,…,x2q2)=JK.

      其中J=(x11,x12,…,x1q1,x31,x32,…,x3q3),K=(x21,x22,…,x2q2).從而I(G)t=JtKt.由引理2(ii)和引理5,可得

      reg(I(G)t)=reg(JtKt)=reg(Jt)+reg(Kt)=t+t=2t,

      其中S1=k[x11,x12,…,x1q1,x31,x32,…,x3q3],S2=k[x21,…,x2q2].

      reg(I(G))=m+13+1.

      證當(dāng)m=2,3時(shí),由定理1可知,結(jié)論成立.設(shè)m≥4,且結(jié)論對(duì)所有小于m的整數(shù)都成立.此時(shí)記G的邊理想I(G)為I,則

      I=(x11x21,x11x22,…,x11x2q2,x12x21,x12x22,…,x12x2q2,…,x1q1x21,x1q1x22,…,x1q1x2q2)

      +(x21x31,x21x32,…,x21x3q3,x22x31,x22x32,…,x22x3q3,…,x2q2x31,x2q2x32,…,x2q2x3q3)+…

      +(xm-1,1xm1,…,xm-1,1xmqm,xm-1,2xm1,…,xm-1,2xmqm,…,xm-1,qm-1xm1,…,xm-1,qm-1xmqm).

      設(shè)J=(x21,x22,…,x2q2,x41,x42,…,x4q4),則當(dāng)m=4,5時(shí),有I∶x31=J;

      當(dāng)m≥6時(shí),有

      I∶x31=J+(x51x61,…,x51x6q6,x61x71,…,x61x7q7,…,xm-1,qm-1xm1,…,xm-1,qm-1xmqm).

      從而由引理2(i)和歸納假設(shè),可得

      當(dāng)m=4,5時(shí),有

      reg(I∶x31)+1=1+1=2;

      (1)

      當(dāng)m≥6時(shí),有

      reg(I∶x31)+1=m-4+13+1+1=m3+1.

      (2)

      對(duì)任意1≤i≤q3-1,有

      (I,x31,…,x3i)=(x31,…,x3i)+(x21x3,i+1,…,x21x3q3,…,x2q2x3,i+1,…,x2q2x3q3)

      +(x3,i+1x41,…,x3,i+1x4q4,x3,i+2x41,…,x3,i+2x4q4,…,x3q3x41,…,x3q3x4q4)

      +(x41x51,x41x52,…,x41x5q5,…,xm-1,qm-1xm1,xm-1,qm-1xm2,…,xm-1,qm-1xmqm).

      設(shè)Ki=J+(x31,…,x3i),則

      當(dāng)m=4,5時(shí),有((I,x31,…,x3i)∶x3,i+1)=Ki;

      當(dāng)m≥6時(shí),有

      ((I,x31,…,x3i)∶x3,i+1)=Ki+(x51x61,x51x62,…,x51x6q6,…,xm-1,qm-1xm1,…,xm-1,qm-1xmqm).

      由引理2(i)和歸納假設(shè),可得

      當(dāng)m=4,5時(shí),有

      reg((I,x31,…,x3i)∶x3,i+1)+1=1+1=m3+1;

      (3)

      當(dāng)m≥6時(shí),有

      reg((I,x31,…,x3i)∶x3,i+1)+1=m-4+13+1+1=m3+1;

      (4)

      設(shè)L=(x31,…,x3q3)+(x11x21,…,x11x2q2,…,x1q1x21,…,x1q1x2q2),則

      當(dāng)m=4時(shí),有(I,x31,…,x3q3)=L;

      當(dāng)m≥5時(shí),有

      (I,x31,…,x3q3)=L+(x41x51,x41x52,…,x41x5q5,…,xm-1,qm-1xm1,…,xm-1,qm-1xmqm).

      由引理2(i)和歸納假設(shè),可得

      當(dāng)m=4時(shí),有

      reg((I,x31,…,x3q3))=2+13+1=53+1;

      (5)

      當(dāng)m≥5時(shí),有

      reg((I,x31,…,x3q3))=2+m-3+13+1-1=m+13+1;

      (6)

      將公式(1)-(6)和引理6運(yùn)用到下列短正合列

      可得

      reg(I)=m+13+1.

      說明1 定理2中的m-剖分圖的正則度公式推廣了m個(gè)頂點(diǎn)的線圖的正則度公式.

      reg(I(G))=m+13+1.

      證設(shè)圖G的邊理想I(G)為I,則

      I=(x11x21,x11x22,…,x11x2q2,x12x21,x12x22,…,x12x2q2,…,x1q1x21,x1q1x22,…,x1q1x2q2)

      +(x21x31,x21x32,…,x21x3q3,x22x31,x22x32,…,x22x3q3,…,x2q2x31,x2q2x32,…,x2q2x3q3)

      +…+(xm-1,1xm1,…,xm-1,1xmqm,xm-1,2xm1,…,xm-1,2xmqm,…,xm-1,qm-1xm1,…,xm-1,qm-1xmqm)

      +(xm1x11,…,xm1x1q1,xm2x11,…,xm2x1q1,…,xmqmx11,…,xmqmx1q1).

      設(shè)集合V1,…,Vm中元素個(gè)數(shù)大于1的集合的個(gè)數(shù)為k,我們對(duì)k進(jìn)行歸納.

      當(dāng)k=0時(shí),由引理4,結(jié)論成立.

      當(dāng)k=1時(shí),不妨設(shè)|V1|≥2,從而圖G的邊理想為

      I=(x11x21,x12x21,…,x1q1x21,x21x31,x31x41,…,xm-1,1xm1,xm1x11,…,xm1x1q1).

      設(shè)J=(x21,xm1),則

      當(dāng)m=3,4時(shí),有I∶x11=J;

      當(dāng)m≥5時(shí),有I∶x11=J+(x31x41,x41x51…,xm-2,1xm-1,1).

      從而當(dāng)m=3,4時(shí),有

      reg(I∶x11)+1=1+1=m+13+1;

      (7)

      當(dāng)m≥5時(shí),由引理3可知

      reg(I∶x11)+1=reg(x31x41,x41x51…,xm-2,1xm-1,1)+1=m-3+13+1+1=m+13+1.

      (8)

      對(duì)任意1≤i≤q1-2,設(shè)Ji=(x11,…,x1i,x21,xm1),K=(x31x41,…,xm-2,1xm-1,1).則

      當(dāng)m=3,4時(shí),有(I,x11,…,x1i)∶x1,i+1=Ji;

      當(dāng)m≥5時(shí),有(I,x11,…,x1i)∶x1,i+1=Ji+K.

      從而當(dāng)m=3,4時(shí),有

      reg((I,x11,…,x1i)∶x1,i+1)+1=1+1=m+13+1;

      (9)

      當(dāng)m≥5時(shí),由引理2(i)和引理3可知

      reg((I,x11,…,x1i)∶x1,i+1)+1=reg(K)+1=m-3+13+1+1=m+13+1.

      (10)

      (I,x11,…,x1,q1-1)=(x11,…,x1,q1-1,x1q1x21,x21x31,…,xm-1,1xm1,xm1x1q1).

      從而由引理2(i)和引理4得

      reg((I,x11,…,x1,q1-1))=reg((x1q1x21,x21x31,…,xm-1,1xm1,xm1x1q1))=m+13+1.

      (11)

      將公式(7)-(11)和引理6運(yùn)用到下列短正合列

      可得

      reg(I)=m+13+1.

      當(dāng)k>1時(shí),取一個(gè)元素個(gè)數(shù)大于1的集合,不妨為V1.設(shè)L=(x21,…,x2q2,xm1,…,xmqm),

      M=(x31x41,…,x31x4q4,x32x41,…,xm-2,1xm-1,1,…,xm-2,qm-2xm-1,1,…,xm-2,qm-2xm-1,qm-1).

      則當(dāng)m=3,4時(shí),有I∶x11=L; 當(dāng)m≥5時(shí),有I∶x11=L+M.

      從而當(dāng)m=3,4時(shí),有

      reg(I∶x11)+1=1+1=m+13+1;

      (12)

      當(dāng)m≥5時(shí),由定理2可知

      reg(I∶x11)+1=m-3+13+1+1=m+13+1.

      (13)

      對(duì)任意1≤i≤q1-2,設(shè)Ni=(x11,…,x1i,x21,…,x2q2,xm1,…,xmqm).則

      當(dāng)m=3,4時(shí),有(I,x11,…,x1i)∶x1,i+1=Ni; 當(dāng)m≥5時(shí),有(I,x11,…,x1i)∶x1,i+1=Ni+M.從而當(dāng)m=3,4時(shí),有

      reg((I,x11,…,x1i)∶x1,i+1)+1=1+1=m+13+1;

      (14)

      當(dāng)m≥5時(shí),由定理2可知

      reg((I,x11,…,x1i)∶x1,i+1)+1=m-3+13+1+1=m+13+1.

      (15)

      注意(I,x11,…,x1,q1-1)=(I(G{x11,…,x1,q1-1}),x11,…,x1,q1-1),其中G{x11,…,x1,q1-1}是G去掉了V1中的點(diǎn)x1q1,…,x1q1-1以及與這些點(diǎn)相連的邊后得到的圖,從而G{x11,…,x1,q1-1}的頂點(diǎn)的部集V1{x11,…,x1,q1-1},…,Vm中元素個(gè)數(shù)大于1的集合的個(gè)數(shù)為k-1,從而由歸納假設(shè)可得

      (16)

      將公式(12)-(16)和引理6運(yùn)用到下面的短正合列

      …………

      可得

      reg(I)=m+13+1.

      說明2 定理3中的m-剖分圖的正則度公式推廣了m個(gè)頂點(diǎn)的圈圖的正則度公式.

      4 結(jié) 論

      本文主要利用線圖、圈圖和單項(xiàng)式理想的正則度的公式,并通過構(gòu)造合適的短正合列,給出了兩類m-剖分圖的邊理想的正則度的精確公式,它們分別推廣了線圖、圈圖的正則度公式.本文的工作為簡(jiǎn)單圖的代數(shù)性質(zhì)的研究提供了有益的探索,加深了同學(xué)們對(duì)相關(guān)理論和技能的理解和掌握.

      致謝作者非常感謝相關(guān)文獻(xiàn)對(duì)本文的啟發(fā)以及審稿專家提出的寶貴意見.

      猜你喜歡
      單項(xiàng)式線圖正則
      內(nèi)涵豐富的“勾股六線圖”
      基于箱線圖的出廠水和管網(wǎng)水水質(zhì)分析
      剩余有限Minimax可解群的4階正則自同構(gòu)
      類似于VNL環(huán)的環(huán)
      學(xué)習(xí)整式概念莫出錯(cuò)
      東山頭遺址采集石器線圖
      整式乘法與因式分解系列解讀(二)
      有限秩的可解群的正則自同構(gòu)
      有關(guān)線圖兩個(gè)性質(zhì)的討論
      奇異保序變換半群的極大正則子半群
      黄骅市| 呼玛县| 老河口市| 扶绥县| 化德县| 长垣县| 嘉义市| 台江县| 营山县| 巴里| 华坪县| 扶余县| 湖口县| 尉氏县| 蒙阴县| 巩义市| 莱芜市| 仁化县| 綦江县| 凤翔县| 志丹县| 通海县| 青河县| 本溪| 永德县| 陆河县| 武鸣县| 宁阳县| 乌拉特后旗| 准格尔旗| 扶风县| 台安县| 米泉市| 黄陵县| 清苑县| 蓬安县| 博湖县| 宁南县| 克东县| 龙门县| 平顺县|