Assertion: finite abelian group | /r/HasProperty | the torsion subgroup of g.
Facets:
Source sentences:
text: The finite abelian group is just the torsion subgroup of G.