Taketa's theorem (source code)

= Taketa's theorem
{c}

Every finite <monomial group> is a <solvable group>. Thus expressing every <irreducible character> as induction from a <linear character> imposes a group-theoretic solvability condition.