Q:

How is $S_n$ not simple for $n \geq 3$?

I know the only normal subgroups of $S_n, n \geq 3$, are itself and the trivial subgroup. But why is this the case?

A:

This is not true. $A_n$ is normal in $S_n$ for all $n \geq 3$.

