Een afbeelding f:R-R' tussen ringen heet een ringhomomorfisme als het een homomorfisme is van additieve groepen en bovendien voldoet aan
1.f(1_R)=1_R'; 2.f(xy)=f(x)f(y) voor x en y in R.
Ik wil aan de hand van een voorbeeld laten zien dat, anders dan voor groepen, eis 1. hier geen gevolg is van eis 2., maar het lukt mij niet om een voorbeeld te vinden.