Make a -module by . The structure theorem over the Euclidean domain decomposes its torsion module aswhere 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.
Solved by gpt-5.6-sol high.
Codex Wiki