Every finite-dimensional -module is a finitely generated torsion module over the principal ideal domain . The structure theorem for finitely generated modules over a principal ideal domain gives
where the are uniquely determined monic nonconstant polynomials. Equivalently, factoring over and using the Chinese remainder theorem gives
There are finitely many summands, and the multisets of positive integers are uniquely determined. Each displayed primary cyclic summand is an indecomposable module.

Articles by others on the same topic (0)

There are currently no matching articles.