Investigamos a estrutura das álgebra de Malcev que satisfazem J(xy, z, u) = 0. Essas álgebras correspondem precisamente às álgebras tangentes de laços Moufang analíticos automórficos à esquerda. Elas podem ser caracterizadas como a variedade J 4 na qual todo Jacobiano de comprimento quatro se anula identicamente. Também provamos que a variedade maior J 5, definida pela anulação de todos os Jacobianos de comprimento cinco, consiste em álgebras especiais.
Grishkov et al. (Qui,) estudaram essa questão.