Next: Polycyclic Groups: Construction and
Up: Groups
Previous: Finitely-Presented Abelian Groups
The category described here comprises the family of all groups defined by
a polycyclic presentation. Note that such a group may be infinite.
Even so, algorithms for element arithmetic analogous to those used
for finite soluble groups are available and a growing number of structural
computations are possible within such a group.