Eigenspace decomposition of a linear involution

ID: eigenspace-decomposition-of-a-linear-involution

Let be a linear map on a vector space over a field of characteristic different from two, with . Then
The projections satisfy and , giving existence and uniqueness of the decomposition. In characteristic two, the two signs coincide and the conclusion need not hold.

New to topics? Read the docs here!