複製鏈接
請複製以下鏈接發送給好友

阿貝爾範疇

鎖定
在數學中,阿貝爾範疇(或稱交換範疇)是一個能對態射與對象取和,而且核與餘核存在且滿足一定性質的範疇。阿貝爾範疇是同調代數的基本框架。
中文名
阿貝爾範疇
外文名
Abelian Category
所屬學科
範疇論
別    名
交換範疇

阿貝爾範疇定義

阿貝爾範疇(或稱交換範疇)是一個加性範疇,且滿足以下條件 [2] 
1.每個態射都有核與餘核;
2.每個單態射都是核、每個滿態射都是餘核。

阿貝爾範疇等價定義

阿貝爾範疇是一個加性範疇,且滿足以下條件:
1.核與餘核存在;
2.每個單態射都是餘核的核、每個滿態射都是核的餘核;
3.每個態射都可以分解為一個滿態射覆合一個單態射。 [1] 

阿貝爾範疇例子

1.阿貝爾羣範疇Ab:對象為交換羣,態射為羣同態
2.模範疇RMod:對象為左R,態射為模同態 [1] 

阿貝爾範疇性質

阿貝爾範疇的態射若同時為滿態射與單態射,則為同構 [3] 

阿貝爾範疇作用

阿貝爾範疇是同調代數的基本框架。

阿貝爾範疇相關概念

設k為
k上阿貝爾範疇C為局部有限阿貝爾範疇,若滿足以下條件:
(1)對C中任意對象X與Y,態射集Hom(X,Y)為有限維向量空間
(2)每個對象均有有限長度。
k上阿貝爾範疇為有限阿貝爾範疇,若其等價於有限維k代數A上有限維模範疇A-Mod [4] 
參考資料
  • 1.    Robin Hartshorne.代數幾何:Springer,1977
  • 2.    Saunders Mac Lane.數學工作者必知的範疇學:Springer,1971
  • 3.    P. J. Hilton, U. Stammbach.同調代數教程(第2版):Springer,1997
  • 4.    Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik.張量範疇:美國數學會,2015