If $R$ is a domain and $M$ a finitely generated $R$-module, is it true that $\bigcap_{f\in M^{*}}\ker{f}=\operatorname{Tor}M$?

190 Views Asked by At

Let $R$ be a domain and $M$ a finitely generated $R$-module. Let $M^{*}=\hom_{R}(M,R)$. Let Tor$M$ be the torsion submodule of $M$. It it true that $$\displaystyle\bigcap_{f\in M^{*}}\ker{f}=\operatorname{Tor}M\ ?$$

$(\supset)$ is an easy inclusion. I can't seem to prove $(\subset)$ for the general finitely generated case. I have done vector spaces and free modules. I can not think of any counter examples or find any in books or online. Does anyone know if this is true? Any hints toward it's proof if true would be appreciated. Thanks.