Paper 4, Section II, E

Groups, Rings and Modules
Part IB, 2017

(a) State (without proof) the classification theorem for finitely generated modules over a Euclidean domain. Give the statement and the proof of the rational canonical form theorem.

(b) Let RR be a principal ideal domain and let MM be an RR-submodule of RnR^{n}. Show that MM is a free RR-module.