Assertion: abelian group's image | /r/CapableOf | give finite generating set
Facets:
Source sentences:
text: While it is true that every quotient of a finitely generated group is finitely generated (the images of the generators in the quotient give a finite generating set), a subgroup of a finitely generated group need not be finitely generated.