Romyar Sharifi's Lecture Notes
It's from the first differential formula appearing on page 7 and that formula is:
$$ d^i : C^i(G, A) \to C^{i+1}(G, A), \\ d^i(f)(g_0, \dots, g_i) = g_0 f(g_1, \dots, g_i) + \sum\limits_{j=1}^i (-1)^j f(g_0, \dots, g_{j-2}, g_{j-1}g_j, g_{j+1}, \dots, g_i) + \\ (-1)^{i+1} f(g_1, \dots, g_i) $$
where $A$ is a $\Bbb{Z}[G]$-module, $G$ is a group, and $C^i(G, A) = \{ f: G^i \to A \vert f \text{ is a } \textbf{function} \}$.
Two questions come to mind in proving that $d^{i+1} \circ d^i = 0$ (i.e. $d$ is indeed a differential of a cochain complex).
- Does the author really mean "function", i.e. any set map even if it's not a group homomorphism?
- Given the formula, what is $d^0(f)(g_0)$?
I am not sure about the first, but for the second my guess is:
$$ d^0(f)(g_0) = g_0 $$
Is that correct?
Note $G^i = G \times \dots \times G \ (i \text{ times})$.