Results 1 to 2 of 2

Math Help - Conjugacy class and normal abelian subgroup

  1. #1
    Junior Member
    Joined
    Oct 2009
    Posts
    56

    Conjugacy class and normal abelian subgroup

    Consider the group S₄.
    a)Prove that {(1,2)(3,4), (1,3)(2,4), (1,4)(2,3)}is an S₄ - conjugacy class.
    b)Let V:={(1), (1,2)(3,4), (1,3)(2,4), (1,4)(2,3)}. Prove that V is a normal abelian subgroup of S₄ isomorphic to the Klein 4-subroup V₄
    c)Let H= {(1), (1, 2, 3), (1, 3, 2)}. Prove: VH is a normal subgroup of S₄ of cardinality 12, which is the union of three S₄ - conjugacy classes
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176
    Quote Originally Posted by apple2009 View Post
    Consider the group S₄.
    a)Prove that {(1,2)(3,4), (1,3)(2,4), (1,4)(2,3)}is an S₄ - conjugacy class.
    b)Let V:={(1), (1,2)(3,4), (1,3)(2,4), (1,4)(2,3)}. Prove that V is a normal abelian subgroup of S₄ isomorphic to the Klein 4-subroup V₄
    c)Let H= {(1), (1, 2, 3), (1, 3, 2)}. Prove: VH is a normal subgroup of S₄ of cardinality 12, which is the union of three S₄ - conjugacy classes
    For (a), what have you done already? Do you know what it means for a set of elements to form a conjugacy class?

    For (b), you need to prove that these elements form a subgroup (as you will get normality for free because they are closed under conjugation). To prove that it is isomorphic to the Klien 4-group, you just need to show that it is not cyclic (there are only 2 groups of order 4, and if it is not one it must then be the other).

    For (c) you need to calculate the set VH=/{vh: v \in V, h \in H/}. This is a group because V \lhd S_4:

    v_1h_1v_2h_2=v_1h_1v_2h_1^{-1}h_1h_2=v_1v_2'h_1h_2 \in VH.

    Now, as you have calculated the set you know it has order 12, and that it contains at least two conjugacy classes (the identity, and the one in part (a)). The third will just be the rest of the group. You should prove this is a conjugacy class.

    Now, neatly, you have that your group is also normal as it is a union of conjugacy classes so it MUST be normal.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. conjugacy class
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: January 27th 2011, 06:38 AM
  2. conjugacy class
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 1st 2010, 07:09 PM
  3. Conjugacy class
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: October 19th 2009, 07:44 PM
  4. conjugacy class and class equation
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 1st 2009, 06:52 PM
  5. conjugacy class
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: November 2nd 2008, 09:55 AM

Search Tags


/mathhelpforum @mathhelpforum