周 震
(中國人民解放軍69220部隊 52分隊,新疆 庫車 842000)
余分解子范疇的刻畫
周 震
(中國人民解放軍69220部隊 52分隊,新疆 庫車 842000)
給出了余分解子范疇的刻畫,其結果將為研究Hall代數(shù)和模范疇提供方便.
短正合列;共變有限子范疇;余分解子范疇
一個子范疇Y稱為余分解子范疇,如果它滿足以下3個條件:(a) 對擴張封閉;(b) 對單射的上核封閉;(c) 包含所有的內(nèi)射Λ-模[1].
對偶地,子范疇稱為可分解子范疇,如果它滿足以下3個條件:(a) 對擴張封閉;(b) 對滿射的核封閉;(c) 包含所有的投射Λ-模[1].
一些結論的完備性在相關文獻和著作中均有證明,下面我們將給出一些結論或命題的平凡性的證明.
命題2.1 若Y是modΛ的一個余分解子范疇,對于modΛ中的正合列的交換圖
因此下面的正合列的交換圖
成立,這個圖是根據(jù)同調(diào)代數(shù)中拉回定理構造的,由于拉回圖中兩個行正合列是同構的,故有下面的正合交換圖成立[4]:
通過X1和Y2構造的推出圖如下:
成立.根據(jù)上面的內(nèi)容,可知下面的正合交換圖必定成立:
由于Y 和 X =⊥Y 均是在擴張之下封閉的子范疇,故有 Y2∈Y ,X2∈X =⊥Y .命題2.1證畢.
比較引理2.1和命題2.1,我們可以得到預期的結果命題2.2.
命題 2.2 若Y是modΛ的一個余分解子范疇,那么關于Y 的左逼近模所形成的子范疇在擴張之下是封閉的.
以上我們給出了余分解子范疇的刻畫,其結果將為研究Hall代數(shù)和模范疇提供方便.
[1] 賀偉.范疇論[M].北京:科學技術出版社,2007.
[2] 佟文廷.同調(diào)代數(shù)[M].北京:高等教育出版社,1998.
[3] Auslander M,Reiten I.Applications of Contravariantly Finite Subcategories[J].Adv. Math.,86(1991):111―152.
[4] Ringel C M.Hall algebras and quantum groups[J].Invent.Math.,101(1990):583―592.
[5] Ringel C M.PBW-Bases of Quantum Groups[J].reine angew. Math.,470(1996):51―88.
[6] Assem I,Simson D.Elements of the Representation Theory of Associative Algebras[M].Volume I Techniques of Representation Theory,Cambridge University Press,2006.
Characterizations of Core-solving Subcategory
ZHOU Zhen
(PLA 69220, Kuche Xinjiang 842000, China)
Some properties of core-solving subcategory are given and the results will provide some conveniences for Studying Hall algebra and module categories.
short exact sequence; finite subcategory; core-solving subcategory
O154.1
A
1006-5261(2012)02-0001-02
2011-12-10
周震(1984―),男,河南鄲城人,碩士.
〔責任編輯 張繼金〕