Assertion: free abelian group | /r/HasAspect | just 1 element
Facets:
value: in the basis
type: LOCATION
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).