Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ib/paper-4/9e/b/i/solution

Make a -module by . The structure theorem over the Euclidean domain decomposes its torsion module as
where the are monic irreducibles. Each summand is indecomposable: its submodules form a chain, so two nonzero submodules cannot form a direct sum. This is the desired decomposition into invariant indecomposable subspaces.
The characteristic polynomial is
whereas the minimal polynomial is the least common multiple

New to topics? Read the docs here!