Lie algebras and torsion groups with identity
  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 corollary we get that a finitely generated residually-$p$ torsion group whose pro-$p$ completion satisfies a pro-$p$ identity is finite. 
Efim Zelmanov
math.RA