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 . ThenThe 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!