Em álgebra abstrata um homomorfismo de anéis é uma função entre dois anéis que, de certa forma, preserva as operações binárias de adição e multiplicação.

Em termos mais precisos, se e são anéis então a função é um homomorfismo de anéis se:

Se os anéis tem identidades multiplicativas a seguinte condição costuma ser exigida: