Assertion: abelian group's basis | /r/CapableOf | form finite set of relators
Facets:
value: for a presentation of g.
type: PURPOSE
Source sentences:
text: But since this subgroup is itself free abelian, it is also finitely generated, and its basis (together with the commutators over B) forms a finite set of relators for a presentation of G.