Lie algebras and torsion groups with identity

Efim Zelmanov

We prove that a finitely generated Lie algebra $L$ such that (i) every commutator in generators is ad-nilpotent, and (ii) $L$ satisfies a polynomial identity, is nilpotent. As a c…