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
>
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum