 Solution

For a finite group $G$, subgroups $H,K$, and a complex group representation $V$ of $H$, the Mackey restriction formula isChoose one representative $g$ of each double coset $KgH$. The conjugate subgroup representation ${}^{g}V$ is a representation of $gH{g}^{-1}$ on the same vector space, with $(gh{g}^{-1})v=hv$. Restriction of a representation keeps the vector space and restricts the acting subgroup. induced representation is $\mathbb{C}G{\otimes }_{\mathbb{C}H}V$, and analogously for each subgroup of $K$. The displayed isomorphism is an isomorphism of $K$-representations. These definitions specify every summand and its subgroup.