Assertion: generated abelian group | /r/HasProperty | expressed as direct sum of cyclic groups
Facets:
Source sentences:
text: Theorem: Every finitely generated abelian group can be expressed as the direct sum of cyclic groups