Results 1 to 4 of 4

Math Help - Questions Involving Cosets

  1. #1
    Member
    Joined
    Nov 2008
    Posts
    152

    Questions Involving Cosets

    1. Let G = Q8 (quaternion group). Find the right cosets of H in G for:
    a) H = <J>
    b) H = <-I>

    2. Find the right cosets of the subgroup H = <(1,1)> in Z2 x Z4

    3. Let H be a subgroup of a group G and define H congruent on G by letting x congruent to y IFF x^-1y is in H.
    a) Show that H congruent is an equivalence relation on G
    b) Show that the equivalence classes under H congruent are the left cosets of H in G.
    c) Show that for a,b in G, aH = bH iff a^-1b is in H.

    4. Let G = Q8 (quaternion group). Find [G : H] for H = <-I>, H = <K>, and H = <-L>.

    5. a) In G = (Z48, +), find [G : H] for H = <32>.
    (+ is actually addition mod 48, if it was unclear). There are two more parts to this question but if someone could tell me how to do this one, I can follow with the others.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by Janu42 View Post
    1. Let G = Q8 (quaternion group). Find the right cosets of H in G for:
    a) H = <J>
    We have H = \{1,-1,j,-j\} then iH=\{i,-i,k,-k\}.
    Thus, these two sets are the cosets.

    2. Find the right cosets of the subgroup H = <(1,1)> in Z2 x Z4
    First H=\{ (0,0),(1,1),(0,2),(1,3)\} thus (0,1)+H = \{(0,1),(1,2),(0,3),(1,0)\}.
    These are the cosets.

    3. Let H be a subgroup of a group G and define H congruent on G by letting x congruent to y IFF x^-1y is in H.
    a) Show that H congruent is an equivalence relation on G
    b) Show that the equivalence classes under H congruent are the left cosets of H in G.
    c) Show that for a,b in G, aH = bH iff a^-1b is in H.
    Of course, x\equiv x since x^{-1}x = e\in H thus it is reflexsive. It is symmetric because if x\equiv y\implies x^{-1}y\in H but then (x^{-1}y)^{-1}\in H\implies y^{-1}x\in H\implies y\equiv x. Finally, it is transitive because if x\equiv y\text{ and }y\equiv z this means x^{-1}y,y^{-1}z\in H but then (x^{-1}y)(y^{-1}z) = x^{-1}z\in H\implies x\equiv z. This completes the proof that \equiv is an equivalence relation.

    Now we wish to prove [a] = aH where [a] = \{ x\in H | a\equiv x\} and aH = \{ ah|h\in H\}. Remember to show two sets are equal show that any element in [a] is an element in aH and any element in aH is in [a]. If x\in [a] \implies a\equiv x \implies a^{-1}x\in H and so a^{-1}x = h for some h\in H, but then this means x=ah\in aH. The reserve direction is straightforward too.

    Remember that aH = [a]\text{ and }bH = [b] so for [a] = [b] we require that a\equiv b, and so a^{-1}b\in H.

    4. Let G = Q8 (quaternion group). Find [G : H] for H = <-I>, H = <K>, and H = <-L>.

    5. a) In G = (Z48, +), find [G : H] for H = <32>.
    (+ is actually addition mod 48, if it was unclear). There are two more parts to this question but if someone could tell me how to do this one, I can follow with the others.
    Here is a hint for these problems. If G is a finite group then [G:H] = \tfrac{|G|}{|H|}.

    This is Mine 12,2th Post!!!
    Last edited by ThePerfectHacker; March 14th 2009 at 08:52 PM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Nov 2008
    Posts
    152
    Sorry, I don't understand the answer to #1. You put H and then iJ? I'm sorry if I'm missing something here, but I'm confused...
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by Janu42 View Post
    Sorry, I don't understand the answer to #1. You put H and then iJ? I'm sorry if I'm missing something here, but I'm confused...
    Sorry, I meant iH not iJ. It is fixed now.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Two questions involving integration
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: April 12th 2011, 07:12 PM
  2. If and only if proof involving cosets.
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: April 20th 2010, 07:59 AM
  3. Proof involving Cosets
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: November 16th 2009, 08:01 AM
  4. Quick questions on Group Theory - Cosets / Normal Group
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: October 16th 2009, 09:39 AM
  5. A Few Questions Involving Subgroups
    Posted in the Advanced Algebra Forum
    Replies: 10
    Last Post: February 12th 2009, 10:39 PM

Search Tags


/mathhelpforum @mathhelpforum