Assertion: free abelian group | /r/HasProperty | split
Facets:
value: completely
type: DEGREE
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.