ZJ theorem


In mathematics, George Glauberman's ZJ theorem states that if a finite group G is p-constrained and p-stable and has a normal p-subgroup for some odd prime p, then OpZ is a normal subgroup of G, for any Sylow p-subgroup S.

Notation and definitions