Tor函子
Tor函子係張量積嘅導函子(en:derived functor)。
最基本嘅
編輯設
- A係交換環
- M, N係A-模
- P.--->M 係投射分解(?)(en:projective resolution)
- Q.--->N 係投射分解(en:projective resolution)
- K.. 係雙重鏈(?)(en:double complex)
- Kpq := Pp⊗Qq
咁可證P. 、Q.同 K..嘅同調係一致嘅:
- Hn(P.⊗N)≃Hn(K..)≃Hn(M⊗Q.)
定義
- TorAn(M,N):= 上面任一羣。
參攷
編輯- p. 278, Matsumura Hideyuki: Commutative Ring Theory , ISBN 0-521-36764-6