Assertion: abelian group | /r/HasAspect | finite basis
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.