On complemented subgroups of finite groups (Q5906381)

Let \(G\) be a finite group. If \(N\) is a normal subgroup of \(G\) such that \(G/N\) is supersoluble and every minimal subgroup of \(N\) is complemented in \(G\), then \(G\) is supersoluble (Theorem 1). If all maximal subgroups of every Sylow subgroup of \(G\) are complemented in \(G\), then \(G\) is supersoluble (Theorem 2). If \(p\) is the smallest prime dividing the order of \(G\), all 2-maximal subgroups of every Sylow \(p\)-subgroup of \(G\) are complemented in \(G\) and \(G\) is \(A_4\)-free, then \(G\) is \(p\)-nilpotent (Theorem 3). If \(G\) has even order and \(K\) is a maximal subgroup of a Sylow-2 subgroup of \(G\) such that \(K\) is complemented in \(G\), then \(G\) is not nonabelian simple and a composition factor of \(G\) is either a cyclic group of prime order or \(B=\text{PSL}(2,q)\) for some Mersenne prime \(q\) such that a Hall \(2'\)-subgroup of \(B\) is the normaliser of a Sylow \(q\)-subgroup of \(B\) (Theorem 4).