Let and both be abelian. For an irreducible -module, choose a subgroup of maximal order whose restriction contains a linear character . Every subgroup containing is normal. If an element stabilizes , its action on the nonzero -isotypic component has an eigenvector; that line is invariant under and affords a larger linear constituent, contradicting maximality. Thus , and the Clifford correspondence gives .
Articles by others on the same topic
There are currently no matching articles.