 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