I am curious if my logic is correct. I am a little stuck on part 2 and 3.
Let $G$ be a group and $H\unlhd G$. Define $\varphi:G\rightarrow G/H$. Let $K\leqslant G/H$. I have already shown that $\varphi^{-1}(K)\leqslant G$.
My end goal is to show $\ker(\varphi)\unlhd \varphi^{-1}(K)$.
Here is my proof:
- We want to show that $\ker(\varphi)\subseteq \varphi^{-1}(K)$. Let $q\in \ker(\varphi)=\{q\in G|\varphi(q)=1\}$. Notice $\varphi(q)=1\in K$. Thus $ \ker(\varphi)\subseteq \varphi^{-1}(K)$.
- We will show that $\ker(\varphi)\leqslant \varphi^{-1}(K)$. Notice $1\in \ker(\varphi)$, therefore it is nonempty. Let $x,y\in \ker(\varphi)$. Then $\varphi(x)=1$ and $\varphi(y)=1$. Consider \begin{eqnarray} \varphi(xy^{-1})&=&\varphi(x)\varphi(y^{-1})\\ &=& \varphi(y^{-1}) \end{eqnarray} ????????
- We will show that $\ker(\varphi)\unlhd \varphi^{-1}(K)$. Want to show that $\forall r\in \varphi^{-1}(K)$ that $r\ker(\varphi)r^{-1}=\ker(\varphi)$.