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