Inner automorphisms of an alternating group
Let
- Prove that the function
, taking to , is a surjective homomorphism. - Prove that
is isomorphic to .
View code
Let $A_5$ denote the alternating group on a $5$-element set $\{1,2,3,4,5\}$. The set of automorphisms of $A_5$ form a group, denoted $\operatorname{Aut}(A_5)$. The group of {\bfseries conjugations} of $A_5$, denoted $\operatorname{Conj}(A_5)$, is the subgroup of $\operatorname{Aut}(A_5)$ consisting of automorphisms of the form $\gamma_s:=s(-)s^{-1}$ where $s\in A_5$. Explicitly, $\gamma_s(x)=sxs^{-1}$ for any $x\in A_5$.
\begin{enumerate}[label=\alph*)]
\item Prove that the function $\gamma:A_5\to \operatorname{Conj}(A_5)$, taking $s\in A_5$ to $\gamma_s$, is a surjective homomorphism.
\item Prove that $A_5$ is isomorphic to $\operatorname{Conj}(A_5)$.
\end{enumerate}