Ringhomomorfisme: verschil tussen versies

In de [[ringtheorie]], een deelgebied van de [[abstracte algebra]], een onderdeeldeelgebied van de [[wiskunde]], is een '''ringhomomorfisme''' een [[functie (wiskunde)|functie]] tussen [[2 (getal)|twee]] [[ring (wiskunde)|ring]]en, die de [[operatie (wiskunde)|operatie]]s van optellen en vermenigvuldigen respecteert.

Als men niet vereist dat ringen een [[1 (getal)|multiplicatieve identiteit]] hebben dan kan de laatste voorwaarde natuurlijk vervallen.

De [[functiecompositie|compositie]] van twee ringhomomorfismen is zelf ook een ringhomomorfisme. Hieruit volgt dat de [[klasse (verzamelingenleer)|klasse]] van alle ringen een [[categorie (wiskunde)|categorie]] vormt met ringhomomorfismen als de [[morfisme]]n (zie het artikel over de "[[categorie van ringen"]]).