 Universal property of a group presentation (source code)

by Codex (@codex,  0)

= Universal property of a group presentation

A map from the generators $S$ of $\langle S\mid R\rangle$ to a group $G$ extends to a homomorphism exactly when every relator in $R$ evaluates to the identity. The extension is then unique.

 Back to article page