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 .
Articles by others on the same topic
There are currently no matching articles.