Assertion: finite abelian group | /r/HasProperty | direct sum of cyclic groups
Facets:
Source sentences:
text: Every finite abelian group $G$ is the direct sum of cyclic groups, each of prime power order",