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.
Articles by others on the same topic
There are currently no matching articles.