Assertion: abelian group | /r/HasProperty | direct sum
Facets:
Source sentences:
text: abelian group is the direct sum