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

Prove these groups are not isomorphic

  1. Mar 19, 2007 #1
    1. The problem statement, all variables and given/known data

    Consider the groups G_n= {(a,b) in (C*) * C ; (a,b).(a',b')=( aa', b+(a^n)b' )}
    where n is in N. Show that if n and m are distinct, then the two groups G_n and G_m are not isomorphic.

    Ps. In fact G_n = G/ nZ , where G is the group of pairs (t,s) in C * C with group law (t,s). (t',s')=(t+t',s+(e^t)s')

    3. The attempt at a solution

    Suppose in countrary that for distinct n and m there is an isomorphism from G_n onto G_m ;
    f:G_n ---> G_m by g (nZ)---> g'(mZ) for all g in G.
    This isomorphism authomatically leds to an isomorphism from G onto G given by h:G--->G by g--->g' for all g in G.
    Now, how can I get a contradiction?:confused:
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?