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$.
Nonvanishing of Hom and tensor product
0
$\begingroup$
abstract-algebra
commutative-algebra
-
1I removed the "non-commutative algebra" tag as this is about commutative rings. – 2012-12-27
1 Answers
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)$.
-
0Perhaps you should say that you used the tensor - hom adjunction in your proof above. +1 anyway for your answer. – 2013-01-01