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 (0)

There are currently no matching articles.