Dimostrazione

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.)