Nullfunktion erfüllt offenbar die Eigenschaften.
Angenommen f ist eine solche Abbildung
f(1)=f(1*1)=1*f(1)+f(1)*1=2*f(1) => f(1) = 0
f(0)=f(0+0)=f(0)+f(0)=2*f(0)=> f(0)= 0
f(1) = f((-1)*(-1)) = (-1)*f(-1) +f(-1)*(-1)= -2*f(-1)=> f(-1) = 0
Daraus folgt bereits, dass f konstant 0 sein muss. (?)
D.h. es gibt nur eine solche Abbildung: die Nullfunktion.