Alternating bilinear form
ID: alternating-bilinear-form
A bilinear form is alternating if for every vector . Expanding implies . The converse requires characteristic different from two. In that characteristic a skew-symmetric matrix of odd integer size has zero determinant, since . Thus an alternating form on a finite odd-dimensional vector space is degenerate. A nondegenerate alternating form defines a symplectic vector space.
New to topics? Read the docs here!