Assertion: abelian group's subgroup | /r/HasProperty | its abelianisation
Facets:
Source sentences:
text: modulo the subgroup generated by its commutators, [F(S), F(S)], i.e. its abelianisation.