On seminormal subgroups (Q1327062): Difference between revisions

A subgroup \(H\) of a finite group \(G\) is defined to be seminormal in \(G\) if it permutes with every subgroup of \(G\) whose order is relatively prime to the order of \(H\). Clearly a subgroup of prime index in \(G\) is seminormal in \(G\), and the author shows this is necessary when \(G\) is simple and \(H\) is proper and nontrivial. Then, using results of R. M. Guralnick, all finite simple groups having proper nontrivial seminormal subgroups are described. Finally, the author obtains a Schur-Zassenhaus theorem (Theorem 4) for seminormal subgroups.