3
$\begingroup$

If $R$ is a local ring and $M$ and $N$ are finitely generated R-modules such that $M\otimes N = 0$ then it follows from Nakayama's lemma that either $M=0$ or $N=0$. This I know. But now

I am looking for an example of a local ring $R$ and two modules $M,N$ such that $M\otimes N = 0$ but neither $M=0$ nor $N=0$.

Thanks

$\endgroup$
2
$\begingroup$

Let $R$ be a domain which is not a field. If $K$ is the field of fractions of $R$. Then $K,K/R$ are non-zero $R$-modules satisfying $K\otimes_R(K/R)=0$. In particular, you could take $R$ local and have an example of the type sought.

$\endgroup$
  • $\begingroup$ @Kennan Kidwell: is $\mathbb{Q} \mathop{\otimes_{\mathbb{Z}} (\mathbb{Q}/\mathbb{Z})}$ really $0$? $\endgroup$ – Rob Arthan Dec 8 '12 at 1:58
  • $\begingroup$ Take $r\in\mathbf{Q}$ and $s\in\mathbf{Q}/\mathbf{Z}$. Since $\mathbf{Q}/\mathbf{Z}$ is torsion, there is $n\geq 1$ such that $ns=0$. Since $\mathbf{Q}$ is divisible, we can write $r=nr^\prime$ for some $r^\prime\in\mathbf{Q}$. Now $r\otimes s=nr^\prime\otimes s=r^\prime\otimes ns=0$. This idea works generally for a domain $R$ and its quotient field $K$. A divisible $R$-module tensored with a torsion $R$-module is zero. $\endgroup$ – Keenan Kidwell Dec 8 '12 at 2:46
  • $\begingroup$ @Kennan Kidwell: of course! Thanks. $\endgroup$ – Rob Arthan Dec 8 '12 at 2:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.