Paper 2, Section II, G

Groups, Rings and Modules
Part IB, 2021

Let MM be a module over a ring RR and let SMS \subset M. Define what it means that SS freely generates MM. Show that this happens if and only if for every RR-module NN, every function f:SNf: S \rightarrow N extends uniquely to a homomorphism ϕ:MN\phi: M \rightarrow N.

Let MM be a free module over a (non-trivial) ring RR that is generated (not necessarily freely) by a subset TMT \subset M of size mm. Show that if SS is a basis of MM, then SS is finite with Sm|S| \leqslant m. Hence, or otherwise, deduce that any two bases of MM have the same number of elements. Denoting this number rkM\operatorname{rk} M and by quoting any result you need, show that if RR is a Euclidean Domain and NN is a submodule of MM, then NN is free with rkNrkM\operatorname{rk} N \leqslant \operatorname{rk} M.

State the Primary Decomposition Theorem for a finitely generated module MM over a Euclidean Domain RR. Deduce that any finite subgroup of the multiplicative group of a field is cyclic.