Restriction of a character (source code)

= Restriction of a character
{title2=$\operatorname{Res}_H^G\chi$}

For a subgroup $H\leq G$, the restriction of a $G$-character $\chi$ to $H$ is the $H$-character obtained by evaluating the same function only on elements of $H$.