Take the 2-minute tour ×
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.

Let $R$ be an integral domain and $M$ an $R$-module. An element $m \in M$ is called a torsion element if $\operatorname{Ann}_R(m) \neq 0$, i.e. if $rm =0$ for some nonzero $r\in R$. Denote the set of torsion elements in $M$ by $T(M)$, called the torsion submodule of $M$. We say that $M$ is torsion-free if $T(M)=0$.

(i) Show that $T(M)$ is a submodule of $M$.

(ii) $M/T(M)$ is torsion-free.

share|improve this question
Have you tried anything for either part? –  Ben West Feb 19 '13 at 18:24
Hi, welcome to MSE! Please try and use LaTeX formatting conventions for your posts. Also, please avoid formulating questions bluntly like this. Rather, explain what your thoughts are, what have you done so far, and where you are stuck. –  Andreas Caranti Feb 19 '13 at 18:27
I have deleted all the wrong tags. –  Martin Brandenburg Feb 19 '13 at 19:10
Why I have the feeling that you and Mathproof P. are one and the same user? –  user26857 Feb 19 '13 at 21:40

1 Answer 1

up vote 1 down vote accepted

Part (i) should be a straightforward verification.

For (ii), suppose $x+T(M)$ is a torsion element of $M/T(M)$. There exists nonzero $r\in R$ such that $r(x+T(M))=rx+T(M)=T(M)$. So $rx\in T(M)$. Thus there exists nonzero $s\in R$ such that $s(rx)=(sr)x=0$, so...

share|improve this answer

Your Answer


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.