omomorfismo di anelli

Definizione

Siano $(A,+,\cdot )$ e $(B,\oplus ,\odot )$ due anelli. Una funzione $f:A\to B$ si dice omomorfismo di anelli se:

1. $f(a+b)=f(a)\oplus f(b)$
2. $f(a\cdot b)=f(a)\odot f(b)$

I teoremi di omomorfismo si estendono al caso degli anelli osservando che, dato un omomorfismo $f:A\to B$, $\ker f$ è un ideale di $A$.

Risorse