Un isomorfismo di anelli è un omomorfismo di anelli f che è biettivo.