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

Articles by others on the same topic (0)

There are currently no matching articles.