Tor函子
定義
設 為環。令 為左 -模範疇、 為右 -模範疇(若 為交換環,則兩者等價)。固定一對象 ,考慮函子
這是從 至阿貝爾群範疇 的右正合函子(若 為交換環,則它是映至 的右正合函子),因此能考慮其左導函子 ,記為 。
換言之,對任一左 -模 取射影分解
去掉尾項 ,並對 取張量積,得到鏈複形
並取其同調群,則得到
此外,Tor 函子也能以 的左導函子定義,兩種定義給出自然同構的函子。
性質
- Tor 函子與直和交換:
- 對第二個變數亦同。
- 若 為交換環, 非零因子,則
- 這是 Tor 函子的詞源。
與平坦模的關係
一個右 -模是平坦模的充要條件是 。此時可推出 。左 -模的情況準此可知。事實上,計算 Tor 函子時可以用平坦分解代替射影分解;凡射影分解必為平坦分解,反之則不然;平坦分解在技術上較富彈性。
文獻
- 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.