Бинарно-лейбницевы алгебры

Алгебра называется бинарно-лейбницевой, если всякая ее двупорожденная подалгебра является алгеброй Лейбница. В данной работе мы даем описание бинарно-лейбницевых алгебр в терминах тождеств. Как следствия, мы получаем, что многообразие бинарно-лейбницевых алгебр не является шрейеровым и для него теорема о свободе неверна. Библиография: 17 названий. An algebra is called a binary Leibniz algebra if each of its two-generated subalgebras is a Leibniz algebra. In the present paper, we give a description of binary Leibniz algebras in terms of identities. As a consequence, we show that the variety of binary Leibniz algebras is not Schreier and that the freedom theorem fails to hold for this variety.