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

        ?

        根箭圖表示范疇中的Gorenstein平坦-余撓對象

        2023-05-07 13:42:38吳德軍
        蘭州理工大學學報 2023年2期
        關鍵詞:定義

        吳德軍, 李 丹

        (蘭州理工大學 理學院, 甘肅 蘭州 730050)

        定義1[1]設T是平坦-余撓左R-模的零調復形.若對于任意的平坦-余撓左R-模W,復形HomR(T,W)與HomR(W,T)均正合,則稱T為平坦-余撓左R-模的完全零調復形.

        定義2[1]設G是左R-模.若存在平坦-余撓左R-模的完全零調復形T,滿足Z0(T)=G,則稱G為Gorenstein平坦-余撓左R-模.

        定義3[2]設F∈Rep(Q,R).若-?F是正合函子,則稱F為平坦表示.

        定義4[2]設Q=(Q0,Q1,s,t)是箭圖.考慮頂點集Q0的子集,存在如下超限序列{Vα}(α是序數):

        1) 對于第一個序數α=0 設V0=?;

        定義5[2]設Q是箭圖.若存在序數λ,使得Vλ=Q0,則稱Q是左根箭圖.

        引理1[2]設R是環(huán),Q是左根箭圖.則F∈Rep(Q,R)是平坦表示當且僅當對任意的頂點i∈Q0,以下條件成立:

        1)F(i)是平坦左R-模;

        引理2[3]設R是環(huán),Q是左根箭圖.則C∈Rep(Q,R)是余撓表示當且僅當對任意的頂點i∈Q0,C(i)是余撓左R-模.

        定義7[4]設M∈Rep(Q,R).若存在表示范疇Rep(Q,R)中的平坦表示的正合列…→F1→F0→F-1→…,使得M?ker(F0→F-1),且對任意的內射表示E,有E?Q-作用于上正合列上保持正合,則稱M為Gorenstein平坦表示.

        引理3[4]設R是環(huán),Q是左根箭圖.則M∈Rep(Q,R)是Gorenstein平坦表示當且僅當對任意的頂點i∈Q0,以下條件成立:

        1)M(i)是Gorenstein平坦左R-模;

        定義10設X∈Rep(Q,R).若X既是平坦表示又是余撓表示,則稱X為平坦-余撓表示.

        注2所有的平坦-余撓表示類記為FC(Q).

        定理1設R是環(huán),Q是左根箭圖.則M∈Rep(Q,R)是平坦-余撓表示當且僅當對任意的頂點i∈Q0,以下條件成立:

        1)M(i)是平坦-余撓左R-模;

        證明由引理1與引理2可得證.

        由定義8可知:

        又由定義8可得

        圖1 交換圖

        由定義8與定理1可知,?v∈Q0,ev(L′)=L′(v)是平坦-余撓左R-模.

        定義11設M∈Rep(Q,R).若存在表示范疇Rep(Q,R)中平坦-余撓表示的正合列…→X1→X0→X-1→…,使得M?coker(X1→X0),且對任意的平坦-余撓表示L,有HomQ(-,L)作用于上正合列上保持正合,則稱M為Gorenstein平坦-余撓表示.

        注3所有的Gorenstein平坦-余撓表示類記為GFC(Q).

        定理2設Q是左根箭圖,R是環(huán)并且余撓R-模保持直和.則M是Gorenstein平坦-余撓表示當且僅當對任意的頂點i∈Q0,以下條件成立:

        1)M(i)是Gorenstein平坦-余撓左R-模;

        證明必要性: 因為M是Gorenstein平坦-余撓表示,所以存在表示范疇Rep(Q,R)中平坦-余撓表示的正合列

        X:=…→X2→X1→X0→X-1→X-2→…

        圖2 交換圖

        下證:M(i)是Gorenstein平坦-余撓左R-模.

        因為X是表示范疇中的平坦-余撓表示的正合列,且M?coker(X1→X0),所以由定理1和文獻[7]的引理7.11.1后的注記可知,對?i∈Q0,

        是平坦-余撓左R-模的正合列,且

        M(i)?coker(X1(i)→X0(i))

        根據Gorenstein平坦-余撓左R-模的定義,下面只需證明:對于任意的平坦-余撓左R-模W,對?i∈Q0,HomR(X(i),W)正合.

        定義表示W′∈Rep(Q,R):

        ?i∈V1,W′(i)=W;

        ?j∈V1{i},W′(j)=0;

        由定理1可知,W′是表示范疇Rep(Q,R)中的平坦-余撓表示.因為M是Gorenstein平坦-余撓表示,所以HomQ(X,W′)=…→HomQ(X-1,W′)→HomQ(X0,W′)→HomQ(X1,W′)→…是正合列.

        由命題1可知,有正合列

        HomR(X,W′)i=…→HomR(X-1(i),W)→

        HomR(X0(i),W)→HomR(X1(i),W)→…

        又因為W′(i)=W是平坦-余撓左R-模,所以M(i)是Gorenstein平坦-余撓左R-模.

        考慮下列交換圖,如圖3所示.

        圖3 交換圖

        根據Gorenstein平坦-余撓左R-模的定義,下面只需證明:對于任意的平坦-余撓左R-模N,HomR(-,N)作用在圖3的第三列保持正合.

        對于任意的平坦-余撓左R-模N,用HomR(-,N)作用于圖3,則有下列交換圖,如圖4所示.

        圖4 交換圖

        充分性:利用超限歸納法構造復形Xα為表示范疇Rep(Q,R)中的平坦-余撓表示的正合列,且對?α≤μ(Q)(μ(Q)是指使得Vα=Q0的最小的α),Xα滿足下列條件:

        1) 對?i∈Vα(α>0),Xα(i)是平坦-余撓左R-模的正合列,且對任意的平坦-余撓左R-模L,HomR(Xα(i),L)正合;

        3) 對?β<α≤μ(Q),?i∈Vβ(β>0),Xα(i)=Xβ(i).

        下證: 存在表示范疇Rep(Qα+1,R)中的平坦-余撓表示的正合列Xα+1,使得Xα+1滿足1)~3).

        對?i∈Vα+1,任意箭頭a∈Qα+1且t(a)=i,由定義4后的注1可知,s(a)∈Vα.由歸納假設與已知條件可知:

        且存在左R-模中的正合列

        因此,存在平坦-余撓左R-模的正合列

        使得

        由馬蹄引理可知,存在M(w)的平坦-余撓左R-模的分解:

        同理可得平坦-余撓左R-模的分解:

        將上面兩個序列連接可得到平坦-余撓左R-模的正合列

        使得M(w)?cokerδ,因為對?j∈Ζ,任意的平坦-余撓左R-模L,有

        是正合的,所以HomR(Xw,L)是正合的.

        (3) 當γ<μ(Q)為極限序數時,假設對?α<γ,存在Xα為表示范疇Rep(Qα,R)中的平坦-余撓表示的正合列且滿足1)~3).

        下證: 存在表示范疇Rep(Qγ,R)中的平坦-余撓表示的正合列Xγ,使得Xγ滿足1)~3).

        由假設可知,存在Xβ′是表示范疇Rep(Qβ′,R)中的平坦-余撓表示的正合列并且滿足1)~3).

        綜上,由超限歸納法可知,存在表示范疇Rep(Q,R)中的平坦-余撓表示的正合列X,使得對?i∈Q0,X(i)是平坦-余撓左R-模的正合列,且滿足M(i)?coker(X1(i)→X0(i)),對任意平坦-余撓左R-模L,HomR(X(i),L)正合.

        下證:對任意平坦-余撓表示L′,HomQ(X,L′)正合.

        由文獻[8]可知,存在平坦-余撓表示復形的短正合列

        因為X是平坦-余撓表示的正合列,所以對任意平坦-余撓表示L′,HomQ(X,L′)作用于上正合列保持正合,即

        是正合列.

        由命題3與直積是正合函子可知:

        均正合,因此HomQ(X,L′)正合,由定義11可知,M是Gorenstein平坦-余撓表示.

        定義12[7]設Q=(Q0,Q1,s,t)是箭圖.若頂點集Q0與箭頭集Q1均為有限集,則稱Q為有限箭圖.箭圖Q中的長為l的路p,是指如下有限序列(i|α1,α2,…,αl|j)或簡記為α1α2…αl,對任意1≤k≤l,αk∈Q1,有s(α1)=i且t(αl)=j,記為l(p).約定頂點i是起點和終點均為i的長度為零的路,并記為ei.如果l(p)≥1且s(p)=t(p),那么稱路p是有向圈,簡稱為圈.特別地,長度為1的圈稱為環(huán)圈.若Q不包含圈,則稱Q是零調箭圖.

        推論1設R是環(huán),Q是有限零調箭圖.則M是Gorenstein平坦-余撓表示當且僅當對任意的頂點i∈Q0,以下條件成立:

        1)M(i)是Gorenstein平坦-余撓左R-模;

        證明由定理2可得.

        猜你喜歡
        定義
        以愛之名,定義成長
        活用定義巧解統(tǒng)計概率解答題
        例談橢圓的定義及其應用
        題在書外 根在書中——圓錐曲線第三定義在教材和高考中的滲透
        永遠不要用“起點”定義自己
        海峽姐妹(2020年9期)2021-01-04 01:35:44
        嚴昊:不定義終點 一直在路上
        華人時刊(2020年13期)2020-09-25 08:21:32
        定義“風格”
        成功的定義
        山東青年(2016年1期)2016-02-28 14:25:25
        有壹手——重新定義快修連鎖
        修辭學的重大定義
        當代修辭學(2014年3期)2014-01-21 02:30:44
        九九久久精品国产免费av | 国产精品玖玖玖在线资源| 风韵丰满妇啪啪区老老熟女杏吧| 亚洲视频在线观看一区二区三区| 成人乱码一区二区三区av| 亚洲男同帅gay片在线观看| 国产精品国三级国产av| 亚洲精品在线一区二区| a级毛片免费观看在线播放| 又硬又粗又大一区二区三区视频 | 曰本人做爰又黄又粗视频| 欧美日韩国产免费一区二区三区欧美日韩| 91久久精品人妻一区二区| 漂亮人妻被强了中文字幕| 无码丰满熟妇一区二区| 在线亚洲综合| 色婷婷亚洲一区二区在线| 丰满女人猛烈进入视频免费网站| 色欲人妻综合网| 色综合久久精品中文字幕| 极品少妇高潮在线观看| 中国精品18videosex性中国| 亚洲av成人无码网天堂| 国产精品一区二区午夜久久 | 色88久久久久高潮综合影院| 一本一本久久a久久精品综合麻豆| 欧美洲精品亚洲精品中文字幕| 成人一区二区三区激情视频| 好吊妞无缓冲视频观看 | 国产精品99久久久久久98AV| 亚洲国产中文字幕九色| 成人欧美一区二区三区在线| 一个人在线观看免费视频www| 97久久成人国产精品免费| 亚洲美女自拍偷拍视频| 日本午夜精品理论片a级app发布 | 91精品国产91久久久无码色戒 | 日韩精品中文字幕综合| 亚洲处破女av日韩精品中出| 狠狠色噜噜狠狠狠888米奇视频| 久久久久久久尹人综合网亚洲 |