Ext函子
定義
設 為有充足內射元的阿貝爾範疇,例如一個環 上的左模範疇 。固定一對象 ,定義函子 ,此為左正合函子,故存在右導函子 ,記為 。當 時,常記之為 。
根據定義,取 的內射分解
並取 ,得到
去掉首項 ,最後取上同調群,便得到 。
另一方面,若 中也有充足射影元(例如 ),則可考慮右正合函子 及其左導函子 ,可證明存在自然同構 。換言之,對 取射影分解:
並取 ,得到
去掉尾項 ,其同調群同構於 。
基本性質
- 承上,若 有充足的射影元,則對第一個變數也有長正合序列;換言之,對每個短正合序列 ,有長正合序列
Ext函子與擴張
Ext 函子得名於它與群擴張的聯繫。抽象地說,給定兩個對象 ,在擴張
的等價類與 之間有一一對應,下將詳述。
對任兩個擴張
- 與
可以構造其 Baer 和 為 ,其中 (反對角線)。這在等價類上構成一個群運算,可證明此群自然地同構於 。
對更高階的擴張,同樣可定義等價類;對任兩個 n-擴張(n>1)
- 與
此時的 Baer 和定為
其中 (反對角線 之定義同上),。這也在 n-擴張的等價類上構成一個群運算,此群自然同構於 。藉此,能在任何阿貝爾範疇上定義 Ext 函子。
重要例子
文獻
- Charles A. Weibel, An introduction to homological algebra, Cambridge University Press. ISBN 0-521-55987-1
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.