Бинарно лиева алгебра

BL - алгебра,- линейная алгебра Анад полем F, любые два элемента к-рой порождают подалгебру Ли. Класс всех Б. л. а. над данным полем Fпорождает многообразие, к-рое в случае характеристики поля F, отличной от 2, задается системой тождеств [img: http://localhost:8080/file/010212-252.jpg] где [img: http://localhost:8080/file/010212-253.jpg] Бели характеристика поля Fравна 2, а кардинальное число его не меньше 4, то класс Б. л. а., кроме системы тождеств (*), задается еще тождеством [img: http://localhost:8080/file/010212-254.jpg] Касательная алгебра аналитической локальной альтернативной лупы является Б. л. а., и обратно.