Let $H$ be a proper subdirect product of two quasisimple groups $G_1$ and $G_2$. We know from the definition of quasisimple group that all the normal subgroups of $G_i$ live in $Z(G_i)$, the center of $G_i$. Then applying Goursat's lemma, we know that there exists $Z_i \leq Z(G_i)$, such that $G_1/Z_1 \cong G_2/Z_2$, and $H$ satisfies $\require{AMScd}$ \begin{CD} 1 @>>> & Z_2 @>>> & H @>>> & G_1 @>>> & 1, \end{CD} \begin{CD} 1 @>>> & Z_1 @>>> & H @>>> & G_2 @>>> & 1, \end{CD} and \begin{CD} 1 @>>> & Z_1 \times Z_2 @>>> & H @>>> & G_1/Z_1 \cong G_2/Z_2 @>>> & 1. \end{CD} My question is, since we require $G_1$ and $G_2$ to be quasisimple groups, what can we say about $H$ more than Goursat's lemma? For example, is it true that $H \cong G_1 \times Z_2$ or $H \cong G_2 \times Z_1$? In the special case where there exists a surjective homomorphism $\phi: G_1 \rightarrow G_2$, I could show that $H \cong G_1 \times Z_2$.

Edit on Aug. 16: As pointed out by @DerekHolt, it is not necessarily true that $H \cong G_1 \times Z_2$ or $H \cong G_2 \times Z_1$. Now I wonder whether this weaker version is true: $H \cong G \times Z$, where $G$ is a perfect central extension of both $G_1$ and $G_2$, and $Z$ is a simutaneous subgroup of both $Z_1$ and $Z_2$. Or even weaker: is $[H, H]$ a perfect group?

4more comments