Prove or disprove: $(\mathbb{Q}, +)$ is isomorphic to $(\mathbb{Z} \times \mathbb{Z}, +)$? Prove or disprove: $\mathbb{Q}$ is isomorphic to $\mathbb{Z} \times \mathbb{Z}$. I mean the groups $(\mathbb Q, +)$ and $(\mathbb Z \times \mathbb Z,+).$ Is there an isomorphism?

Yet another way to see the two cannot be isomorphic as additive groups: if $a,b\in\mathbb{Q}$, and neither $a$ nor $b$ are equal to $0$, then $\langle a\rangle\cap\langle b\rangle\neq\{0\}$; that is, any two nontrivial subgroups intersect nontrivially. To see this, write $a=\frac{r}{s}$, $b=\frac{u}{v}$, with $r,s,u,v\in\mathbb{Z}$, $\gcd(r,s)=\gcd(u,v)=1$. Then $(su)a = (rv)b\neq 0$ lies in the intersection, so the intersection is nontrivial.
However, in $\mathbb{Z}\times\mathbb{Z}$, the elements $(1,0)$ and $(0,1)$ are both nontrivial, but $\langle (1,0)\rangle\cap\langle (0,1)\rangle = \{(0,0)\}$.
