G = C16 ist die zyklische Gruppe der Ordnung 16
Nach Hall-Senior hat diese Gruppe die Nummer 5.
Dieser Kohomologiering ist vollständig berechnet.
Der Kohomologiering hat 2 Erzeuger:
Es gibt eine minimale Relation:
Diese minimalen Relationen bilden eine Gröbnerbasis für das Relationenideal.