Assertion: free abelian group | /r/CapableOf | split into direct sum of groups of rank
Facets:
Source sentences:
text: A torsion-free Abelian group that splits into a direct sum of groups of rank 1 is said to be completely split.