On the structure of right 3-Engel subgroups. (Q713295)

In The Kourovka notebook [Unsolved problems in group theory. 17th ed. Novosibirsk: Institute of Mathematics (2010; Zbl 1211.20001)] the following problem is proposed by the reviewer: Problem 17.12. Are there functions \(e,c\colon\mathbb N\to\mathbb N\) such that if in a nilpotent group \(G\) a normal subgroup \(H\) consists of right \(n\)-Engel elements of \(G\), then \(H^{e(n)}\leq\zeta_{c(n)}(G)\)? -- Here \(\zeta_k(G)\) denotes the \(k\)-th term of the upper central series of the group \(G\). The author jointly with his PhD supervisor has answered in the affirmative the problem [in \textit{P. G. Crosby} and \textit{G. Traustason}, J. Algebra 328, No. 1, 504-510 (2011; Zbl 1221.20027)]. The minimum values of the functions \(e\) and \(c\) at an arbitrary \(n\in\mathbb N\) are not found in the latter reference. In the latter reference it is proved that \(e(2)=2\) and \(c(2)=3\). The author of the paper under review determines that the minimum value for \(c(3)\) is \(8\) and the best possible value for \(e(3)\) has prime divisors \(2\), \(3\) and \(5\). The main results stated are the following: Theorem 1. Let \(H\) be a \(3\)-torsion-free normal right \(3\)-Engel subgroup of a group \(G\). Let \(x\in G\). Then \([H,{_4\langle x\rangle^G}]=\{1\}\). Theorem 2. Let \(H\) be a \(\{2,3,5\}\)-torsion-free normal right \(3\)-Engel subgroup of a group \(G\). Then \([H,{_8G}]=\{1\}\). The method of proofs is commutator calculus.