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 O_p′(G)Z(J(S)) is a normal subgroup of G, for any Sylow p-subgroup S.