Dimostrazione

 

  1. Sappiamo gi che Im(A) un sottogruppo di B.

Inoltre se:

infatti se:

Dunque Im(A) un sottoanello di B ;

 

  1. Siano x un elemento del nucleo di f e a appartenente ad A;

che risulta essere un ideale di A. (c.v.d.)