Paper 4, Section II, E
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 be a principal ideal domain and let be an -submodule of . Show that is a free -module.