Assertion: group | /r/HasProperty | polycyclic
Facets:
Source sentences:
text: A group is polycyclic if it has a finite descending sequence of subgroups, each of which is normal in the previous subgroup with a cyclic quotient, ending in the trivial group.