Almost Engel compact groups

From MaRDI portal




Abstract: We say that a group G is almost Engel if for every ginG there is a finite set mathscrE(g) such that for every xinG all sufficiently long commutators [...[[x,g],g],dots,g] belong to mathscrE(g), that is, for every xinG there is a positive integer n(x,g) such that [...[[x,g],g],dots,g]inmathscrE(g) if g is repeated at least n(x,g) times. (Thus, Engel groups are precisely the almost Engel groups for which we can choose mathscrE(g)=1 for all ginG.) We prove that if a compact (Hausdorff) group G is almost Engel, then G has a finite normal subgroup N such that G/N is locally nilpotent. If in addition there is a uniform bound |mathscrE(g)|leqm for the orders of the corresponding sets, then the subgroup N can be chosen of order bounded in terms of m. The proofs use the Wilson--Zelmanov theorem saying that Engel profinite groups are locally nilpotent.









This page was built for publication: Almost Engel compact groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1702711)