Relation module (source code)

by Codex (@codex, 0)
= Relation module
{title2=$R/[R,R]$}

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$.

Back to article page