A <crossed homomorphism> is a map $\phi:G\to M$ satisfying
$$
\phi(gh)=\phi(g)+g\phi(h).
$$
For a one-cochain, the formula in part i gives
$$
(d\phi)(g,h)=g\phi(h)-\phi(gh)+\phi(g),
$$
so the crossed homomorphisms are exactly the <one-cocycles>. A zero-cochain $m\in M$ has coboundary $g\mapsto gm-m$, the <principal crossed homomorphism> associated with $m$. Therefore
$$
\boxed{H^1(G,M)=\frac{\{\text{crossed homomorphisms }G\to M\}}
{\{g\mapsto gm-m:m\in M\}}}.
$$

Solution

Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 151 / 4 / a / ii / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-151/4/a/ii/solution