> < ^ Date: Wed, 20 May 1992 08:55:06 +0200
> < ^ From: Frank Celler <frank.celler@math.rwth-aachen.de >
^ Subject: FpGroup & AgGroup (short SUMMARY)

Problem: Given a presentation as 'FpGroup' in GAP, how does one
convert this fp-group into an ag-group? Why does 'AgGroup'
not work?

Answer: 'AgGroup' only works for groups in which the elements can
be compared (see M.Schoenert's letter). For permutation groups
there will be a faster 'AgGroup' in the near future.

If your presentation happens to be a power/commutator
or power/conjugate presentations, use 'AgGroupFpGroup'.
Otherwise you can try to find a permutation representations
using a TC or, if your group is a p-group, use a p-quotient
algorithm ('pQuotient').

A solvable quotient algorithm will not be available
in the next few month.

mfg Frank Celler

> < [top]