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