Proof: G/H1 is Isomorphic to H2/K for G with Normal Subgroups H1 and H2

[Poirot1]

Let
G be a group with normal subgroups H1 and H2 with H2 not a subset of H1. Let K = H[FONT=CMR8][FONT=CMR8]1 intersect [FONT=CMMI12]H[FONT=CMR8][FONT=CMR8]2[FONT=CMR12].

[FONT=CMR12]
Show that if G/H[FONT=CMR8][FONT=CMR8]1 [FONT=CMR12]is simple, then [FONT=CMMI12]G/H[FONT=CMR8][FONT=CMR8]1 is isomorphic to H2/K.

[FONT=CMR8][FONT=CMR8]
My first thought was to set up a homomorphism with K as the kernel but soon realized that the fact that H2 was not normal is H1 scuppered this tactic. G/H1 being simple implies that H1 is the largest proper normal subgroup but where to go from there?


[FONT=CMR12]

 

[Poirot1]

Just realized that my last sentence is incorrect. G/H1 being simple means there is no normal subgroup A of G which H1 is normal in.

 

[Opalg]

The quotient map $\pi:G\to G/H_1$ maps $H_2$ to a normal subgroup of $G/H_1$. This normal subgroup contains more than just the identity element, so by simplicity it must be the whole of $G/H_1$. Now show that the kernel of the homomorphism $\pi|_{H_2}$ is equal to $K$.

 

[Poirot1]

The quotient map $\pi:G\to G/H_1$ maps $H_2$ to a normal subgroup of $G/H_1$. This normal subgroup contains more than just the identity element, so by simplicity it must be the whole of $G/H_1$. Now show that the kernel of the homomorphism $\pi|_{H_2}$ is equal to $K$.

Ah, my first ideas were correct.