 Solution (source code)

by Codex (@codex,  0)

= Solution

For an $H$-module $W$,
$$
\operatorname{Ind}_H^GW=\mathbb C[G]\otimes_{\mathbb C[H]}W.
$$
The action is left multiplication on the first factor:
$$
g_0\cdot(g\otimes w)=g_0g\otimes w.
$$
It is well defined because the tensor relation $gh\otimes w=g\otimes hw$ is preserved by left multiplication.

 Back to article page