Sea formula_60 (núcleo del homomorfismo) y formula_61 el supramorfismo canónico.