1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
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: Normal subgroups of a product of simple groups

  1. Jul 4, 2015 #1
    1. The problem statement, all variables and given/known data
    Let G = G1 × G2 be the direct product of two simple groups. Prove that every normal subgroup of G is isomorphic to G, G1, G2, or the trivial subgroup.

    3. The attempt at a solution
    I tried proving that the normal subgroups would have to be of the form Normal subgroup X Normal subgroup. However, that's false because, e.g., <(1,1)> is a normal subgroup of the Klein four-group.
     
  2. jcsd
  3. Jul 4, 2015 #2
    Consider the quotients ##(G_1\times G_2)/ G_1## and ##(G_1\times G_2)/ G_2##.
     
  4. Jul 5, 2015 #3
    I tried looking at the 1st isomorphism theorem with φ: (projection onto G1), but I didn't get anywhere. Clearly the quotient groups that micromass gives are homomorphic to the simple groups ... But how would that fact lead to the conclusion that no other subgroups can exist?

    I feel like I could make more progress if I understood the difference that the "simple" requirement makes ...
     
  5. Jul 5, 2015 #4
    So you have an isomorphism ##\varphi: (G_1\times G_2)/(G_1\times \{e\}) \rightarrow G_2##. Take a normal subgroup ##N## of ##G_1\times G_2##. Look at ##\varphi(N)##. Is this normal?
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted