Paper 4, Section II, 11G
Let be an integral domain, and be a finitely generated -module.
(i) Let be a finite subset of which generates as an -module. Let be a maximal linearly independent subset of , and let be the -submodule of generated by . Show that there exists a non-zero such that for every .
(ii) Now assume is torsion-free, i.e. for and implies or . By considering the map mapping to for as in (i), show that every torsion-free finitely generated -module is isomorphic to an -submodule of a finitely generated free -module.
Typos? Please submit corrections to this page on GitHub.