Finite generalized soluble groups (Q2011366): Difference between revisions

The contents of the paper are a little bit technical, but as such, these show the reader also that results as obtained earlier by others, are particular corrolaries to what the authors provide. In order to get an impression what it is all about look as the abstract as printed below: ``Let \(\sigma = \{ \sigma _i \mid i \in I\}\) be a partition of the set of all primes \(\mathbb{P}\) and \(G\) a finite group. Suppose \(\sigma (G) = \{ \sigma _i \mid \sigma _i \cap \pi (G) \neq\emptyset \}\). A set \(\mathcal{H}\) of subgroups of \(G\) is called a complete Hall \(\sigma \)-set of \(G\) if every nontrivial member of \(\mathcal{H}\) is a \(\sigma _i\)-subgroup of \(G\) for some \(i \in I\) and \(\mathcal{H}\) contains exactly one Hall \(\sigma _i\)-subgroup of \(G\) for every \(i\) such that \(\sigma _i \in \sigma (G)\). A group \(G\) is \(\sigma \)-full if \(G\) possesses a complete Hall \(\sigma \)-set. A complete Hall \(\sigma \)-set \(\mathcal{H}\) of \(G\) is called a \(\sigma \)-basis of \(G\) if every two subgroups \(A,B \in \mathcal{H}\) are permutable, i.e., \(AB = BA\). In this paper, we study properties of finite groups having a \(\sigma \)-basis. It is proved that if \(G\) has a \(\sigma \)-basis, then \(G\) is generalized \(\sigma \)-soluble, i.e, \(\vert \sigma (H/K)\vert \leq 2\) for every chief factor \(H/K\) of \(G\). Moreover, it is shown that every complete Hall \(\sigma \)-set of a \(\sigma \)-full group \(G\) forms a \(\sigma \)-basis of \(G\) iff \(G\) is generalized \(\sigma \)-soluble, and for the automorphism group \(G/C_G(H/K)\) induced by \(G\) on any its chief factor \(H/K\), we have \(\vert\sigma ( G/C _G(H/K))\vert \leq 2\) and also \(\sigma (H/K) \subseteq \sigma ( G/C _G(H/K))\) in the case \(\vert \sigma ( G/C _G(H/K))\vert = 2\)''.