Una función f: G → H entre grupos que preserva la operación de grupo: para todos a,b en G, f(ab) = f(a)f(b); los homomorfismos envían la identidad a la identidad y los inversos a inversos, y sus núcleos e imágenes son invariantes centrales.

Principio

Los mapas que preservan la estructura trasladan información grupal entre contextos; la condición de homomorfismo asegura compatibilidad con la multiplicación para que las relaciones algebraicas se respeten en la imagen.

Demostración

La aplicación determinante det: GL_n(R) → R^× es un homomorfismo porque det(AB) = det(A)det(B); su núcleo consiste en matrices de determinante 1 y su imagen es el subgrupo multiplicativo de las unidades.

Aplicación incorrecta

Tratar cualquier función entre los conjuntos subyacentes como homomorfismo sin verificar la preservación de la multiplicación; componer funciones no homomorfas puede destruir la estructura algebraica y llevar a identificar erróneamente núcleos o imágenes.

Consecuencia

Los homomorfismos permiten cocientar por núcleos, factorizar a través de imágenes, clasificar grupos mediante imágenes isomorfas y transferir propiedades (como solubilidad) a lo largo de mapas adecuados.

Inversión

Un mapa no homomorfo no respeta las relaciones de grupo y por tanto no puede usarse para producir cocientes o núcleos válidos; no puede invertirse ni factorizarse en el sentido categórico sin estructura adicional.

Límite

Definido para mapas entre grupos con operaciones especificadas; las aplicaciones lineales entre grupos aditivos son homomorfismos pero hay que comprobar la compatibilidad coordenada, y los homomorfismos biyectivos son isomorfismos mientras que los no biyectivos se factoran a través de sus imágenes.

Tensión semántica

Se confunde con homomorfismos en otras categorías algebraicas (anillos, módulos) en las que se requieren condiciones adicionales de compatibilidad; el homomorfismo de grupos es la condición mínima de compatibilidad multiplicativa distinta de homomorfismos de anillos o módulos.

Síntesis

Un homomorfismo de grupos es un mapa que transporta la ley de multiplicación de un grupo a otro, identificando núcleos e imágenes que organizan grupos en cocientes e imágenes homomorfas y que actúa como morfismo en la categoría de grupos.