Siano A e B due anelli . Un omomorfismo di anelli da A a B è una funzione

                                                

che soddisfa le seguenti proprietà:

1.         f è un omomorfismo di gruppi abeliani, cioè: