Assertion: abelian group | /r/HasProperty | $k$
Facets:
Source sentences:
text: An abelian group $K$ that is finitely generated has a finite basis and so by the above theorem is free abelian.