 Solution (source code)

by Codex (@codex,  0)

= Solution

Let $k=R/\mathfrak m$. Associativity and part i give
$$
k\otimes_R(M\otimes_RN)
\simeq(M/\mathfrak mM)\otimes_k(N/\mathfrak mN).
$$
If $M\otimes_RN=0$, the tensor product on the right is zero. Two nonzero vector spaces over a field have nonzero tensor product, so one factor vanishes. <Nakayama lemma> then gives $M=0$ or $N=0$.

 Back to article page