e/ZJ theorem

Information
has gloss	eng: 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 Op′(G)Z(J(S)) is a normal subgroup of G, for any Sylow p-subgroup S.
lexicalization	eng: ZJ theorem
instance of	e/Finite group