The Core
Se define el núcleo de f como el conjunto formula_14, es decir, formula_15. El núcleo de cualquier homomorfismo es un ideal (bilátero).