Crossed homomorphism (source code)

= Crossed homomorphism
{wiki}

A crossed homomorphism from $G$ to a $G$-module $M$ is a map $f:G\to M$ satisfying
$$
f(gh)=f(g)+g\cdot f(h).
$$
Thus crossed homomorphisms are precisely <one-cocycles>.