Is this a surjective homomorphism?

[alligatorman]

I'm trying to prove that if M,N are normal in G and MN = G, then

G/(M\cap N)\cong G/M \times G/N

In an attempt to use the 1st Isom. Thm, I have a homomorphism from G to G/M x G/N :

g \mapsto (gM, gN)

The kernel is M\cap N, so I just have to show that the function is onto to get the isomorphism.

My guess is that (aM, bN) = (abM, abN). I am having a difficult time showing this, or I may be wrong.

Any help?

 

[morphism]

The fact that G=MN=NM is important here. Write a=n₁m₂ and b=m₂n₂ and expand.

 

[alligatorman]

I don't understand how if you have a=n_1 m_2, then you can write b=m_2 n_2, if a and b are arbitrary

 

[morphism]

Sorry, that was an unfortunate typo. It should've been "a=n₁m₁" instead.

 

[alligatorman]

So suppose a=n_1m_1 and b=m_2n_2

Then aM=n_1 M and bN=m_2 N.

Also, abM=n_1m_1m_2n_2M=n_1m_3n_2M=n_1n_2m_4M=n_3M

I've been trying this method for days but I can't connect the two. I must be missing some important fact about cosets and/or normal groups

 

[morphism]

Here's another hint: (n_1 M, m_2 N) = (n_1 M, n_1 N) (m_2 M, m_2 N).