[GAP Forum] finitely generated groups of exponent 3

[Jack Schmidt]

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 at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum