El núcleo de este homomorfismo es formula_18, y es un epimorfismo si y sólo si formula_4 lo es.