张量积
Tensor product of abelian groups