The title is the question. Is $A_n$ characteristic in $S_n$?
If $\phi \in \operatorname{Aut}(S_n)$, Then $[S_n : \phi(A_n)]$ (The index of $\phi(A_n)$) is 2. Maybe the only subgroup of $S_n$ of index 2 is $A_n$?
Thanks in advance.
The title is the question. Is $A_n$ characteristic in $S_n$?
If $\phi \in \operatorname{Aut}(S_n)$, Then $[S_n : \phi(A_n)]$ (The index of $\phi(A_n)$) is 2. Maybe the only subgroup of $S_n$ of index 2 is $A_n$?
Thanks in advance.
Definition: We say that $H \leqslant G$ is a characteristic subgroup of $G$ if every isomorphism fixes $H$. That is, $\phi(H) \subseteq H\;\; \mbox{for every isomorphism}\;\; \phi:G\to G $
Yes, $A_n$ is characteristic in $S_n$.
Proof:
That $A_n$ is a unique subgroup of index $2$ tells us that $A_n$ must be sent to itself by automorphism.
$[S_n,S_n]=A_n$. It is easy to see that commutator subgroup of $G$ is characteristic in $G$. (Hint: Commutator subgroup is generated by commutators; what is the image of a commutator under an automorphism?)
Automorphisms preserve parity of the elements.
Note: The only proper normal subgroup in $S_n$ for $n \geq 5$ is $A_n$. Thus, these groups give examples where every normal subgroup is characteristic.
Let $H$ be a subgroup of $S_n$. Then either $H \subseteq A_n$ or $[H:H\cap A_n]=2$ (that is either $H$ is all even or half-even and half-odd). This fact can be proven by noticing that left multiplication by an odd permutation (if there is one in $H$) sends evens to odds and odds to evens bijectively (so there must be an equal number of both evens and odds if there are any odd elements to begin with).
Therefore, the only subgroup of index $2$ in $S_n$ is $A_n$ [If $H$ is all even and index $2$, it must be all of $A_n$. If $H$ is half-even and half-odd, then $A_n$ has a normal subgroup: $H \cap A_n$ of index 2 in $A_n$, but no such subgroup exists by inspection for $n=1,2,3,4$ and simplicity of $A_n$ for $n \geq 5$]. Thus $A_n$ is characteristic (being the unique subgroup of $S_n$ of order $n!/2$ it must be sent to itself by any automorphism).