Assertion: generated abelian group | /r/HasProperty | presented
Facets:
value: finitely
type: DEGREE
Source sentences:
text: This fact, together with the fact that every subgroup of a free abelian group is free abelian (below) can be used to show that every finitely generated abelian group is finitely presented.