[GAP Forum] Identifying a large Fp group

[William Giuliano]

Thank you very much.
Best
William

Il giorno gio 5 set 2019 alle 22:21 Jean Michel <jean.michel at imj-prg.fr> ha
scritto:

> On Thu, Sep 05, 2019 at 02:47:03PM +0100, Paul Timmons wrote:
> > I used Monoid Automata Factory (MAF) to simplify your presentation for
> XX -
> > see below.
>
> I used the Vcurve package of GAP3 to obtain a smaller presentation:
>
> f:=FreeGroup(3);
>
> g:=f/[f.3^3, f.1*f.3*f.1*f.3, f.1^-1*f.2^-1*f.1^-1*f.2^-1*f.1^-1*f.2^-1,
>   f.2^7, f.1^-2*f.2^-1*f.1^-2*f.2*f.1*f.2, f.1^-3*f.3*f.1^-3*f.3,
>   f.2^-1*f.1*f.2^-1*f.1*f.2^-1*f.1*f.2^-1*f.1, f.1^8,
>   f.1*f.3^-1*f.2^-3*f.1*f.2^2*f.3*f.1,
> f.2*f.3*f.2^-2*f.1*f.2*f.3*f.2^-2*f.1,
>   f.3*f.1^3*f.2^-1*f.1*f.2^-1*f.3^-1*f.2^-1*f.1*f.2^-1*f.1^-1,
>   f.1*f.2^-1*f.1*f.2^-2*f.3*f.2^-1*f.1*f.2^-1*f.3*f.1*f.2,
>   f.1^-3*f.2*f.3*f.2^-1*f.1^-1*f.2^2*f.1^-2*f.3*f.2^-2,
>   f.1^-1*f.2^-2*f.1^-3*f.3*f.2^-1*f.3*f.2*f.1^-1*f.3*f.1*f.2^-1*f.3^-1*f.1*
>
> f.2^2*f.1^-1*f.3*f.1^-1*f.2^-2*f.1^-3*f.3^-1*f.1*f.2^-1*f.1*f.3*f.2^2*f.3*
>   f.1^2*f.2]);
>
> Best regards,
>
> ------------------------------------------------------------------------------
> Jean MICHEL, Groupes et representations, IMJ-PRG UMR7586 tel.(33)157279144
> Bureau 639 Bat. Sophie Germain Case 7012 - 75205 PARIS Cedex 13
>