0
$\begingroup$

Let $R$ be a commutative ring and $M\neq 0$ an $R$-module. Show that if for every $R$-module $X\neq 0$, $\operatorname{Hom}_R(M,X)\neq 0$ then $M\otimes_R X\neq0$ for every $R$-module $X\neq 0$.

  • 1
    I removed the "non-commutative algebra" tag as this is about commutative rings.2012-12-27

1 Answers 1

6

If $X\ne0$, then $\operatorname{Hom}(X,X)\ne0$, hence by assumption $\operatorname{Hom}(M,\operatorname{Hom}(X,X))\ne 0$. But the latter is also $\operatorname{Hom}(M\otimes X,X)$.

  • 0
    Perhaps you should say that you used the tensor - hom adjunction in your proof above. +1 anyway for your answer.2013-01-01