Si formula_1 es un homomorfismo, entonces formula_21 es un epimorfismo, y puesto que formula_8 es inyectivo cuando su núcleo formula_23 es trivial, lo que sucede si y sólo si formula_24,