Assertion: abelian group's element | /r/CapableOf | generate the group
Facets:
Source sentences:
text: A presentation of a group is a set of elements that generate the group (all group elements are products of finitely many generators), together with "relators", products of generators that give the identity element.