Om G är en topologisk grupp gäller att den s.k. kohomologiringen av G över en kropp k inte endast är en ring över k utan även har en extra operation (en s.k. diagonaloperation) som är hopkopplad med ringmultiplikationen på ett naturligt sätt. Ett sådant matematiskt objekt