Group Theory/The symmetric group

The following proposition shows that this notion is well-defined:

In particular, $A_n$ is a maximal normal subgroup in $S_n$ (ie. maximal among the normal subgroups).