Paper 4, Section II, F
Part IB, 2009
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.