2
$\begingroup$

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

  1. $\phi(e_1) = e_2$, with $e_1$ the identity element of $G_1$ and $e_2$ the identity element of $G_2$,

  2. $\phi(f \cdot_1 g) = \phi(f) \cdot_2 \phi(g)$.

and

$\ker \phi := \{g \in G_1\, |\,\phi(g) = e_2\}$.

$\endgroup$
12
  • $\begingroup$ You're considering the wrong operations: $\mathbf R$ and $\mathbf R^2$ are not groups for mulrtplication. $\endgroup$
    – Bernard
    Commented Dec 14, 2015 at 1:02
  • 1
    $\begingroup$ The $\cdot_1$ does not stand for multiplikation but for the action used on the group in this case the usual addition. $\endgroup$
    – Sofie
    Commented Dec 14, 2015 at 1:04
  • 1
    $\begingroup$ @Sofie: If the group operation is addition, then $e_2=0$, not $1$. (HINT: Think what axiom the identity element satisfies . . .) $\endgroup$ Commented Dec 14, 2015 at 1:05
  • 2
    $\begingroup$ Because $\mathbb{R}$ is an additive group, it's usual to use $0$ as the symbol for its identity element @Sofie. I recommend changing it to help others understand your question more easily. $\endgroup$ Commented Dec 14, 2015 at 1:06
  • 1
    $\begingroup$ Hint: look for homomorphisms of the form $\phi(a,b)=a*M+b*N$ for suitable real numbers $M,N$. (Check that those are all homomorphisms!). Now you just need to find $M,N$ such that this vanishes on $H$. $\endgroup$
    – lulu
    Commented Dec 14, 2015 at 1:08

1 Answer 1

6
$\begingroup$

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$

$\endgroup$
1
  • $\begingroup$ This is even simpler, thank you! $\endgroup$
    – Sofie
    Commented Dec 14, 2015 at 1:32

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .