On a theorem of Ito and Szép (Q2657657)

In this report, we will consider only finite groups. Given two subgroups \(H\) and \(T\) of a group \(G\), we say that \(H\) and \(K\) are \emph{conditionally permutable} or \emph{c-permutable} if there exists an element \(x\in G\) such that \(HT^x=T^xH\). The subgroup \(H\) is said to be c-permutable in \(G\) if \(H\) is c-permutable with all subgroups of \(G\). The subgroups \(H\) and \(T\) are said to be \emph{completely c-permutable} in \(G\) if \(H\) and \(T\) are \(c\)-permutable in \(\langle H, T\rangle\). The subgroup \(H\) is said to be \emph{completely c-permutable} in \(G\) if, for every subgroup \(T\) of \(G\), the subgroups \(H\) and \(T\) are c-permutable in \(\langle H, T\rangle\). The first aim of the paper under review is to extend a well-known theorem of Itô and Szép stating that a subgroup \(H\) that permute with all Sylow subgroups satisfies that the quotient \(H/H_G\) is nilpotent to completely c-permutable subnormal subgroups: if \(H\) is a completely c-permutable subnormal subgroup of \(G\), then \(H/H_G\) is nilpotent (Theorem 1.3). A criterion for \(p\)-supersolubility for \(p\)-soluble groups for a prime \(p\) is also obtained in Theorem 1.5: If \(G\) is \(p\)-soluble and every \(2\)-maximal subgroup (that is, a maximal subgroup of a maximal subgroup) whose index is divisible by \(p\), but not a power of \(p\), is completely \(c\)-permutable in \(G\), then \(G\) is \(p\)-supersoluble. As an immediate consequence, if \(G\) is soluble and every \(2\)-maximal subgroup whose index is not a prime power is completely c-permutable in \(G\), then \(G\) is supersoluble.