Ahora bien, el homomorfismo formula_69 que esta acción determina es inyectivo, pues formula_70 si y sólo si formula_71 para todo formula_54, y al elegir formula_73 tenemos que formula_74, por lo que el núcleo de formula_43 es trivial y por tanto formula_43 es un monomorfismo.