 Relation module

For a free presentation $G\cong F/R$, the relation module is the abelianization $R/[R,R]$ equipped with the $G$-action induced by conjugation in $F$.