On theorems of Sylow type for finite groups (Q2740356)

Let \(\pi\) be a fixed set of primes. A \(\pi\)-subgroup of a finite group \(G\) is called an \(S_\pi\)-subgroup if its index in \(G\) is a \(\pi'\)-number. A group \(G\) is called an \(E_\pi\)-group if it possesses at least one \(S_\pi\)-subgroup, \(G\) is called a \(D_\pi\)-group if it is an \(E_\pi\)-group, all its \(S_\pi\)-subgroups are conjugated in \(G\) and each \(\pi\)-subgroup is contained in some \(S_\pi\)-subgroup of \(G\). The main result of the paper states that every extension of a \(D_\pi\)-group from the general Wielandt class defined in the paper by an arbitrary \(D_\pi\)-group is a \(D_\pi\)-group. This result generalizes some results from a paper of \textit{L. S. Kazarin} [Structure properties of algebraic systems, Collect. papers, Nalchik, Kabardino-Balkar Univ. 1981, 42-52 (1981)].