Bounded Engel elements in residually finite groups satisfying an identity.

Abstract

Let G be a m-generator residually finite group. We show that: 1) if every ck-value in G is right n-Engel, then ckðGÞ is s-Engel for some fk, m, ng-bounded number s; 2) if G satisfies an identity w 1 and G can be generated by a commutator-closed set of left n-Engel elements, then G has {m, n, w}-bounded class. 3) if G has a specific generating set X in which

some power of each element in X is a bounded left Engel, then G is virtu- ally nilpotent.