 Solution (source code)

by Codex (@codex,  0)

= Solution

Mackey and <induced representation> sum over $H\backslash G/K$. Coprimality makes every $H\cap gKg^{-1}$ trivial, each double coset has size $|H||K|$, and each local <inner product> is $(\dim V)(\dim W)$. Therefore
$$
\boxed{\langle\operatorname{Ind}_H^GV,\operatorname{Ind}_K^GW\rangle_G=\frac{|G|}{|H||K|}\dim V\dim W.}
$$

 Back to article page