tenemos que formula_227 es un homomorfismo de grupos que es, obviamnete, inyectivo.