Assertion: abelian group | /r/HasProperty | polycyclic
Facets:
Source sentences:
text: An abelian group is polycyclic if and only if it is finitely generated.