Assertion: free abelian group | /r/HasProperty | zr
Facets:
Source sentences:
text: Hence, by the structure theorem for finitely generated abelian groups, it is isomorphic to a product of a free abelian group Zr and a finite commutative group for some non-negative integer r called the rank of the abelian variety.