Tor 함자: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
10번째 줄:
<math>A\otimes_R\colon{}_R\operatorname{Mod}\to\operatorname{Ab}</math>는 [[완전 함자|우완전 함자]](right-exact functor)이며, 따라서 그 [[유도 함자|좌유도 함자]](left-derived functor) <math>L^i(A\otimes)</math>를 취할 수 있다. 마찬가지로, <math>\otimes_RB\colon\operatorname{Mod}_R\to\operatorname{Ab}</math> 또한 우완전 함자이며, 따라서 좌유도 함자 <math>L^i(\otimes_RB)</math>를 취할 수 있다. 이 둘은 사실 같은 쌍함자를 이룬다. 즉,
:<math>L^i(A\otimes_R)B=A(L^i\otimes_RB)=\operatorname{Tor}^
이다. 이 쌍함자 <math>\operatorname{Tor}^
==같이 보기==
|