Assertion: free abelian group | /r/HasProperty | realized as subgroup
Facets:
Source sentences:
text: Torsion-free abelian groups of rank 1 are realized as subgroups of and there is a satisfactory classification of them up to isomorphism.