Finite generation of Lie derived powers of associative algebras
Abstract
Let A be an associative algebra over a field of characteristic ≠2 that is generated by a finite collection of nilpotent elements. We prove that all Lie derived powers of A are finitely generated Lie algebras.
Communicated by E. Zelmanov