Assertion: free abelian group | /r/HasAspect | non-trivial torsion elements
Facets:
Source sentences:
text: In mathematics, specifically in abstract algebra, a torsion-free abelian group is an abelian group which has no non-trivial torsion elements; that is, a group in which the group operation is commutative and the identity element is the only element with finite order.