On the commutator in Leibniz algebras

We prove that the class of algebras embeddable into Leibniz algebras with respect to the commutator product is not a variety. It is shown that every commutative metabelain algebra is embeddable into Leibniz algebras with respect to the anti-commutator. Furthermore, we study polynomial identities satisfied by the commutator in every Leibniz algebra. We extend the result of Dzhumadil’daev in [A. S. Dzhumadil’daev, [Formula: see text]-Leibniz algebras, Serdica Math. J. 34(2) (2008) 415–440]. to identities up to degree 7 and give a conjecture on identities of higher degrees. As a consequence, we obtain an example of a non-Spechtian variety of anticommutative algebras.