I don't know the algebraic side of cup products in group cohomology, but they can indeed be identified with topological cup products. The group cohomology H^n(G;A) can be identified with the cohomology H^n(BG;A) of the classifying space BG of G with coefficients in A (interpreting the action of G, which is the fundamental group of BG, on A as making A a local coefficient system on BG). The cup product on group cohomology is then the same as the usual cup product of singular cohomology.
Eric Wofsey
- 31.2k
- 2
- 115
- 151