Results 1 to 3 of 3
Like Tree2Thanks
  • 1 Post By johng
  • 1 Post By mathguy25

Math Help - (Abstract Algebra) proof of an equivalent relation with subgroups

  1. #1
    Newbie
    Joined
    Mar 2013
    From
    United States
    Posts
    16
    Thanks
    1

    (Abstract Algebra) proof of an equivalent relation with subgroups

    Let G be a group and H,K subgroups of G. If (x,y both belong to G ), define a relation ~ on G by x~y if y=axb for some (a in H) and (b in K). Prove that ~ is an equivalence relation

    I tried to solve the question and this is what I was able to say so far:

    I know to show ~ equivalent relation it has to be reflexive, symmetric, and transitive
    I know for reflexive {for all u in G u~u}
    for symmetric {for all u, v in G whenever u~v then v~u}
    for transitive { for all u, v, w in G whenever u~v and v~w then u~w}. Here I need to start by " Let u~v and v~w for all u, v, w in G and I want to show u~w"
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Dec 2012
    From
    Athens, OH, USA
    Posts
    709
    Thanks
    294

    Re: (Abstract Algebra) proof of an equivalent relation with subgroups

    Hi,
    You are describing the so called double cosets of H and K. Denote by 1 the identity of the group G.
    1. x ~ x : since 1 is in both H and K and x = 1 x 1
    2. if x ~ y then for some a in H , b in K, y=axb. Then a^{-1}\in H\>\text{and}\> b^{-1}\in K,\> x=a^{-1}yb^{-1} So y ~ x.
    3. transitivity - use the fact that both H and K are closed under multiplication. I leave it to you.
    Thanks from mohammedlabeeb
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Apr 2013
    From
    Green Bay
    Posts
    68
    Thanks
    16

    Re: (Abstract Algebra) proof of an equivalent relation with subgroups

    To show that ~ is reflexive, we must show that x ~ x for all x in G. Let x be in G. We need to show that x = axb for some a in H and b in K. Let e be the identity element of G. Since H and K are subgroups of G, we see that e is identity element of both H and K. Thus, e is in H and e is in K. Take a = e and b = e. Then axb = exe = (ex)e = xe = x. Thus, x ~ x and ~ is reflexive.

    To show that ~ is symmetric, we must show that if x ~ y, then y ~ x for all x and y in G. Let x and y be in G. Assume that x ~ y. We know there exists a' in H and b' in K such that y = a'xb'. We need to show that y ~ x i.e. there exists a in H and b in K such that x = ayb. Since a' is in H and H is a subgroup of G, we know that a'^(-1) is in H. Similarly, b'^(-1) is in K. Take a = a'^(-1) and b = b'^(-1). Then note that ayb = a'^(-1)yb'^(-1) = a'^(-1)(a'xb')b'^(-1) = (a'^(-1)a')x(b'b'^(-1)) = exe = xe = x. Thus, y ~ x and so ~ is symmetric.

    To show that ~ is transitive, we must show that if x ~ y and y ~ z, then x ~ z for all x,y,z in G. Let x,y,z be in G. Assume that x ~ y. We know there exists a', a'' in H and b', b'' in K such that y = a'xb' and z = a''yb''. We need to show that x ~ z i.e. there exists a in H and b in K such that z = axb. Note that since a',a'' is in H and H is a subgroup of G, we see that a''a' is in H. Similarly, b'b'' is in K. Take a = a''a' and b = b'b''. Then axb = a''a'xb'b'' = a''(a'xb')b'' = a''yb'' = z. Thus, x ~ z and so ~ is transitive.

    Thus, ~ is an equivalence relation.

    Note that a' and a'' are used as labels to represent distinct elements.
    Thanks from mohammedlabeeb
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. abstract algebra subgroups of finite index
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 2nd 2013, 05:42 PM
  2. abstract algebra: subgroups question
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: March 9th 2013, 02:46 PM
  3. [Abstract Algebra] Anyone care to proof-read a proof?
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: December 4th 2012, 02:13 PM
  4. Abstract Algebra: subgroups and order proof
    Posted in the Advanced Algebra Forum
    Replies: 8
    Last Post: November 10th 2010, 02:38 AM
  5. Abstract Algebra II: Normal Subgroups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: September 7th 2010, 07:35 PM

Search Tags


/mathhelpforum @mathhelpforum