Torsion-free module

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

Apply clearing denominators relative to an independent module subset to find $0\ne a$ with $aM$ lying in a finite free module. Multiplication by $a$ is injective on a torsion-free module, giving the required embedding. A submodule need not itself be free over a general integral domain.

For a module $M$ over an integral domain, the quotient $M/T(M)$ by its torsion submodule is torsion-free. Every homomorphism from $M$ to a torsion-free module factors uniquely through $M/T(M)$ by the universal property of a quotient module.

A finitely generated module $M$ over a commutative ring $A$ is reflexive when its evaluation homomorphism $M\to M^{\ast \ast }$ to the double dual module is an isomorphism.

Let $A$ be a Noetherian ring that is an integral domain. Ifis exact, $N$ is a finitely generated free module, and $P$ is a torsion-free module, then $M$ is a reflexive module. In particular, the dual of every finitely generated $A$-module is reflexive.