Skip to main content
MathOverflow

Return to Answer

Texified because it was on the front page anyway
Source Link
David White
David White
  • 30.3k
  • 9
  • 153
  • 250

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)$H^n(G;A)$ can be identified with the cohomology H^n(BG;A)$H^n(BG;A)$ of the classifying space BG$BG$ of G$G$ with coefficients in A (interpreting the action of G$G$, which is the fundamental group of BG$BG$, on A as making A a local coefficient system on BG$BG$). The cup product on group cohomology is then the same as the usual cup product of singular cohomology.

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.

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.

Source Link
Eric Wofsey
Eric Wofsey
  • 31.2k
  • 2
  • 115
  • 151

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.