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 .
Solved by gpt-5.6-sol high.
Codex Wiki