> < ^ Date: Mon, 07 Jul 1997 09:57:28 +0100
> < ^ From: Steve Linton <sal@dcs.st-and.ac.uk >
^ Subject: Group Representation (Burnside Group)

Dear GAP Forum,

A small addendum to Eamonn's message.

Eamonn's method produces as output a group with 14 generators. Ella Shelev
originally asked for the Burnside group as a finitely-presented group with
four generators. This can be achieved using the Tietze transformation package
in GAP as follows:

gap> b := Pq(f,"Prime",3,"Exponent",3,"ClassBound",3);
Group( G.1, G.2, G.3, G.4, G.5, G.6, G.7, G.8, G.9, G.10, G.11, G.12, G.13, 
G.14 )
gap> g := FpGroup(b);
Group( G.1, G.2, G.3, G.4, G.5, G.6, G.7, G.8, G.9, G.10, G.11, G.12, G.13, G.\
14 )
gap> p := PresentationFpGroup(g);
<< presentation with 14 gens and 105 rels of total length 428 >>
gap> SimplifyPresentation(p);
#I  there are 11 generators and 95 relators of total length 509
#I  there are 7 generators and 71 relators of total length 545
#I  there are 5 generators and 61 relators of total length 660
#I  there are 4 generators and 58 relators of total length 778
#I  there are 4 generators and 58 relators of total length 752
gap> h := FpGroupPresentation(p);
Group( G.1, G.2, G.3, G.4 )
gap> 

Steve


> < [top]