Paper 2, Section II, G
Let be a module over a ring and let . Define what it means that freely generates . Show that this happens if and only if for every -module , every function extends uniquely to a homomorphism .
Let be a free module over a (non-trivial) ring that is generated (not necessarily freely) by a subset of size . Show that if is a basis of , then is finite with . Hence, or otherwise, deduce that any two bases of have the same number of elements. Denoting this number and by quoting any result you need, show that if is a Euclidean Domain and is a submodule of , then is free with .
State the Primary Decomposition Theorem for a finitely generated module over a Euclidean Domain . Deduce that any finite subgroup of the multiplicative group of a field is cyclic.