Induced representation

Summary

Induction builds a representation of a group $G$ from a representation of a subgroup $H$. The induced representation is a sum of copies of the given space, one for each left coset of $H$, which $G$ permutes. Induction is adjoint to restriction, by Frobenius reciprocity. Many representations of finite groups are constructed this way.