Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|cite|improve this question

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.

share|cite|improve this answer
    
@Kennan Kidwell: is $\mathbb{Q} \mathop{\otimes_{\mathbb{Z}} (\mathbb{Q}/\mathbb{Z})}$ really $0$? – Rob Arthan Dec 8 '12 at 1:58
    
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. – Keenan Kidwell Dec 8 '12 at 2:46
    
@Kennan Kidwell: of course! Thanks. – Rob Arthan Dec 8 '12 at 2:52

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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