No label defined (Q4952585)

Let \(\pi\) be a set of primes. A finite group \(G\) is said to be an \(E_\pi\)-group if it has a Hall \(\pi\)-subgroup. \textit{P. Hall} [Proc. Lond. Math. Soc., III. Ser. 6, 286-304 (1956; Zbl 0075.23907)] has conjectured that if a finite group is an \(E_{p,q}\)-group for all prime divisors \(p\) and \(q\) of its order then it is solvable. Using the classification of finite simple groups \textit{Z. Arad} and \textit{M. B. Ward} [J. Algebra 77, 234-246 (1982; Zbl 0486.20018)] proved that Hall's conjecture is true. In this paper a short independent proof of Hall's conjecture for \(K\)-groups is given (Theorem 2). A \(K\)-group is a finite group whose composition factors are known finite simple groups. The classical theorem of P. Hall states that a finite group is solvable if it has a Hall \(p'\)-subgroup for each prime divisor \(p\) of its order. \textit{V. A. Vedernikov} [Dokl. Akad. Nauk SSSR 198, 266-268 (1971; Zbl 0242.20021)] conjectured that a finite group is solvable if it has a Hall \(p'\)-subgroup for each odd prime divisor \(p\) of its order and showed that this conjecture is true for finite groups with cyclic Sylow subgroups of odd order. The author proves also that Vedernikov's conjecture for \(K\)-groups is true (Theorem 3). Theorems 2 and 3 are proved without using the classification theorem. For the entire collection see [Zbl 0919.00012].