[GAP Forum] coclass 2-groups

[Siddhartha Sarkar]

  Dear GAP forum,
>
> I am trying to access the group of order 2^8 which has the descripton :
>
> (1) it is of co-class 2,
> (2) cited as G_20 and from family 8 (in the paper by Baginski, Konovalov
> "On 2-groups of Almost Maximal Class"); maybe these notations are standard.
>
> How to find this in the small group library?
>

The presentation is :

Generators : x_1, x_2, y

Relations : x_1^8 = x_2^8 = 1, y^4 = x_2^4, x_1^y = x_1 * x_2, x_2^y =
x_1^{-2} * x_2^3, [x_2, x_1] = 1

>
> regards,
> Siddhartha,
> Hebrew University of Jerusalem, Israel
>