Assertion: generated abelian group | /r/HasProperty | direct sum
Facets:
Source sentences:
text: The existence and the shape of the Smith normal proves that the finitely generated abelian group A is the direct sum