Skip to main content
1 of 2

This has been worked out by Conduché in Modules croisés généralisés de longueur 2 (JPAA 34 (1984), 155-178), using simplicial group methods.

While it more or less boils down to the stuff described in the answer by Qiaochu, Conduché also describes a nice (2? 3?)-category holding the same information. Its objects are complexes$$G_2\xrightarrow{\partial}G_1\xrightarrow{\partial}G_0$$of $G_0$-groups (composite trivial, $G_0$ acting on itself by conjugation) together with the s. c. Peiffer bracket $\{,\}:G_1\times G_1\to G_2$ satisfying the elaborate but appealing identities $$ \begin{aligned} {}^{x_0}\{x_1,y_1\}&=\{{}^{x_0}x_1,{}^{x_0}y_1\}\\ \{\partial x_2,\partial y_2\}&=[x_2,y_2]\\ \partial\{x_1,y_1\}&=x_1y_1x_1^{-1}\left({}^{\partial x_1}y_1\right)^{-1}\\ \{\partial x_2,x_1\}\{x_1,\partial x_2\}&=x_2\left({}^{\partial x_1}x_2\right)^{-1}\\ \{x_1y_1,z_1\}&=\{x_1,y_1z_1y_1^{-1}\}\ \ {}^{\partial x_1}\{y_1,z_1\}\\ \{x_1,y_1z_1\}&=\{x_1,y_1\}\{x_1,z_1\}\{\partial\{x_1,z_1\}^{-1},{}^{\partial x_1}y_1\}. \end{aligned} $$ Since both $G_2$ and $G_1$ are nonabelian, it is clear that there will be lots of equivalent nonisomorphic objects, but still this description has its advantages.