1
$\begingroup$

I am self-studying Group Theory. I know that $A_{n}$ is a normal subgroup of $S_{n}$, but I've realized that I don't know another one, I mean, another subgroup of $S_{n}$ that is a normal subgroup of $S_{n}$. I would like to know if is known all the normal subgroups of $S_{n}$ and how many nonisomorphics of them there are in $S_{n}$, for all $n\geq 4$.

Thanks for your kindly help.

  • 1
    For $n=4$ there is also $\lbrace1,(12)(34),(13)(24),(14)(23)\rbrace$2012-02-03

1 Answers 1

3

Here are two hints:

  1. If $N\leq A_n$, then show that $N\unlhd A_n$.
  2. But $A_n$ is a simple group, for all $n\geq 5$. (This means that if $M\unlhd A_n$, then $M=1$ or $M=A_n$.)

If you're not there yet, here is one more hint:

  1. If $N\not\leq A_n$, then what is $A_nN$? Show that $A_n\cap N\unlhd A_n$.Use (2) again and determine $|N|$.
  • 0
    This is an unfortunate gap in the [Markdown](http://daringfireball.net/projects/markdown/syntax#list) syntax. The SE sites probably use some standard library for it.2012-02-03