25.27 AgGroupFpGroup

AgGroupFpGroup( F )

AgGroupFpGroup returns an ag group isomorphic to a finitely presented finite polycyclic group F.

A finitely presented finite polycyclic group F must be a record with components generators and relators, such that generators is a list of abstract generators and relators a list of words in these generators describing a power-commutator or power-conjugate presentation.

Let g_1, ..., g_n be the generators of F. Then the words of relators must be the power relators g_k^{e_k} * w_{kk}^{-1} and commutator relator Comm( g_i, g_j ) * w_{ij}^{-1} or conjugate relators g_i^{g_j} * w_{ij}^{-1} for all 1 leq k leq n and 1leq j < i leq n, such that w_{kk} are words in g_{k+1}, ..., g_n and w_{ij} are words in g_{j+1}, ..., g_n. It is possible to omit some of the commutator or conjugate relators. Pairs of generators without commutator or conjugate relator are assumed to commute.

The relative order e_i of g_i need not to be primes, but as all functions for ag groups need a PAG system, not only an AG system, you must refine the AG series using RefinedAgSeries (see RefinedAgSeries) in case some e_i are composite numbers.

Note that it is not checked if the AG presentation is consistent. You can use IsConsistent (see IsConsistent) to test the consistency of a presentation. Inconsistent presentations may cause other ag group functions to return incorrect results.

Initially a collector from the left following the algorithm described in LS90 is used in order to collect elements of the ag group. This could be changed using ChangeCollector (see ChangeCollector).

Note that AgGroup will not work with finitely presented groups, you must use the function AgGroupFpGroup instead. As no checks are done you can construct an ag group with inconsistent presentation using AgGroupFpGroup.

Previous Up Top Next
Index

GAP 3.4.4
April 1997