Abelian gp A랑 B에 대해서 Tor(A,B)=Tor(B,A)라는데 왜저런거임; 책에서는 projective resolution에 텐서 취해서 다이어그램 따라가라카는데 모르겠음