Does there exist an onto homomorphism from $(\mathbb{Z}_6,+)$ to $(\mathbb{Z}_4,+)$ and why?

Question

We have to determine whether there exists an onto homomorphism from $(\mathbb{Z}_6,+)$ to $(\mathbb{Z}_4,+)$.

To do so, let us consider a homomorphism $\phi:\mathbb{Z}_6\to \mathbb{Z}_4$. Then $\phi(a+b)=\phi(a)+\phi(b), \forall a,b\in \mathbb{Z}_6$. I stuck here. What will be the process to show this?

Added(updated):
Let $a\in \mathbb{Z}_6$ such that $\phi(a)=b$. Then $b\in \mathrm{Im}\,(\phi)$.
Now, $6b=6\phi(a)=\phi(6a)=\phi(0)=0\implies 6b=0\implies 2b=0$. This implies $o(b)\leq 2$. This shows that every element in $\mathrm{Im}\,(\phi)$ has order atmost $2$. Since $\phi$ has to be onto, we must have $\mathrm{Im}\,(\phi)=\mathbb{Z}_4$, which contradicts that $(\mathbb{Z}_4,+)$ is a cyclic group of order $4$. Is my approach correct?

Answer 1

Suppose there was a surjective homomorphism $\phi : \mathbb{Z}_6 \to \mathbb{Z}_4$. Then, by the isomorphism theorem, $\mathbb{Z}_4 \cong \mathbb{Z}_6 / \ker \phi$. By Lagrange's theorem, $|\mathbb{Z}_4| |\ker \phi | = |\mathbb{Z}_6|$. That is, $4 |\ker \phi| = 6$. In other words, $4$ divides $6$, which is absurd.

We conclude that there is no surjective homomorphism $\phi : \mathbb{Z}_6 \to \mathbb{Z}_4$.

I should add that there's a general principle at work here. If $\phi : G \to H$ is a surjective homomorphism, then $|H| \mid |G|$. So, if $|H| \nmid |G|$, then there can be no surjective homomorphism from $G$ to $H$. To prove this, mimic the proof of the particular case above.

Answer 2

Suppose $f:\Bbb Z_6 \to \Bbb Z_4$ be a homomorphism. Let $f(1)=a$. Then order of $f(1)$ divides both $6$ and $4$. Thus order of $f(1)$ is either $1$ or $2$. Thus $a=0$ or $a=2$ are possible. Hence, the number of homomorphism is two. Explicitly, these two are $$f: x \mapsto 0\;\; \text{and}\;\;f: x \mapsto 2x$$

Can you conclude now?