Paper 4, Section I, F
Part IB, 2009
Let be a module over an integral domain . An element is said to be torsion if there exists a nonzero with is said to be torsion-free if its only torsion element is 0 . Show that there exists a unique submodule of such that (a) all elements of are torsion and (b) the quotient module is torsion-free.