1 2 3 4
\begin{tikzcd} G \arrow{r}{\varphi} \arrow[two heads]{d} & H \\ \mathlarger{\sfrac{G}{\ker \varphi}} \arrow[dotted]{ru} & \end{tikzcd}