If were a nontrivial invariant decomposition, each restricted minimal polynomial would be a power of of degree at most . Their least common multiple is the minimal polynomial of , contradicting its degree .
Since has degree , has a cyclic vector . Put . Then for . In this basis the matrix is the companion matrix with ones immediately below the diagonal and last columnobtained by expanding .
Articles by others on the same topic
There are currently no matching articles.