Veronderstel dat er een $q\in\mathbb Q$ is die op $a\neq0$ wordt afgebeeld.
Omdat $r=\frac q{|a|+1}$ een gehele functiewaarde moet hebben, zou $a=f(q)=(|a|+1)f(r)$ deelbaar zijn door $|a|+1$, wat onmogelijk is.
Bijgevolg bestaat er geen zo'n homomorfisme.
Oplossing
Veronderstel dat er een $q\in\mathbb Q$ is die op $a\neq0$ wordt afgebeeld.
Omdat $r=\frac q{|a|+1}$ een gehele functiewaarde moet hebben, zou $a=f(q)=(|a|+1)f(r)$ deelbaar zijn door $|a|+1$, wat onmogelijk is.
Bijgevolg bestaat er geen zo'n homomorfisme.