No label defined (Q4256487)

If \(M\) is a finite subset of a group \(G\) and \(m\in\mathbb{N}\), then \(M^m=\{a_1\cdots a_m\mid a_1,\dots,a_m\in M\}\). Using computer calculations, the following results are proved. Let \(G=\langle a,b\rangle\), \(|\{a,b\}^2|=4\) and \(\{a,b\}^3<7\). Then the normal closure \(H=\langle ab^{-1}\rangle^G\) is one of the following groups: (i) cyclic group of order 5; (ii) the direct product of two isomorphic cyclic groups; (iii) the dihedral group; (iv) quaternion group. All these possibilities are realizable. Note that \(G/H\) is Abelian so \(G\) is solvable of derived length at most 3. Let \(G\) be as in the previous paragraph and \(|\{a,b\}^3|=7\) and \(|\{a,b\}^4|<11\). The author describes all possibilities for the subgroup \(H\) defined in the previous paragraph. It follows from that result that \(G\) is solvable of derived length at most 4. Theorem 5. Let \(G=\langle a,b\rangle\), \(|\{a,b\}^3|=8\) and \(|\{a,b\}^4|<14\). Then either the normal subgroup \(H=\langle ab^{-1}\rangle^G\) is solvable of derived length at most 3 or is a nonsolvable group of order \(\leq 120\) distinct from the symmetric group \(S_5\). In particular, either \(G\) is solvable of derived length at most 4 or \(|G/H|\leq 2\). If \(G\) is a group of Theorem 5 and, in addition, \(|\{a,b\}^4|<13\), then \(G\) is of derived length at most 4. All computer calculations were developed by the author on an IBM PC using self-made programs which are written in the framework of the mathematical package MATLAB-386. The results of these calculations are given in the Appendix (14 pages). For the entire collection see [Zbl 0919.00044].