Antisymmetry of a Lie bracket
ID: antisymmetry-of-a-lie-bracket
The relation for a bilinear map proposed as a Lie bracket. An Alternating Lie bracket always satisfies it. Conversely, setting gives , so antisymmetry implies alternation over a field of characteristic different from two.
In characteristic two, the sign disappears and this relation just says . It does not force , even when the Jacobi identity holds. For example, on a two-dimensional vector space with basis , set and every other basis bracket to zero, then extend bilinearly. Every nested bracket vanishes, so the Jacobi identity holds, and the product is symmetric. Nevertheless it is not a Lie algebra, because .
New to topics? Read the docs here!