Restriction of a representation (source code)

= Restriction of a representation
{title2=$\operatorname{Res}_H^G V$}

= Module restriction
{synonym}

For a <group representation> of $G$ and a subgroup $H$, restriction keeps the vector space and lets only the elements of $H$ act. It is denoted $\operatorname{Res}_H^G V$.