2-Engelizer subgroup of a 2-Engel transitive groups (Q2812465)

The element \(x \in G\) is called a right 2-Engel element if \([[x,y],y]=1\) for all \(y \in G\). These elements constitute a subgroup by \textit{W. Kappe} [Ill. J. Math. 5, 187--197 (1961; Zbl 0098.25001)], which we call \(R(G)\) in this review. Putting \(xy\) for \(y\) in the relation shows that also \([[y,x],x]=1\) for all \(x \in R(G)\). A group is called a conjugately separated 2-Engel group, if all of its maximal 2-Engel subgroups are malnormal, it is 2-Engel transitive (2-ET), if \([[x,y],y]] = [[y,z],z]\) implies \([[x,z],z] = 1\) as long as \(y\not\in R(G)\). The 2-Engelizer of \(x\) is defined as set \(\{y \in G| [[x,y],y] = 1 = [[y,x],x] \}\) and a subgroup in 2-Engel transitive groups (cf. Lemma 2.2, Theorem 2.5). Notice that ``nontrivial element'' in this article always means ``element \(x\not\in R(G)\)''.