Results 1 to 2 of 2
Like Tree1Thanks
  • 1 Post By Deveno

Math Help - Isomorphic

  1. #1
    Newbie
    Joined
    Aug 2012
    From
    Canada
    Posts
    21

    Isomorphic

    Show that any 2 groups with order 2 are isomorphic
    So I guess we can start off with
    Suppose G=(\{e,a\}, \cdot ) and H=({i,b},*) are 2 groups with identity elements e and i
    And Like i am getting stuck here. Not sure how I should proceed
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,401
    Thanks
    762

    Re: Isomorphic

    well, any isomorphism must be a bijection of sets. and isomorphisms must "preserve the operation" that is:

    h(x.y) = h(x)*h(y).

    note that this means:

    h(x) = h(e.x) = h(e)*h(x) for all x in G, so h(e) must be the identity i of H.

    for h to be bijective, h(a) must then be b.

    but now we need to check that for all x,y in G, h(x.y) = h(x)*h(y). fortunately, G is small, so there are only 4 products to check: e.e, e.a, a.e, and a.a.

    note that by the definition of an identity of a group e.a = a.e = a, and e.e = e. what is a.a? there's only two possibilities: a.a = a, or a.a = e.

    i claim a.a cannot possibly be a. for a-1 is one of {e,a}, so if a.a = a then:

    a-1.(a.a) = a-1.a
    (a-1.a).a = e (associativity on the left, definition of inverse on the right)
    e.a = e (definition of inverse on the left)
    a = e (definition of identity on the left).

    but this is a contradiction, a is different than e. thus a.a = e (which shows that a is its own inverse).

    similar reasoning shows i*i = i, i*b = b*i = b, b*b = i. now we can prove h, defined by:

    h(e) = i
    h(a) = b is an isomorphism.

    h(e.e) = h(e) = i = i*i = h(e)*h(e)
    h(a.e) = h(a) = b = b*i = h(a)*h(e)
    h(e.a) = h(a) = b = i*b = h(e)*h(a)
    h(a.a) = h(e) = i = b*b = h(a)*h(a)

    in other words, G and H "act the same" we just "re-named" a to b, e to i, and . to *.
    Thanks from mathrld
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. isomorphic
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: February 14th 2011, 07:14 PM
  2. Isomorphic
    Posted in the Advanced Algebra Forum
    Replies: 10
    Last Post: November 8th 2010, 08:19 PM
  3. S^n\{x} isomorphic to R^n
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: November 21st 2009, 09:32 AM
  4. are them isomorphic?
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: November 5th 2008, 01:15 PM
  5. Isomorphic
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 13th 2008, 09:55 PM

Search Tags


/mathhelpforum @mathhelpforum