A crossed homomorphism is a map satisfying
For a one-cochain, the formula in part i gives
so the crossed homomorphisms are exactly the one-cocycles. A zero-cochain has coboundary , the principal crossed homomorphism associated with . Therefore