El núcleo de cualquier homomorfismo es un ideal (bilátero).