Paper 2, Section II, G

Groups, Rings and Modules
Part IB, 2013

(i) State the structure theorem for finitely generated modules over Euclidean domains.

(ii) Let C[X]\mathbb{C}[X] be the polynomial ring over the complex numbers. Let MM be a C[X]\mathbb{C}[X] module which is 4-dimensional as a C\mathbb{C}-vector space and such that (X2)4x=0(X-2)^{4} \cdot x=0 for all xMx \in M. Find all possible forms we obtain when we write Mi=1mC[X]/(Pini)M \cong \bigoplus_{i=1}^{m} \mathbb{C}[X] /\left(P_{i}^{n_{i}}\right) for irreducible PiC[X]P_{i} \in \mathbb{C}[X] and ni1n_{i} \geqslant 1.

(iii) Consider the quotient ring M=C[X]/(X3+X)M=\mathbb{C}[X] /\left(X^{3}+X\right) as a C[X]\mathbb{C}[X]-module. Show that MM is isomorphic as a C[X]\mathbb{C}[X]-module to the direct sum of three copies of C\mathbb{C}. Give the isomorphism and its inverse explicitly.