En el primer caso, se trata de un monomorfismo que envía el formula_23 en un elemento de orden 5 en formula_16 .