Results 1 to 3 of 3

Math Help - Group Isomorphism question

  1. #1
    Junior Member
    Joined
    Apr 2010
    Posts
    51

    Group Isomorphism question

    Let G=<a, b|a^2=b^2=e, aba=bab>. To what familiar group is G isomorphic
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by wutang View Post
    Let G=<a, b|a^2=b^2=e, aba=bab>. To what familiar group is G isomorphic
    S_3.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Apr 2010
    Posts
    51
    since a^2=b^2=e, then |a|=1 or 2 and |b|= 1 or 2. But since aba=bab, the orders of a and b both have to be 2 because if either had order 1, we would get that a=a^2 or that b=b^2. Since aba= bab, and |b|=2, we get that b^-1(aba)b=a. So then a and aba are conjugates, from this we can partion G. So G= a<aba> union b<aba> union e<aba>. Thus G has at most 6 elements (since |aba|=2). So |G|<= 6. From this, since |S|>=|G| we can show that S3 satisfies the defining relations of G.
    Is my thinking on this right?
    Last edited by wutang; May 23rd 2010 at 09:09 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. First Isomorphism Theorem/quotient group question
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: July 28th 2011, 12:58 PM
  2. Group isomorphism
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: February 14th 2010, 07:14 PM
  3. Replies: 1
    Last Post: October 7th 2009, 10:17 AM
  4. Group isomorphism
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 10th 2009, 12:53 PM
  5. Group Isomorphism
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: August 14th 2007, 06:26 AM

Search Tags


/mathhelpforum @mathhelpforum