Principal crossed homomorphism (source code)

= Principal crossed homomorphism

For $m\in M$, the map $g\mapsto g\cdot m-m$ is a principal crossed <homomorphism>. It is the <group coboundary> of the zero-cochain $m$, so first <group cohomology> is the quotient of crossed <homomorphisms> by principal crossed <homomorphisms>.