Proceed by induction on . The zero-dimensional case is immediate. Over , the fundamental theorem of algebra supplies a root of the characteristic polynomial. Since , there is a nonzero vector with . The line is invariant, so induces a linear map on . By induction, choose an upper triangular basis for that quotient and lift its vectors to . Then for every . Thus is the required basis and .
The same conclusion holds over when the characteristic polynomial splits over . Indeed an eigenvalue then lies in , and the block matrix arising from the invariant line gives . The quotient characteristic polynomial therefore also splits, so the induction works over without requiring algebraic closure.

Articles by others on the same topic (0)

There are currently no matching articles.