Assertion: generated abelian group | /r/HasProperty | free
Facets:
Source sentences:
text: Corollary: A finitely generated abelian group is free if and only if it is torsion-free, that is, it contains no element of finite order other than the identity.