Let $N$ be a normal subgroup of $G \times H$, and let $\pi\_1: G \times H \to G$ and $\pi\_2: G \times H \to H$ be the canonical projections. Then $\pi\_1(N)$ is normal in $G$ and $\pi\_2(N)$ is normal in $H$. What else can we say? I know that it is not true, in general, that $N \simeq \pi\_1(N) \times \pi\_2(N)$.


I'm particularly interested in the case where $G$ and $H$ are simple. In that case, $N \simeq \pi\_1(N) \times \pi\_2(N)$ except possibly in the case where $\pi\_1(N) = G$ and $\pi\_2(N) = H$. In that case, what do we know?



What are the normal subgroups of a direct product?
See [Goursat's lemma](http://en.wikipedia.org/wiki/Goursat_lemma).


