Assertion: free abelian group | /r/HasProperty | unique
Facets:
Source sentences:
text: The free abelian group with basis B is unique up to isomorphism, and its elements are known as formal sums of elements of B. They may also be interpreted as the signed multisets of finitely many elements of B.