Homomorfismo

En matemáticas, un homomorfismo (o a veces simplemente morfismo) desde un objeto

matemático a otro con la misma estructura algebraica, es una función que preserva las
operaciones definidas en dichos objetos.

Definición
Sean y dos sistemas algebraicos del
mismo tipo, donde son conjuntos y son las operaciones
algebraicas definidas en dichos conjuntos.

Una función es un homomorfismo si verifica:

para cada i=1,...,k
y .

Ejemplos
 Los grupos son conjuntos que tienen definida una operación con neutro y en que cada
elemento tiene inverso.

Por lo tanto, si son grupos, según la definición una

función es un homomorfismo de grupos si:

1. para todo par de elementos ;

2. , siendo los neutros de y ;

3. para todo .
Puede probarse que si una función cumple la primera condición entonces cumple las otras
dos, de ahí que en la definición clásica de homomorfismo de grupos no se pidan las otras
condiciones.

 Un -espacio vectorial (donde es un cuerpo) es un conjunto que tiene definida una

suma entre elementos del grupo y un producto de escalares por elementos del conjunto; la
suma tiene un neutro y cada elemento tiene opuesto. Por lo tanto, utilizando la definición,
para que una función entre dos espacios vectoriales sea un
homomorfismo debe verificar:

1. , para todo ;
2. , para todo y todo ;
3. ;
4. para todo .
Las transformaciones lineales son exactamente las funciones que cumplen esto (las
condiciones 3 y 4 se deducen de 1 y 2). Por lo tanto, los homomorfismos de espacios
vectoriales son las transformaciones lineales.
 Si y son dos anillos entonces una función es
un homomorfismo de anillos si se cumplen las siguientes dos condiciones:

1. , cualesquiera que sean ;

2. , cualesquiera que sean ;
3. ;
4. para todo .
Las condiciones 3 y 4 se deducen de la primera, de ahí que en la definición clásica no se
pidan.

En el caso de anillos con unidad, también se exige .

 Si y son dos R-módulos (donde R es un anillo dado) entonces una

función es un homomorfismo de R-módulos si cumple las siguientes
dos condiciones:

1. , cualesquiera que sean ;

2. , cualesquiera que sean .

Tipos particulares de homomorfismo

 Un homomorfismo exhaustivo se llama epimorfismo.
 Un homomorfismo inyectivo se llama monomorfismo.
 Un homomorfismo biyectivo cuya inversa es también un homomorfismo se
llama isomorfismo. Dos objetos se dicen isomorfos si existe un isomorfismo de uno en el
otro. En general, pensamos a dos objetos isomorfos como indistinguibles por lo que a la
estructura en cuestión se refiere.
 Un homomorfismo de un conjunto a sí mismo se llama endomorfismo. Si es además un
isomorfismo se llama automorfismo.