G = Ab(8,2) ist die abelsche Gruppe C8 x C2
Nach Hall-Senior hat diese Gruppe die Nummer 4.
Dieser Kohomologiering ist vollständig berechnet.
Der Kohomologiering hat 3 Erzeuger:
Es gibt eine minimale Relation:
Diese minimalen Relationen bilden eine Gröbnerbasis für das Relationenideal.