I have a group $G:=\mathbb{R}^2 = \{(a,b)|a,b \in \mathbb{R}\}$ where $(a,b)+(c,d) =(a+c,b+d)$ and a subgroup $H: = \{(a,a)|a,a \in \mathbb{R}\}$.
I now have to find a group homomorphism $\phi : \mathbb R^2 \to \mathbb R$, such that $\ker \phi = H$. Where the group operation on $\mathbb{R}$ is the usual addition.
I know that I have to finde something that satisfies the following:
Let $(G_1, \cdot_1)$ and $(G_2, \cdot_2)$ be two groups. A function $\phi : G_1 \to G_2$ is called a group homomorphism, if it satisfies
$\phi(e_1) = e_2$, with $e_1$ the identity element of $G_1$ and $e_2$ the identity element of $G_2$,
$\phi(f \cdot_1 g) = \phi(f) \cdot_2 \phi(g)$.
and
$\ker \phi := \{g \in G_1\, |\,\phi(g) = e_2\}$.
Consider $\phi:\mathbb{R}^2\to\mathbb{R}$ defined by $\phi(a,b)=a-b$. Then $\phi(0,0)=0-0=0$ and $$\phi((a,b)+(c,d))=\phi(a+c,b+d)=(a+c)-(b+d)=(a-b)+(c-d)=\phi(a,b)+\phi(c,d)$$
Furthermore, $ker(\phi)=\{(a,b): \phi(a,b)=0\}=\{(a,b): a-b=0\}=\{(a,b): a=b\}=H$