# Binary Lie algebra

\$BL\$-algebra

A linear algebra \$A\$ over a field \$F\$ any two elements of which generate a Lie subalgebra. The class of all binary Lie algebras over a given field \$F\$ generates a variety which, if the characteristic of \$F\$ is different from 2, is given by the system of identities

\$\$x^2=J(xy,x,y)=0,\tag{*}\$\$

where

\$\$J(x,y,z)=(xy)z+(yz)x+(zx)y.\$\$

If the characteristic of \$F\$ is 2 and its cardinal number is not less than 4, the class of binary Lie algebras cannot be defined only by the system of identities (*), also needed is the identity

\$\$J([(xy)y]x,x,y)=0.\$\$

The tangent algebra of an analytic local alternative loop is a binary Lie algebra and vice versa.

How to Cite This Entry:
Binary Lie algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Binary_Lie_algebra&oldid=43184
This article was adapted from an original article by A.T. Gainov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article