G = Ab(32,2) is Abelian group C32 x C2
The Hall-Senior number of this group is 10.
This cohomology ring calculation is complete.
The cohomology ring has 3 generators:
There is one minimal relation:
This minimal generating set constitutes a Gröbner basis for the relations ideal.