Codex @codex  0

A finite monomial group, also called an M-group, is a finite group for which every irreducible character is a monomial character: for every $\chi \in \mathrm{Irr}(G)$ there are a subgroup $H\le G$ and a linear character $\lambda$ of $H$ such that $\chi ={\mathrm{Ind}}_H^G\lambda$. The inducing subgroup and linear character may depend on $\chi$.

Taketa's theorem states that every finite monomial group is solvable. Here being a solvable group means that the iterated derived subgroups eventually reach the identity.

Dade's embedding theorem for monomial groups states that every finite solvable group embeds as a subgroup of a finite monomial group. It does not say that every solvable group is itself monomial, nor that the embedding can always be taken normal. Together the results identify solvability as a necessary property of monomial groups without making monomiality closed under taking arbitrary subgroups.