We investigate the structure of Malcev algebras satisfying the J(xy, z, u) = 0. These algebras correspond precisely to the tangent algebras of left automorphic analytic Moufang loops. They can be characterized as the variety J 4 in which every Jacobian of length four vanishes identically. We also prove that the larger variety J 5 , defined by the vanishing of all Jacobians of length five, consists of special algebras.
Grishkov et al. (Thu,) studied this question.