4

Suppose we have a group extension $$0 \to N \stackrel{\iota}{\to} E \stackrel{\pi}{\to} G \to 1$$ where $N$ is abelian. How to find a representative 2-cocycle that produces this extension? Or more generally, given $H^2(G,N)$ with $N$ abelian, how can we find a representative cocycle for each element of the cohomology group (=a group extension that is associated with this element)?

Mira Nuata
  • 143
  • 3

1 Answers1

2

Pick a set-theoretic section $s : G \to E$ of $\pi$. It will in general fail to be a group homomorphism, but it is a group homomorphism $\bmod N$, so there are unique elements $c(g, h) \in N$ such that

$$s(gh) = c(g, h) s(g) s(h) \in E.$$

These elements assemble into a $2$-cocycle (in fact I think this is how the connection between extensions and $2$-cocycles was discovered historically), and picking a different section $s$ changes this $2$-cocycle by a $2$-coboundary.

Qiaochu Yuan
  • 419,620
  • Could you answer this: https://math.stackexchange.com/questions/3641374/relating-a-2-cocycle-to-specific-section-of-a-central-extension? –  Apr 24 '20 at 09:49