Assertion: free abelian group | /r/HasProperty | torsion-free
Facets:
Source sentences:
text: All free abelian groups are torsion-free, meaning that there is no group element (non-identity)