On finite groups in which coprime commutators are covered by few cyclic subgroups. (Q402683): Difference between revisions

Let \(G\) be a periodic group and define the sets \(\gamma_j^*\) of coprime commutators of \(G\) as follows: \(\gamma_1^*=G\) and, if \(j>1\) and \(\Gamma^*_{j-1}\) is the set of all powers of elements of \(\gamma_{j-1}^*\), then \(g\in\gamma_j^*\) if and only if there exist \(a\in\Gamma^*_{j-1}\) and \(b\in G\) such that \(g=[a,b]\) and \((|a|,|b|)=1\). The subgroup of \(G\) generated by the set \(\gamma_j^*\) is denoted by \(\gamma_j^*(G)\). In the present paper the authors prove that if a finite group \(G\) possesses \(m\) cyclic subgroups whose union contains the set \(\gamma_j^*\) of \(G\), then \(\gamma_j^*(G)\) contains a subgroup \(\Delta\), of \(m\)-bounded order, which is normal in \(G\) and such that \(\gamma_j^*(G)/\Delta\) is cyclic.