Definition 15.22.1. Let $R$ be a domain. Let $M$ be an $R$-module.

1. We say an element $x \in M$ is torsion if there exists a nonzero $f \in R$ such that $fx = 0$.

2. We say $M$ is torsion free if the only torsion element of $M$ is $0$.

There are also:

• 2 comment(s) on Section 15.22: Torsion free modules

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).