Dimostrazione

Sappiamo giā che F č un isomorfismo di gruppi abeliani

 

Sappiamo giā che F č un isomorfismo di gruppi abeliani. Basta dunque controllare che F sia un omomorfismo di anelli:

  

F([x][y]) = F([xy]) = f(xy) = f(x)f(y) = F([x])F([y]).                                                             (c.v.d.)