Induced representation (source code)

= Induced representation
{wiki}

= Module induction
{synonym}

Induction extends a representation of a subgroup to the whole group; Frobenius reciprocity computes its multiplicities.