[GAP Forum] coclass 2-groups

[Siddhartha Sarkar]

Thanks for the reply. I was trying to check further the order of y^2 x_2 in
GAP.
It seems to take a very long time.
regards,
Siddhartha
On Tue, Mar 31, 2009 at 3:55 PM, Bettina Eick <beick at tu-bs.de> wrote:

>
> Dear Sidhartha,
>
> starting from your presentation, you can do the following:
>
> # define your group as fp-group in GAP
> F := FreeGroup(3); x1 := F.1; x2 := F.2; y := F.3;
> r := [x1^8, x2^8, y^4/(x2^4), x1^y/(x1*x2), x2^y/(x1^-2*x2^3),
> Comm(x2,x1)];
> G := F/r;
>
> # get a pc-presentation for your group
> H := Image(EpimorphismQuotientSystem(PQuotient(G,2,6)));
>
> # identify it in the SmallGroups Library
> l := IdGroup(H);
>
> This yields l = [256, 519] and it means that your group is
> isomorphic to SmallGroup(256, 519).
>
> Best wishes,
>              Bettina
>
>
>
>