Use the ANUPQ package for a quick solution: phi := PqEpimorphism( FreeGroup(4) : Prime:=3, Exponent:=3 );
Now Range(phi); is the free group of exponent 3 on 4 generators (with order 3^14). On 2011-03-10, at 09:38, Bill Allombert wrote: > Dear GAP forum, > > I need to work with finitely generated groups of exponent 3 (which are finite > by a theorem of Burnside) and I do not know how to define them in GAP. > > Cheers, > Bill. > > _______________________________________________ > Forum mailing list > Forum@mail.gap-system.org > http://mail.gap-system.org/mailman/listinfo/forum _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum