Assertion: free abelian group | /r/HasAspect | non-trivial finite subgroups
Facets:
Source sentences:
text: A torsion-free abelian group has no non-trivial finite subgroups.