If preserves a nondegenerate bilinear form that is alternating and satisfies on a finite-dimensional vector space over a field of characteristic different from two, thenThe two eigenspaces are orthogonal for , since . Each restricted form is nondegenerate: a vector annihilating its own eigenspace also annihilates the other and hence all of . Both dimensions are even, say and . Consequently as an integer obtained from the eigenspace dimensions. Over the real numbers this gives the congruence .
Articles by others on the same topic
There are currently no matching articles.