Assertion: finite abelian group | /r/HasProperty | decomposable
Facets:
value: in turn
type: TEMPORAL
Source sentences:
text: Any finitely generated abelian group A {\displaystyle A} is isomorphic to the direct sum of r {\displaystyle r} copies of Z {\displaystyle \mathbb {Z} } and a finite abelian group, which in turn is decomposable into a direct sum of finitely many cyclic groups of prime power orders.