Every finite dimensional vector space can be written as a direct sum of cyclic invariant subspaces.
Theorem
- Let
- Let be the characteristic polynomial
- Let be the minimal polynomial Then, there exists such that:
- divides for all Where is the minimal polynomial of Note that by construction,