= Solution
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\}}}.
$$
Back to article page