Dade's embedding theorem for monomial groups (source code)

= Dade's embedding theorem for monomial groups
{c}

Every finite <solvable group> is isomorphic to a <subgroup> of a finite <monomial group>. This is an embedding assertion and does not assert that every solvable group is monomial, nor that the embedding is normal.