Assertion: free abelian group | /r/HasAspect | empty basis
Facets:
Source sentences:
text: Note that a free abelian group is not a free group except in two cases: a free abelian group having an empty basis (rank 0, giving the trivial group) or having just 1 element in the basis (rank 1, giving the infinite cyclic group).