\(\mathfrak Z\)-permutable subgroups of finite groups. (Q264053)

Let \(G\) be a group, two subgroups \(H\) and \(K\) of \(G\) are called permutable if the set \(HK=\{hk\mid h\in H,\;k\in K\}\) is a subgroup of \(G\). Let \(G\) be a finite group, a set \(\mathfrak Z\) is a complete set of Sylow subgroups of \(G\) if \(\mathfrak Z\) contains exactly one Sylow subgroup for each prime dividing the order of \(G\); \(\mathfrak Z\) is a Sylow basis of \(G\) if the Sylow subgroups in \(\mathfrak Z\) are pairwise permutable (a beautiful theorem due to Philip Hall asserts that a finite group admits a Sylow basis if and only if it is solvable). The main result proved in this paper is Theorem 1: Let \(\mathfrak Z\) be a complete set of Sylow subgroups of a finite group \(G\). Let \(A\) be a subnormal \(\mathfrak Z\)-permutable subgroup of \(G\). Then \(\langle A^G\rangle/\mathrm{Core}_G(A)\) is soluble. If, in addition, \(\mathfrak Z\) is a Sylow basis of \(G\), then \(\langle A^G\rangle/\mathrm{Core}_G(A)\) is nilpotent.