 Coinduced module

For a subgroup $K\le G$ and a $\mathbb{Z}K$-module $X$, the coinduced module is