Determine kernel and image of homomorphism

abstract-algebragroup-homomorphismgroup-theory

Let $\phi : \mathbb{Z}_{18} \rightarrow \mathbb{Z}_{12}$ be a homomorphism with $\phi([1]) = [8]$.
What are ker$(\phi)$ and im$(\phi)$?

I am stuck on this problem. The problem that I have is that we are not given the homomorphism explicitly. The kernel is

$$ \text{ker}(\phi) = \{ [a] \in \mathbb{Z}_{18} : \phi([a]) = [0] \}.$$

The image is

$$\text{im}(\phi) = \{ \phi([a]) \in \mathbb{Z}_{12} : [a] \in \mathbb{Z}_{18} \}.$$

Best Answer

Hint: If $\phi([1])=[8]$, then $\phi([2])=[8]+[8]=[4]$, $\phi([3])=[4]+[8]=[0]$, and so on. So, you have enough information to know an explicit description of $\phi$.