Results 1 to 4 of 4

Thread: Permutation subgroup

  1. #1
    Super Member
    Joined
    Mar 2006
    Posts
    705
    Thanks
    2

    Permutation subgroup

    Prove the set of even permutation in $\displaystyle S_{n}$ forms a subgroup of $\displaystyle S_{n}$.

    How should I start this?
    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 tttcomrader View Post
    Prove the set of even permutation in $\displaystyle S_{n}$ forms a subgroup of $\displaystyle S_{n}$.

    How should I start this?
    This is referred to an "alternating group" $\displaystyle A_n$.

    How about you start off and I help you if necessary.

    Let $\displaystyle G$ be a group and $\displaystyle H$ a non-trivial subset of $\displaystyle G$. What makes $\displaystyle H$ a subgroup? What conditions must be met?

    Now do the same thing here. Show all of these conditions are satisfied.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Super Member
    Joined
    Mar 2006
    Posts
    705
    Thanks
    2
    Okay, let me think more about this...

    Suppose that $\displaystyle H \subset S_{n}$ with $\displaystyle H= \{ a_{1},a_{2}, ... , a_{n} \}$ with a being permutations that can be expressed as even number of 2-cycles, in other words, H contains all of the even permutations in Sn.

    Now pick $\displaystyle \alpha , \beta \in H$.

    Then $\displaystyle \alpha = (a_{1} a_{2})(a_{3}a_{4})$ and $\displaystyle \beta = (b_{1}b_{2})(b_{3}b_{4})$

    Now, $\displaystyle \alpha \beta $ is in H because it is only another expression of even permutations. (Do I need to justify this? Or do we already know that? I know that by the problems that I have done before)

    Then $\displaystyle \alpha$ is its own inverse, thus satisfied the conditions for H to be a subgroup of Sn.

    Am I doing something right here?

    Thanks.
    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=tttcomrader;69480]
    Am I doing something right here?
    .
    Almost.

    $\displaystyle \alpha$ is even and $\displaystyle \beta$ is even then $\displaystyle \alpha \beta$ is even. You mentioned that but you did not show it. Why is that? Remember you need to show this to show that $\displaystyle H$ is closed.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 2
    Last Post: Mar 2nd 2011, 08:07 PM
  2. characterisitic subgroup implies normal subgroup
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Apr 8th 2010, 03:13 PM
  3. Centralizer of a subgroup is a subgroup of the main group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Mar 1st 2010, 07:16 AM
  4. Replies: 2
    Last Post: Apr 13th 2009, 10:30 AM
  5. Normal subgroup interset Sylow subgroup
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: May 10th 2008, 12:21 AM

Search Tags


/mathhelpforum @mathhelpforum