Homomorfismo

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).

Un homomorfismo es una aplicación entre estructuras algebraicas de la misma firma que preserva las operaciones y relaciones definitorias (por ejemplo, un homomorfismo de grupos preserva la multiplicación; una aplicación lineal preserva la suma y la multiplicación por escalares).

Una aplicación que preserva la estructura entre dos objetos algebraicos (por ejemplo grupos, anillos, módulos o espacios vectoriales) y que conmuta con las operaciones definitorias: para una operación •, f(x •_A y) = f(x) •_B f(y).