Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: 3rd Isomorphism Theory

  1. Apr 21, 2006 #1

    " Prove (Third Isomorphism THeorem) If M and N are normal subgroups of G and N < or = to M, that (G/N)/(M/N) is isomorphic to G/M."

    Work done so far:

    Using simply definitions I have simplified (G/N)/(M/N) to (GM/N). Now using the first Isomorphism theorem I want to show that a homomorphism Phi from GM to G/M exists. Such that the Kernal of Phi is N.

    I constructed phi such that GM -> G/M
    where it sends all x |----> xN.

    My problem is as follows: How do I know xN is actually in the set G/M. It may just be that I'm going about the proof in a way that is very complicated then it should be. Any help would be greatly appreciated.
  2. jcsd
  3. Apr 21, 2006 #2
    Alright I've been looking at some online proofs and I can see were I went wrong. I should have constructed a phi from G/N to G/M.

    My only question is how to show that phi from a gN to a gM is onto G/M. I was looking at the proofs online and they didnt seem to make any sense on this part.
  4. Apr 21, 2006 #3

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    The map is I presume the on induced by sending g to [g] its coset in G/M. This is surjective. N is in the kernel so it factors as G-->G/N-->G/M. And the second map must also be surjective.

    THinking more concretely, each and every coset of M is a union of cosets of N, so your map from G/N to G/M just identifies these cosets of N.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook