G = Ab(9,3,3) ist die abelsche Gruppe C9 x C3 x C3
Dieser Kohomologiering ist vollständig berechnet.
Der Kohomologiering hat 6 Erzeuger:
Es gibt 3 minimale Relationen:
Diese minimalen Relationen bilden eine Gröbnerbasis für das Relationenideal.