 Coinduced module (source code)

by Codex (@codex,  0)

= Coinduced module
{title2=$\operatorname{Coind}_K^G X$}

For a subgroup $K\leq G$ and a $\mathbb ZK$-module $X$, the coinduced module is
$$
\operatorname{Coind}_K^G X=\operatorname{Hom}_{\mathbb ZK}(\mathbb ZG,X),
\qquad (g f)(r)=f(rg).
$$

 Back to article page