Conditionally permutable subgroups and supersolubility of finite groups. (Q2569295)

Let \(G\) be a finite group. A subgroup, \(H\), of \(G\) is called c-permutable with the subgroup \(T\) in \(G\) if there exists \(x\in G\) such that \(HT^x=T^xH\). If \(H\) is c-permutable with every subgroup \(T\) of \(G\), then \(H\) is called c-permutable in \(G\). If \(H\) is c-permutable in every subgroup of \(G\) containing \(H\), then \(H\) is said to be completely c-permutable in \(G\). The main results of the paper are as follows. The group \(G\) is supersoluble if and only if every maximal subgroup of \(G\) is c-permutable in \(G\) (Theorem 3.8). The group \(G\) is supersoluble if one of the following conditions holds: (i) every second-maximal subgroup of \(G\) is completely c-permutable in \(G\); (ii) \(G\) is soluble and every second-maximal subgroup of non-prime-power index in \(G\) is completely c-permutable in \(G\) (Theorem 3.10). If \(G\) is soluble, then the following statements are equivalent: (i) every subnormal subgroup of \(G\) is c-permutable in \(G\) with all Sylow subgroups of \(G\); (ii) \(G\) is a semidirect product of some nilpotent Hall subgroup, \(D\), of \(G\) with some nilpotent subgroup, \(M\), and \(G=DN_G(K)\) for every subgroup \(K\) of \(D\) (Theorem 4.3).