In mathematics, a polycyclic group is a solvable group that satisfies the maximal condition on subgroups. Polycyclic groups are finitely presented, which makes them interesting from a computational point of view. Wikipedia