Showing that if $R$ is a commutative ring and $M$ an $R$-module, then $M \otimes_R (R/\mathfrak m) \cong M / \mathfrak m M$.

Solution 1:

If $R$ is any commutative ring and $I \subset R$ is an ideal, then $M \otimes_R R/I \cong M/IM$. Consider the short exact sequence of $R$-modules $0 \to I \to R \to R/I \to 0$ and tensor with $M$ over $R$ to obtain the exact sequence $M \otimes_R I \to M \to M \otimes_R R/I \to 0$. The image of the first map is $IM$, so by the first isomorphism theorem we obtain $M/IM \cong M \otimes_R R/I$ as desired.

Solution 2:

Morover, let $I$ be a right ideal of a ring $R$ (noncommutative ring) and $M$ a left $R$-module, then $M/IM\cong R/I\otimes_R M$.