Veamos ahora que g es un homomorfismo.