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).