scientific article; zbMATH DE number 1315272
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].
- On the generation of finite simple groups by pairs of subgroups
- scientific article; zbMATH DE number 4110920
- Powers in Finitely Generated Groups
- \((2, 3)\)-generated groups with small element orders
- scientific article; zbMATH DE number 908542
- On groups whose small-order elements generate a small subgroup.
- Groups generated by elements of small breadth
- On groups’ with small orders of elements
- On powers of conjugacy classes in finite groups
- On \(p\)-groups of small powerful class.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4256487)
