 Solution

The tensor product $M{\otimes }_{R}N$ is the free abelian group on symbols $(m,n)$ modulo additivity in each variable and the balancing relation $(rm,n)=(m,rn)$. It has the universal property that balanced bilinear maps $M\times N\to P$ correspond uniquely to homomorphisms $M{\otimes }_{R}N\to P$.