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!