> < ^ From:

^ Subject:

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]