I am interested in the following question on products of finite groups. Let $\Gamma$ be a subgroup of $U\_1\times U\_2$ such that the compositions with the canonical projections $\Gamma \subset U\_1\times U\_2 \rightarrow U\_1$ and $\Gamma \subset U\_1\times U\_2 \rightarrow U\_2$ are both surjective.


Does it follow that there is a group $G$ such that $\Gamma$ is isomorphic to the fiber product $U\_1 \times\_G U\_2$? This means that there are surjections $\pi\_1:U\_1\rightarrow G$ and $\pi\_2:U\_2\rightarrow G$ such that $\Gamma$ is the set of pairs $(u\_1,u\_2)$ with $\pi\_1(u\_1)=\pi\_2(u\_2)$.


[Goursat's](http://en.wikipedia.org/wiki/Goursat_lemma) Lemma mentioned [in this question](https://mathoverflow.net/questions/23692/what-are-the-normal-subgroups-of-a-direct-product) proves the statement in the case $\Gamma$ is a normal subgroup of $U\_1\times U\_2$.


If the statement is not true without the normality assumption, then what would be a general characterization of these subgroups $\Gamma$?



Subgroups of direct product of groups 
Goursat's Lemma provides a complete characterization of subgroups of a direct product of two groups as fiber products. In the language I am used to: subgroups correspond to the graphs of isomorphisms between isomorphic sections of the two factors. Some subgroup embedding properties can be read from the embedding of the sections in the factors (for instance being normal in the factors, or being central in the factors), but there are no embedding properties required to use the lemma.


Goursat's lemma appears in Roland Schmidt's Lattice of Subgroups book in chapter 1.6 [(google books)](http://books.google.com/books?id=EuVadOnix5MC&pg=PA34), and as an exercise in several textbooks.


