Polycyclic groups Infinite groups and combinatorial group theory mathematics