 Maximal torsion-free quotient (source code)

by Codex (@codex,  0)

= 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>.

 Back to article page