Simplicity of alternating groups (source code)

= Simplicity of alternating groups
{c}

The alternating group $A_n$ is simple for every $n\geq5$. In particular it has no proper subgroup of index two, since every index-two subgroup is normal.