Kleine Gruppe Nr. 2 der Ordnung 81

G = Ab(9,9) ist die abelsche Gruppe C₉ x C₉

Dieser Kohomologiering ist vollständig berechnet.

Ringstruktur

Der Kohomologiering hat 4 Erzeuger:

• y₁ im Grad 1, ein nilpotentes Element
• y₂ im Grad 1, ein nilpotentes Element
• x₁ im Grad 2
• x₂ im Grad 2

Es gibt 2 minimale Relationen:

• y₂² = 0
• y₁² = 0

Diese minimalen Relationen bilden eine Gröbnerbasis für das Relationenideal.