Torsion-free module (source code)

= Torsion-free module
{wiki}

A module $M$ over an integral domain $R$ is torsion-free when $rm=0$ with $0\ne r\in R$ implies $m=0$.