Suppose G is a finite group
whose order is divisible by only two primes. Burnside’s famous theorem asserts
that G must be solvable. In a less famous theorem, Burnside gave sufficient
conditions for G to have a nontrivial normal p-subgroup for a particular prime p.
However, this theorem does not apply in certain cases when G has even order.
In this paper, we prove an analogue of this theorem which applies to all
cases.