Suppose I have groups $A,B$ and $C$ for which the following information is given:


1) The group $G\_{AB}$ is a central extension of $B$ by $A$, where the abelian group $B$ acts trivially


2) The group $G\_{BC}$ is an extension of $C$ by $B$, where $C$ does *not* act trivially, and the action is given by $\theta: C \rightarrow Aut(B)$. 


Then, under what conditions can we make the following statement?


There exists a group $G\_{ABC}$ which is an extension of $G\_{BC}$ by $A$ as well as an extension of $C$ by $G\_{AB}$, where the respective actions are induced by the actions given in (1) and (2).


In other words, the following diagram needs to be filled in by groups such that every row and column is a group extension (thanks to Neil Strickland for making this precise):
$\require{AMScd}$
\begin{CD}
 A @>>> G\_{AB} @>>> B \\
 @| @VVV @VVV \\
 A @>>> G\_{ABC} @>>> G\_{BC} \\
 & @VVV @VVV \\
 && C @= C
\end{CD}


Furthermore, when is $G\_{ABC}$ unique?



When is a sequence of group extensions associative?
This situation was studied by Eilenberg and MacLane in a series of papers in the 1940s. They studied exact sequences
$$1 \to A \to G\_{AB} \stackrel{\alpha}{\to} G\_{BC} \stackrel{\beta}{\to} C \to 1$$
in which $A$ maps into the centre of $G\_{AB}$, where we are given an action of $G\_{BC}$ on $G\_{AB}$ that restricts to the conjugation action on $B = {\rm Im}(\alpha)=\ker(\beta)$. So we get an induced action of $C$ on $A$. This is called a *crossed sequence*.


In S. Eilenberg and S. MacLane, Cohomology theory in abstract groups II, Ann. of Math. 48 (1947), 326-421 (for example), an equivalence relation is defined on such sequences, and it is shown that the equivalence classes correspond to elements of $H^3(C,A)$. Furthermore, the sequence is derived from an extension $G\_{ABC}$ if and only if it corresponds to the zero element of $H^3(G,A)$. In that case, the equivalence classes of extensions $G\_{ABC}$ are in one-one correspondence with $H^2(C,A)$. This is proved in Theorem 11.1 of that paper.


