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: Isomorphism Problem

  1. Oct 24, 2013 #1
    Im asked to show that, given the groups [itex]H, G_1[/itex], and [itex]G_2[/itex] in which [itex]G_1 \cong G_2[/itex], that [tex]H\times{G_1} \cong H\times{G_2}[/tex]

    Because of the isomorphism between [itex]G_1[/itex] and [itex]G_2[/itex], their cardinalities (order) are equal, which i think will be of good use when considering their Cartesian product with [itex]H[/itex]. So conceptually, it seems intuitive to believe that, almost vacuously, [tex]|H\times{G_1}| = |H\times{G_2}|[/tex] But I'm not sure how to explicitly show this. Since [itex]G_1 \cong{G_2}[/itex], there exists an isomorphism between the two such that: [tex]f: G_1 \rightarrow G_2[/tex] and that it is necessary to find an [itex]F[/itex] such that [tex]F: H\times{G_1} \rightarrow H \times G_2[/tex] Also, [itex]f(a) = b \forall a \in G_1, b \in G_2[/itex]. I think these are some pieces to the puzzle, but how to stitch them together?
  2. jcsd
  3. Oct 24, 2013 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    It is true that |HxG1| = |HxG2| and you should be able to prove it very easily, but it's not of much help in showing the groups are isomorphic. Remember, an element of HxG1 looks like (h,g) with h in H and g in G1. So F(h,g) = (h',g') where h' is in H and g' is in G2 is going to be the function you're interested in... can you think of what F should look like? There aren't too many choices about how you can pick h' and g'.
  4. Oct 24, 2013 #3
    Do you mean that since every element of [itex]H \times G_1[/itex] is unique and that every element of [itex]H \times G_2[/itex] can be defined as [tex](c, f(a)) = (c, b), \forall c \in H, a \in G_1, b \in G_2[/tex] such that it is also unique, we have [tex] F: (c, a) \rightarrow (c, f(a)) = (c, b)[/tex] And thus, there is a one-to-one correspondence?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted