Let $G$ be a group and $\psi_a:G\rightarrow G,a\in G,\psi_a(g)=aga^{-1}$, I need to show that $\psi_a$ is homomorphism one to one and onto
It's not the same question like
"Is the conjugation map always an isomorphism?"
because here I need to show why $\psi_a$ is one to one and onto
Attempt:
$\psi_a(g_1g_2)=ag_1g_2a^{-1}$
$\psi_a(g_1)\psi_a(g_2)=ag_1a^{-1}ag_2a^{-1}=ag_1g_2a^{-1}$
$ \Rightarrow \psi_a $ is hom'
For one-to-one, suppose $\psi_a(g_1)=\psi_a(g_2).$ Hence $ag_1a^{-1}=ag_2a^{-1}$. Left multiplying each side by by $a^{-1}$ and right multiplying by $a$ yields $g_1=g_2$, hence $\psi_a$ is one-to-one.
For onto, suppose $g \in G$, then $a^{-1}ga \in G$ and $\psi_a(a^{-1}ga)=a(a^{-1}ga)a^{-1}=g$