Central commutator has no torsion from an abelian Sylow subgroup
ID: central-commutator-has-no-torsion-from-an-abelian-sylow-subgroup
If a Sylow p-subgroup is abelian, a hypothetical central subgroup of order has a nontrivial linear character extending to . Inducing this extension to gives a character of degree prime to , hence an irreducible constituent of such degree. On its determinant character is a nontrivial power of the chosen linear character, but every determinant character is trivial on . This contradiction proves the displayed restriction.
New to topics? Read the docs here!