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