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!

I'm having a hard time determining what this factor group looks like

  1. Dec 8, 2011 #1
    exercise1.jpg

    Ok, so to form the factor groups, lets say G(+)H/J, you take every element of G(+)H and left multiply by elements of J. Well elements of G(+)H look like (g, h) and elements of J look like (g, e_2).....so elements of the factor group look like (g_i, h_i)(g_n, e_2) = (g_i*g_n, h_i)

    Am I completely off base, or am I on the right track?
     
  2. jcsd
  3. Dec 8, 2011 #2

    Deveno

    User Avatar
    Science Advisor

    well, no.

    here is what an element of G⊕H/J looks like:

    (g,h)J.

    every element of the coset (g,h)J looks like this:

    (gg',he2) = (gg',h).

    in other words, every element of (g,h)J has the same second coordinate, h.

    so (g,h) is in (g',h')J if and only if h = h'.

    so G⊕H/J = {J,(g,h1)J,(g,h2)J,....}

    where the hi are distinct elements of H.

    use this to prove that (g,h)J → h is an isomorphism.

    step 1: prove that it doesn't matter which "g" we pick (that this map is well-defined).
    step 2: prove this is a homomorphism.
    step 3: prove it is bijective (injective and surjective).


    another way to look at this is: J = G⊕{e}. so what you are really doing is showing that:

    G⊕H/G⊕{e} ≅ H.

    consider the mapping p:G⊕H→H given by p(g,h) = h. IF this is a surjective homomorphism, what can you say about G/ker(p)?
     
    Last edited: Dec 8, 2011
  4. Dec 8, 2011 #3

    First, thank you very much for the well thought out helpful response.

    The above part confuses me. I feel as if [itex]G⊕H/J = \{(g, h)J \text{ }|\text{ } g \in G, h \in H\}[/itex]

    Why did you fix what g value?
     
  5. Dec 8, 2011 #4

    Deveno

    User Avatar
    Science Advisor

    for convenience.

    that is, suppose we have (g,h) and (g',h) in G⊕H (same h).

    then (g,h)(g',h)-1 = (g,h)(g'-1,h-1) = (gg',e2), which is in J.

    so two pairs (g,h), (g',h) give rise to the same coset of J.

    so if we want DIFFERENT (distinct) cosets, we have to pick "different" h's.

    and as long as the h's are the same, we get the same coset, so we may as well just pick one element of G, g, to represent each coset (g,h)J.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: I'm having a hard time determining what this factor group looks like
Loading...