Sia f un omomorfismo di anelli da A a B; il nucleo di f,

indicato con Ker(f), è definito nel modo seguente:

Ker(f) = {a di A/ f(a) = 0, dove 0 è l’elemento neutro di B}.