Over an integral domain, a finitely generated free module has no nonzero torsion.Suggest a slogan
Let \(R\) be an integral domain. Every finitely generated free \(R\)-module \(M\) is torsionfree.
Free modules over an integral domain are torsionfree
PR-4K4XZ