Assertion: abelian group's basis | /r/HasProperty | finite
Facets:
Source sentences:
text: We say that $G$ is finitely generated if a basis for $G$ is finite.
text: An abelian group $K$ that is finitely generated has a finite basis and so by the above theorem is free abelian.
text: I incorrectly assumed that $G$ is finitely generated implies that a basis for $G$ is finite.