Una aplicación entre estructuras algebraicas que preserva las operaciones y relaciones especificadas por esas estructuras (p. ej., f(ab)=f(a)f(b) para homomorfismos de grupos).

Principio

Un homomorfismo respeta las operaciones definitorias de una estructura de modo que las identidades y relaciones algebraicas en la fuente se mapean a identidades válidas en el destino.

Demostración

Homomorfismo de grupos: φ: G → H con φ(ab)=φ(a)φ(b); ker(φ) es un subgrupo normal e im(φ) es un subgrupo de H. Un homomorfismo de anillos preserva suma, producto y, cuando corresponde, la unidad multiplicativa.

Aplicación incorrecta

Asumir sin prueba que un homomorfismo es inyectivo o suprayectivo; asumir que preserva estructuras auxiliares no especificadas (p. ej., topología u orden) o que los núcleos siempre se descomponen.

Consecuencia

Núcleos e imágenes producen subestructuras y permiten formar cocientes; los homomorfismos organizan objetos en secuencias exactas y permiten transferir información algebraica.

Inversión

Una función arbitraria que ignora las operaciones no es un homomorfismo; una biyección que no preserva las operaciones tampoco lo es.

Límite

Depende de las operaciones y relaciones especificadas; lo que debe preservarse debe explicitarse (grupos vs anillos vs módulos). En lenguaje categórico, un homomorfismo es un tipo particular de morfismo definido por la categoría algebraica.

Tensión semántica

'Preservación de la estructura' es un término amplio — homomorfismo subraya la preservación de operaciones algebraicas, mientras que isomorfismo exige invertibilidad; confusión frecuente entre homomorfismo y inmersión (inyectividad).

Síntesis

Un homomorfismo es la flecha que transmite la estructura algebraica de un objeto a otro convirtiendo las operaciones y relaciones de la fuente en operaciones y relaciones válidas del destino.