张量积
Tensor product of R-algebras