Finite metabelian groups are monomial

ID: finite-metabelian-groups-are-monomial

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 .

New to topics? Read the docs here!