Using the notation in the entry Group Cohomology, a 2-cocycle or factor system is a map $\phi:G\times G\ra M$ such that for all $\alpha,\beta,\gamma\in G$ , we have