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