Does $M\otimes_R N \cong N \otimes_R M$ hold for modules $M, N$ over noncommutative ring $R$? Here $M$ and $N$ are both left $R$-module.  I have seen that $M\otimes_R N \cong N \otimes_R M$ is meaningful only when $R$ is commutative, but I can't see the reason.
In the noncommutative case, tensor product of two left $R$-module $M,N$ could be defined as an left $R$-module$M\otimes_R N$, right(although it seems that it's useless)? And then we could ask if there always holds $M\otimes_R N \cong N \otimes_R M$ as left $R$-module. I think it's true but I can't see why this  is meaningless. Could you give some hints? Thanks in advance.

First of all, note that $\Bbb Z$ acts naturally on the other side on every left or right module, and that if $R$ is a commutative ring, then we can regard any $R$-module as an $R$-$R$-bimodule.
Said that, every module can be regarded a bimodule.
The tensor product in the noncommutative setting rather serves as a composition-like operation of bimodules:
If $M$ is an $A$-$B$-bimodule and $N$ is a $B$-$C$-bimodule, then the thing we can naturally obtain is the tensor product $M\otimes_BN$ as an $A$-$C$-bimodule.
Its construction is similar, we just need to take care on the left and right actions, so that the free Abelian group on $M\times N$ can be quotiented out by $(mb,\,n)\sim (m,\,bn)$ (among the other rules to ensure distributivity).
Note that in this setting, the actions of $B$ are 'swallowed' by the tensor product, but the actions of $A$ (from left on $M$) and of $C$ (from right on $N$) are naturally preserved.
