Totally confused what the Kernel is Compute $\ker(\phi)$ for $\phi:\mathbb{Z}\to\mathbb{Z}_7$ such that $\phi(1)=4$
My answer say that
I have no idea what they mean by "4 has order 7 in $\mathbb{Z}_7$"
All I can write is that $\ker(\phi) = \{ m \in \mathbb{Z} : \phi(m) =0\}$ because $0$ is the identity in $\mathbb{Z_7}$ right? But I donn't know what $\phi$ is, so I don't know how to continue. And I have no idea why theya re breaking up the sum inside $\phi$
 A: Well, for sure $\,7\Bbb Z\subset \ker\phi\,$ , right? Because
$$\phi(7k):=7k\phi(1)=28k=0\pmod 7$$
OTOH, 
$$n\in\ker\phi\Longrightarrow 4n=0\pmod 7\Longrightarrow n=0\pmod 7\,\,(\text{since}\,\,(4,7)=1)\Longrightarrow$$
$$\Longrightarrow \ker\phi\subset 7\Bbb Z$$
A: You know that $\varphi$ is a homomorphism, and you know that $\varphi(1)=4$. Therefore
$$\begin{align*}
\varphi(2)&=\varphi(1+1)=\varphi(1)+_7\varphi(1)=4+_74=1\\
\varphi(3)&=\varphi(2+1)=\varphi(2)+_7\varphi(1)=1+_74=5\\
\varphi(4)&=\varphi(3+1)=\varphi(3)+_7\varphi(1)=5+_74=2\\
\varphi(5)&=\varphi(4+1)=\varphi(4)+_7\varphi(1)=2+_74=6\\
\varphi(6)&=\varphi(5+1)=\varphi(5)+_7\varphi(1)=6+_74=3\\
\varphi(7)&=\varphi(6+1)=\varphi(6)+_7\varphi(1)=3+_74=0\;,\text{ and}\\
\varphi(8)&=\varphi(7+1)=\varphi(7)+_7\varphi(1)=0+_74=4\;.
\end{align*}$$
Here I’m using the homomorphism property: $\varphi(m+n)=\varphi(m)+_7\varphi(n)$ for all $m,n\in\Bbb Z$. 
Clearly the values of $\varphi(n)$ will cycle through the pattern $4,1,5,2,6,3,0$ repeatedly. The length of the cycle is $7$, so every seventh value of $\varphi(n)$ will be $0$, starting with $\varphi(7)$; from that it’s not hard to see that
$$\ker\varphi=\{n\in\Bbb Z:\varphi(n)=0\}=\{n\in\Bbb Z:7\mid n\}=7\Bbb Z\;,$$
the set of multiples of $7$.
To say that $4$ has order $7$ in $\Bbb Z_7$ just means that the smallest positive integer $n$ such that
$$\underbrace{4+_7\ldots+_74}_n=0\text{ in }Z_7$$ is $n=7$. We saw this in the chart above: starting with $4$ and repeatedly adding $4$ produced in turn $4,1,5,2,6,3,0$, the cycle that we already noted, and it wasn’t until we’d added together seven $4$’s that we got the additive identity $0$ of $\Bbb Z_7$.
They were using the fact that $\varphi$ is homomorphism when they calculated $\varphi(25)$. First, $25=21+4$, so by the homomorphorphism property $\varphi(25)=\varphi(21)+_7\varphi(4)$. Now $21$ is a multiple of $7$, so $21\in\ker\varphi$, and $\varphi(21)=0$, and therefore $\varphi(25)=0+_7\varphi(4)=\varphi(4)$. Then they split $4$ as $1+1+1+1$ and used the homomorphism property again: 
$$\begin{align*}
\varphi(4)&=\varphi(1)+_7\varphi(1)+_7\varphi(1)+_7\varphi(1)\\
&=4+_74+_74+_74\\
&=(4+_74)+_7(4+_74)\\
&=1+_71\\
&=2\;.
\end{align*}$$
A: Start computing. Because $\phi(1)=4$, it follows that $\phi(2)=\phi(1+1)=4+4=1$. (Remember, we are working in $\mathbb{Z}_7$.) Keep calculating. We get $\phi(3)=\phi(2+1)=1+4=5$, $\phi(4)=2$, $\phi(5)=6$, $\phi(6)=3$, and $\phi(7)=0$. Bingo!
It is now fairly easy to see that $\phi(n)=0$ precisely if $n$ is a multiple, positive or negative, of $7$. For any integer $n$ can be expressed as $n=7q+r$, where $0\le r\le 6$. So now we know the kernel of $\phi$. 
A: "4 has order 7" means that $$4+4+4+4+4+4+4$$ (7 times) is the identity element in $\Bbb Z_7$, and no smaller (non-trivial) sum of fours is.
For any homomorphism $\psi:G\to H$ between groups $G$ and $H$ (for notational simplicity I'm assuming they are abelian, although the exact analogus result holds for non-abelian groups) you have that
$$
\psi(a+_Gb) = \psi(a)+_H\psi(b).
$$
This means that if we know $a$ to be in the kernel of $\psi$, then $\psi(a+_G b) = 0_H +_H\psi(b) = \psi(b)$. It also means that if $G=\Bbb Z$, then $\psi$ is completely determined by the value of $\psi(1)$. In your case, $$\phi(4) = \phi(1+1+1+1) = \phi(1) +_7\phi(1) +_7\phi(1) +_7\phi(1) = 2_7.$$This ability use the homomorphism on each term in turn is the reason they break it up in your answer.
