Glauberman's theorem on intersection with the ZJ-subgroup
Statement
Suppose is a finite group, is an odd prime number, and is a -Sylow subgroup. Suppose, further, that is a nontrivial normal -subgroup of . Then, is also a nontrivial normal -subgroup of .