 Frobenius reciprocity

For $H\le G$, an $H$-representation $V$, and a $G$-representation $W$,Equivalently, induction and restriction are adjoint for character inner products.