Homomorphism from $(\Bbb Q,+)$ to a finite group 
Prove that if $f$ is a homomorphism from $(\Bbb Q,+)$ to a finite group $G$ then $f(q)=e_G$ for all $q$ in $\Bbb Q$. 

I attempted the following:
Firsty I reason that $f(1)$ generates the entire image, because $f(p/q)=p/qf(1)$. But since $f[\Bbb Q]$ is an infinite subgroup of $G$ and $G$ itself is finite we are forced to let $f(1)=e_G$.
Is this ok?

$(\Bbb Q, +)$ is what is called a divisible group (or an injective object if you know some abstract nonsense) it has the property that for each ${p\over q}\in (\Bbb Q, +)$ there is ${p'\over q'}$ such that $n\left({p'\over q'}\right) = {p\over q}$ here $n$ indicates to do the group operation $n$ times. You can see this is true, since ${p\over nq}$ is such an element. Now, if $q\in\Bbb Q$ maps to $g\in G$, then let $n = |G|$. Since $f$ is a homomorphism, it maps $q/n$ to something and so maps $q\mapsto f(q/n)^n$. But then, by Lagrange's theorem, every element in $G$ has order dividing $|G|=n$, hence $f(q) = f(q/n)^n=e_G$ always.
