Hm, schwierig. Könnt ihr Abzählbarkeit verwenden? Falls ja, würde ich damit argumentieren, dass R überabzählbar ist und dass deswegen a: R → Z nicht injektiv sein kann. Dann würde ich mir zwei Elemente suchen, wobei ist. Dann ist nämlich , was den Regeln eines Gruppenhomomorphismus entspricht, da hoffentlich nicht das neutrale Element ist. *kratz*

Etwas verzwickt, und ich steig selbst noch nicht so ganz durch. Vielleicht hilfts dir ja aber... ^^'

Edit: Yieks, das TeX-Rendering hier sieht ja grausam aus. Das war auch mal besser...