Coinvariant module (source code)

= Coinvariant module
{title2=$M_G$}

For a group $G$ acting on a module $M$, the coinvariant module is
$$
M_G=M/\langle g\cdot m-m:g\in G,\ m\in M\rangle.
$$