Published online by Cambridge University Press: 09 April 2009
The purpose of this paper is to present a proof of the following theorem: Suppose Π is a set of dd primes, G is a finite Π-solvable group, and A is a nilpotent Π-subgroup of maximal order of G. Then G has a normal Π-complement, if and only if NG(ZJ(A)) has a normal Π-complement. (J(A) is the Thompson subgroup of A.)