Minimal normal implies pi-group or pi'-group in pi-separable group
Suppose is a set of primes and is a finite group that is -separable (see Pi-separable group (?)). Suppose is a Minimal normal subgroup (?) of . Then, is either a -group (i.e., all prime factors of the order of are in ) or a -group (i.e., none of the prime factors of the order of are in ).