Paper 4, Section II, F
Let be a principal ideal domain. Prove that any submodule of a finitely-generated free module over is free.
An -module is said to be projective if, whenever we have module homomorphisms and with surjective, there exists a homomorphism with . Show that any free module (over an arbitrary ring) is projective. Show also that a finitely-generated projective module over a principal ideal domain is free.
Typos? Please submit corrections to this page on GitHub.