The identity gives the decomposition
The first summand lies in the kernel of a linear map , and the second in the image of a linear map . If belongs to their intersection, write ; then , while . Thus , proving the direct sum
On these two invariant subspaces, is respectively zero and the identity map. Joining a basis of each produces a basis of eigenvectors, with matrix
Hence every linear projection is diagonalizable, over the original field, including in characteristic two.

Articles by others on the same topic (0)

There are currently no matching articles.