Assertion: abelian group | /r/HasProperty | direct sum of cyclic groups
Facets:
Source sentences:
text: Any subgroup of an Abelian group that is a direct sum of cyclic groups itself is such a direct sum.