A left 3-Engel element whose normal closure is not nilpotent (Q2332120)

Let \(G\) be group, an element \(x \in G\) is a left 3-Engel element if \([g,x,x,x]=1\) for all \(g \in G\) (and a right 3-Engel element if \([x,g,g,g]=1\) for all \(g \in G\)). \textit{M. L. Newell} [Proc. R. Ir. Acad., Sect. A 96, No. 1, 17--24 (1996; Zbl 0874.20027)] proved that if \(x \in G\) is a right 3-Engel element, then \(\langle x \rangle^{G}\) is nilpotent of class at most 3. The purpose of this article is to show that there are locally finite 2-groups \(G\) with a left 3-Engel element \(x \in G\) such that \(\langle x \rangle^{G}\) is not nilpotent. From Proposition 2.9, in this example for every \(g_{1}, g_{2}, \ldots, g_{r} \in G\) the subgroup \(\langle x^{g_{1}}, x^{g_{2}}, \ldots, x^{g_{r}} \rangle\) is nilpotent of class at most \(4r+2\).