Tor 함자: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
51번째 줄:
:<math>\operatorname{Tor}_1^{\mathbb Z}(\mathbb Q/\mathbb Z,H)=\operatorname{Tors}(H)=\{h\in H\colon\exists n\in\mathbb Z^+\colon nh=0\}</math>
이므로 <math>H</math>의 [[꼬임 부분군]]이 된다.
{| class=wikitable style="table-layout:fixed; width: 30em; text-align: center"
|+ <math>\operatorname{Tor}_0^{\mathbb Z}(G,H)=G\otimes H</math>
! <math>G\backslash H</math> || <math>\mathbb Z</math> || <math>\mathbb Z/(n)</math> || <math>\mathbb Q</math>
|-
! <math>\mathbb Z</math>
| <math>\mathbb Z</math> || <math>\mathbb Z/(n)</math> || <math>\mathbb Q</math>
|-
! <math>\mathbb Z/(m)</math>
| <math>\mathbb Z/(m)</math> || <math>\mathbb Z/(\gcd\{m,n\})</math> || 0
|-
! <math>\mathbb Q</math>
| <math>\mathbb Q</math> || 0 || <math>\mathbb Q</math>
|}
{| class=wikitable style="table-layout:fixed; width: 30em; text-align: center"
|+ <math>\operatorname{Tor}_1^{\mathbb Z}(G,H)</math>
! <math>G\backslash H</math> || <math>\mathbb Z</math> || <math>\mathbb Z/(n)</math> || <math>\mathbb Q</math>
|-
! <math>\mathbb Z</math>
| 0 || 0 || 0
|-
! <math>\mathbb Z/(m)</math>
| 0 || <math>\mathbb Z/(\gcd\{m,n\})</math> || 0
|-
! <math>\mathbb Q</math>
| 0 || 0 || 0
|}
== 어원 ==
| |||