Over a field of characteristic zero, an associative Lie product is a bilinear map that is simultaneously an associative algebra product and a Lie bracket. Such a product has every triple product zero. To prove this, write multiplication by juxtaposition. By associativity and antisymmetry of a Lie bracket,since moving left through and then through introduces two minus signs. Applying antisymmetry of a Lie bracket instead to the two elements and gives . Thus , and in characteristic zero.
Conversely, an alternating multilinear map defining a product whose triple products all vanish is associative, because both associations give zero, and satisfies the Jacobi identity, because each nested product gives zero. A nonzero example has basis , products , and all other products of basis vectors zero. It is the Heisenberg Lie algebra with its Lie bracket used as the associative algebra product. Its image annihilates on both sides, and it has no identity element.
Articles by others on the same topic
There are currently no matching articles.