Assertion: finite group | /r/HasProperty | polycyclic
Facets:
Source sentences:
text: Every finitely generated abelian group or nilpotent group is polycyclic.