Los grupos sub-y cociente están relacionados de la siguiente manera: un subconjunto h de g puede ser visto como un mapa inyectivo h → G, es decir, cualquier elemento del objetivo tiene en la mayoría de un elemento que se mapas a ella. la contraparte a los mapas de inyectivo son mapas suprayectivo (cada elemento del objetivo se mapeado en), como el mapa canónico g → G / n. Y ['] la interpretación de subgrupo y cocientes a la luz de estos homomorfismos hace hincapié en el concepto estructural inherente a estas definiciones mencionadas en la introducción. En General, los homomorfismos no son ni inyectivo ni suprayectivo. Kernel e imagen del grupo homomorfismos y el primer teorema de isomorfismo aborda este fenómeno.
Qué es un ejemplo de un mapa de suprayectivo?
Mapa Canónico