0
$\begingroup$

I must prove that $\frac{\Bbb{Z} \times \Bbb{Z}}{\langle(3,3)\rangle}$ is isomorphic to $\Bbb{Z} \times \Bbb{Z_3}$.

I am trying to do this using the first isomorphism theorem ie. for $\phi: G \to H$ a homomorphism, we have that:

$$\frac{G}{Ker(\phi)} \cong Im(\phi) \subset H$$

However, I just can't seem to be able to find the right homomorphism that will give me the kernel of $\phi$ that I need. If someone can point out what the homomorphism should be, it would help greatly.

Thanks!

Just in case these differ in any way, here are some of the definitions we have:

$\langle(3,3)\rangle$ is the generating set of $(3,3)$

$\Bbb{Z}_3$ is the integers modulo $3$

Product of groups, kernel and image defined as 'normal'.

$\endgroup$
  • 2
    $\begingroup$ How about $(a,b) \mapsto (a-b,a)$? $\endgroup$ – Derek Holt May 12 '16 at 15:28
  • $\begingroup$ Hang on, is the generating set of $(3,3)$ just $(3n,3n)$ for all $n \in \Bbb{Z}$? I thought that originally and then I confused myself and thought it was $(3n,3m)$. It is just $(3n,3n)$, right? I was trying to get a map where the kernel was the set of $(3n, 3m)$ but I think this is impossible while retaining the image that I want. Thanks for your help. $\endgroup$ – Helen Byrne May 12 '16 at 15:36
  • $\begingroup$ $\langle (3,3) \rangle$ denotes the set of all integer multiples of $(3,3)$, which is indeed $(3n,3n)$ for all $n \in {\mathbb Z}$. $\endgroup$ – Derek Holt May 12 '16 at 16:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.