2-Engel Lie ring

Definition
A 2-Engel Lie ring can be defined in the following equivalent ways:

Facts

 * Engel's theorem
 * Kostrikin's theorem
 * 2-Engel and Lazard Lie ring implies class two
 * 2-Engel and 3-torsion-free implies class two