Tensor product of rings