G = Ab(8,8) is Abelian group C8 x C8
The Hall-Senior number of this group is 8.
This cohomology ring calculation is complete.
The cohomology ring has 4 generators:
There are 2 minimal relations:
This minimal generating set constitutes a Gröbner basis for the relations ideal.