Almost Engel finite and profinite groups
Abstract
Let g be an element of a group G. For a positive integer n, let En(g) be the subgroup generated by all commutators […[[x,g],g],…,g] over x∈G, where g is repeated n times. We prove that if G is a profinite group such that for every g∈G there is n=n(g) such that En(g) is finite, then G has a finite normal subgroup N such that G/N is locally nilpotent. The proof uses the Wilson–Zelmanov theorem saying that Engel profinite groups are locally nilpotent. In the case of a finite group G, we prove that if, for some n, |En(g)|≤m for all g∈G, then the order of the nilpotent residual γ∞(G) is bounded in terms of m.
Communicated by A. Olshansky