Assertion: generated abelian group | /r/HasProperty | written
Facets:
Source sentences:
text: In symbols, part (3) says that any finitely generated abelian group can be written as:
text: In symbols, part (4) says that any finitely generated abelian group can be written as: