On the supersoluble hypercentre of a finite group (Q1682390)

Let \(G\) be a finite group and \(H\leq G\). \(H\) is said to be \(S\)-permutable in \(G\) if \(H\) permutes with all Sylow subgroups of \(G\), and is said to be \(S\)-semipermutable in \(G\) if \(H\) permutes with all Sylow \(q\)-subgroups of \(G\) for the primes \(q\) not dividing \(|H|\). In this article, the authors give some sufficient conditions for a normal \(p\)-subgroup \(P\) of a finite group \(G\) to have every \(G\)-chief factor below it cyclic. They also prove the following theorem. Theorem. Let \(P\in\mathrm{Syl}_{p}(G)\) and let \(d\) be a power of \(p\) such that \(1\leq d<|P|\). Assume that \(H\cap O^{p}(G)\) is \(S\)-semipermutable in \(G\) for all noncyclic subgroups \(H\) of \(P\) with \(|H|=d\). Then either \(|P\cap O^{p}(G)|>d\), or \(P\cap O^{p}(G)\) is cyclic, or else \(G\) is \(p\)-supersoluble.