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

        ?

        Ding-投射模和粘合

        2022-05-30 12:29:36張?jiān)?/span>曹天涯
        關(guān)鍵詞:定義結(jié)構(gòu)

        張?jiān)? 曹天涯

        (1. 蘭州工業(yè)學(xué)院 基礎(chǔ)學(xué)科部, 蘭州 730050; 2. 西北師范大學(xué) 計(jì)算機(jī)科學(xué)與工程學(xué)院, 蘭州 730070)

        文獻(xiàn)[1]給出了三角范疇粘合的公理化定義, 其提供了將三角范疇分解為兩個(gè)三角子范疇, 又將兩個(gè)三角子范疇粘合成一個(gè)三角范疇的構(gòu)造方法. 目前, Abel范疇和三角范疇的粘合已成為數(shù)學(xué)研究的基本工具, 在奇異空間、 代數(shù)表示論、 環(huán)論、 多項(xiàng)式函子理論等領(lǐng)域具有重要作用. 文獻(xiàn)[2]給出了三角范疇穩(wěn)定t-結(jié)構(gòu)的概念, 三角范疇的粘合和穩(wěn)定t-結(jié)構(gòu)有密切的聯(lián)系; 文獻(xiàn)[3]提出了強(qiáng)Gorenstein-平坦模和Gorenstein FP-內(nèi)射模的概念; 文獻(xiàn)[4]稱強(qiáng)Gorenstein-平坦模和Gorenstein FP-內(nèi)射模分別為Ding-投射模和Ding-內(nèi)射模, 同時(shí)利用Ding-模把Quillen模型結(jié)構(gòu)下的同倫范疇從Gorenstein環(huán)推廣到Ding-Chen環(huán)上; 文獻(xiàn)[5-9]給出了關(guān)于Ding模以及粘合的相關(guān)結(jié)果. 本文在文獻(xiàn)[6]的基礎(chǔ)上繼續(xù)研究Ding-投射模上的相關(guān)同倫范疇, 并且構(gòu)造粘合及相應(yīng)的穩(wěn)定t-結(jié)構(gòu).

        1 預(yù)備知識(shí)

        設(shè)R是具有單位元的環(huán), 本文所涉及的模均為左R-模, 復(fù)形均為上鏈復(fù)形.

        定義1[4]若存在一個(gè)正合序列

        P·=…→P-1→P0→P1→P2→…,

        定義2[1]設(shè)D, D′,D″是三角范疇, D允許有關(guān)于D′和D″的粘合, 記作

        (1)

        其是指式(1)中6個(gè)三角函子滿足下列條件:

        1) (i*,i*),(i!,i!),(j!,j!)和(j*,j*)是伴隨對;

        2)i*,j!,j*是滿嵌入函子;

        3)j*i*=0;

        4) 對D中的任意對象X, 可確定D中的兩個(gè)三角:

        i*i!X→X→j*j!X→i*i!X[1],

        j!j*X→X→i!i*X→j!j*X[1].

        如果4個(gè)正合函子i*,i!,j*,j*滿足粘合定義中的相應(yīng)條件, 則稱三角范疇D允許有關(guān)于三角范疇D′和D″的右的粘合.

        類似地, 可定義左粘合.

        定義3[2]設(shè)U和V是三角范疇D的全子范疇, 用[1]表示三角范疇中的平移函子.如果其滿足下列條件:

        1) U=U[1], V=V [1];

        2) 對于任意的X∈U,Y∈V, 均有HomD(X,Y)=0;

        3) 對于D中的任意一個(gè)對象X, 存在三角A→X→B→A[1], 其中A∈U,B∈V.

        則稱(U,V)是D上的穩(wěn)定t-結(jié)構(gòu).

        2 主要結(jié)果

        對于*∈{∞,-,+}, 定義K*(DP)的三角子范疇如下:

        K*,db(DP)∶={X∈K*(DP)|對任意D∈DP, 均存在-m,k∈,

        使得Hi(HomR(D,X))=0,i<-m,i>k}.

        顯然,Kb(DP),K-,db(DP),K+,db(DP)都是K∞,db(DP)的三角子范疇,Kb(DP)是K-,db(DP)和K+,db(DP)的三角子范疇.同理, 對于Ding-內(nèi)射模的同倫范疇K*,db(DI), 可相應(yīng)地定義三角子范疇Kb(DI),K-,db(DI),K+,db(DI).如果C是三角范疇D的三角子范疇并且關(guān)于直和項(xiàng)封閉, 則稱C是三角范疇D的一個(gè)厚子范疇.上面涉及的三角子范疇都是厚子范疇.

        引理1[2,10]1) 設(shè)C是三角范疇D的一個(gè)厚子范疇, 若典范嵌入i*: C→D有一個(gè)右伴隨i!: D→C, 則存在下列右粘合:

        2) 設(shè)(U,V)和(V,W)是D中的兩個(gè)穩(wěn)定t-結(jié)構(gòu), 則對于典范嵌入i*: V→D, 存在如下粘合:

        并且Imj!=U, Imj*=W.

        定義4若對R上任意正合序列

        其中每個(gè)Di(i≥0)都是Ding-投射模, 則有Kerdn∈DP, 此時(shí)稱環(huán)R具有性質(zhì)(*).

        引理2[6]設(shè)R是具有性質(zhì)(*)的環(huán), 則下列結(jié)論成立:

        1) (K-,db(DP),Kdac(DP))是K∞,db(DP)中的一個(gè)穩(wěn)定t-結(jié)構(gòu);

        2) 典范嵌入i*:K-,db(DP)→K∞,db(DP)誘導(dǎo)出右粘合

        引理3[2]設(shè)D是三角范疇, C是D的厚子范疇,q: D→D/C是商函子.則對于D中的穩(wěn)定t-結(jié)構(gòu)(U,V), 下列敘述等價(jià):

        1) (q(U),q(V ))是D/C中的穩(wěn)定t-結(jié)構(gòu);

        2) (U∩C,V∩C)是C中的穩(wěn)定t-結(jié)構(gòu).

        特別地, 假設(shè)C是U(或者V)的一個(gè)三角子范疇, 則V(或者U)可視為D/C的三角子范疇.此時(shí), (U/C,V)(或者(U,V/C))是D/C中的穩(wěn)定t-結(jié)構(gòu).

        命題1設(shè)R是任意環(huán), 則(K+,db(DP)/Kb(DP),K-,db(DP)/Kb(DP))構(gòu)成了三角范疇K∞,db(DP)/Kb(DP)中的穩(wěn)定t-結(jié)構(gòu).

        證明: 首先, 有

        HomK∞,db(DP)/Kb(DP)(K+,db(DP)/Kb(DP),K-,db(DP)/Kb(DP))=0,

        對于任意X∈K∞,db(DP), 都有短正合序列

        因?yàn)樵撔蛄惺强闪训? 所以其誘導(dǎo)出了同倫范疇的三角:

        顯然,X≥1∈K+,db(DP),X≤0∈K-,db(DP), 結(jié)論成立.

        定理1設(shè)環(huán)R相對于DP具有性質(zhì)(*), 則下列結(jié)論成立:

        1) (K+,db(DP)/Kb(DP),K-,db(DP)/Kb(DP)),(K-,db(DP)/Kb(DP),Kdac(DP))是K∞,db(DP)/Kb(DP)中的穩(wěn)定t-結(jié)構(gòu);

        2) 典范嵌入i*:K-,db(DP)/Kb(DP)→K∞,db(DP)/Kb(DP)誘導(dǎo)出粘合

        (2)

        并且Imj!=K+,db(DP)/Kb(DP), Imj*=Kdac(DP).

        證明: 由命題1知, (K+,db(DP)/Kb(DP),K-,db(DP)/Kb(DP))構(gòu)成三角范疇K∞,db(DP)/Kb(DP)中的穩(wěn)定t-結(jié)構(gòu).由引理2知, (K-,db(DP),Kdac(DP))是K∞,db(DP)中的穩(wěn)定t-結(jié)構(gòu).因?yàn)镵b(DP)是K-,db(DP) 的三角子范疇, 所以由引理3知, (K-,db(DP)/Kb(DP),Kdac(DP))是K∞,db(DP)/Kb(DP)中的穩(wěn)定t-結(jié)構(gòu).

        由引理1中穩(wěn)定t-結(jié)構(gòu)和粘合的關(guān)系可得式(2)中的粘合, 并且易得Imj!=K+,db(DP)/Kb(DP),Imj*=Kdac(DP).

        對偶地, 相對于Ding-內(nèi)射??傻萌缦陆Y(jié)論.

        定義5若對R上任意正合序列

        其中每個(gè)Di(i≤1)都是Ding-內(nèi)射模, 則有Imd0∈DI, 此時(shí)稱環(huán)R具有性質(zhì)(#).

        命題2設(shè)環(huán)R具有性質(zhì)(#), 則下列結(jié)論成立:

        命題3設(shè)環(huán)R具有性質(zhì)(#), 則下列結(jié)論成立:

        2) 典范嵌入i*:K+,db(DI)/Kb(DI)→K∞,db(DI)/Kb(DI)誘導(dǎo)出粘合:

        猜你喜歡
        定義結(jié)構(gòu)
        《形而上學(xué)》△卷的結(jié)構(gòu)和位置
        永遠(yuǎn)不要用“起點(diǎn)”定義自己
        海峽姐妹(2020年9期)2021-01-04 01:35:44
        定義“風(fēng)格”
        論結(jié)構(gòu)
        中華詩詞(2019年7期)2019-11-25 01:43:04
        新型平衡塊結(jié)構(gòu)的應(yīng)用
        模具制造(2019年3期)2019-06-06 02:10:54
        論《日出》的結(jié)構(gòu)
        成功的定義
        山東青年(2016年1期)2016-02-28 14:25:25
        創(chuàng)新治理結(jié)構(gòu)促進(jìn)中小企業(yè)持續(xù)成長
        修辭學(xué)的重大定義
        基于BIM的結(jié)構(gòu)出圖
        国产亚洲欧美精品永久| 亚洲AV日韩AV高潮喷潮无码| 大又黄又粗又爽少妇毛片| 草逼短视频免费看m3u8| 亚洲成av人片在线观看www| 亚洲黄视频| 日韩精品极品视频在线免费| 国产一区二区三区我不卡| 毛片无码国产| 国产成人久久综合热| 国产一区二区高清不卡在线| 玖玖色玖玖草玖玖爱在线精品视频| 日本一卡2卡3卡4卡无卡免费网站| 国产一国产一级新婚之夜| 在线看不卡的国产视频| 久久久亚洲熟妇熟女av| 国产精品无码午夜福利| 天天狠天天透天干天天| 精品国产日产av在线| 妺妺窝人体色www婷婷| 日日av拍夜夜添久久免费| 538亚洲欧美国产日韩在线精品| 综合久久精品亚洲天堂| 欧美丰满熟妇bbb久久久| 玩弄放荡人妻一区二区三区| 美腿丝袜av在线播放| 少妇激情一区二区三区99| 黄瓜视频在线观看| 成人无码区免费AⅤ片WWW| 亚洲av熟女少妇一区二区三区 | 亚洲av无码专区在线| 亚洲欧美日本| 久久久久无码中文字幕| 免费的小黄片在线观看视频| 4hu四虎永久在线观看| 欧美日韩国产成人综合在线影院| 亚洲一区二区三区在线高清中文| 24小时日本在线视频资源| 一本大道香蕉视频在线观看| 99国语激情对白在线观看| 国产一区二区三区四区三区|