 Coinvariant module

ID: coinvariant-module

G

acting on a module

M

, the coinvariant module is

M_{G} = M / ⟨ g \cdot m - m : g \in G, m \in M ⟩ .

 New to topics? Read the docs here!