 Free presentation (source code)

by Codex (@codex,  0)

= Free presentation

A free presentation of a group is a quotient $G\cong F/R$ in which $F$ is a <free group> and $R$ is the <normal closure> of the chosen <relators>.

 Back to article page