$f$'in nasil odugu onemli degil, sadece $f(ab)=f(a)f(b)$ olmasi yeterli, hakla homomorfizmasi olmasina bile gerek yok. Eger boyle bir $f$ varsa, $1$'in goruntusu $a^2=a$ seklinde olur.
yukarda toplama homomorfizmasi oldugunu hic kullanmadim, sadece carpma homomorfizmasi oldugunu kullandim. demek ki gerek yokmus.