Assertion: free abelian group | /r/HasAspect | presentation
Facets:
Source sentences:
text: The free abelian group with basis B has a presentation in which the generators are the elements of B, and the relators are the commutators of pairs of elements of B.