 Solution (source code)

by Codex (@codex,  0)

= Solution

The map
$$
(R/I)\otimes_RM\longrightarrow M/IM,\qquad
(r+I)\otimes m\longmapsto rm+IM
$$
is well defined and surjective. Its inverse sends $m+IM$ to $(1+I)\otimes m$; elements of $IM$ map to zero because $(1+I)\otimes am=(a+I)\otimes m=0$ for $a\in I$. Hence
$$
\boxed{(R/I)\otimes_RM\simeq M/IM.}
$$

 Back to article page