 Maximal torsion-free quotient

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.