Homomorfismo

En matemticas, un homomorfismo (o a veces simplemente morfismo) desde un objeto

matemtico a otro con la misma estructura algebraica, es una funcin que preserva las
operaciones definidas en dichos objetos.

Definicin
Sean
y
mismo tipo, donde
son conjuntos y
algebraicas definidas en dichos conjuntos.
Una funcin

dos sistemas algebraicos del

son las operaciones

es un homomorfismo si verifica:
para cada i=1,...,k

Ejemplos

Los grupos son conjuntos que tienen definida una operacin con neutro y en que cada
elemento tiene inverso.

Por lo tanto, si
son grupos, segn la definicin una funcin
es un homomorfismo de grupos si:
1.
2.

para todo par de elementos

, siendo

3.

los neutros de

para todo

Puede probarse que si una funcin cumple la primera condicin entonces cumple las otras
dos, de ah que en la definicin clsica 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
definicin, para que una funcin
homomorfismo debe verificar:
1.

espacios vectoriales sea un

, para todo

2.
3.

entre dos

, para todo
;

y todo

;
;

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 funcin
un homomorfismo de anillos si se cumplen las siguientes dos condiciones:
1.

, cualesquiera que sean

2.

, cualesquiera que sean

3.

es

4.

para todo

Las condiciones 3 y 4 se deducen de la primera, de ah que en la definicin clsica no se

pidan.
En el caso de anillos con unidad, tambin se exige

Si

son dos R-mdulos (donde R es un anillo dado) entonces una

funcin
dos condiciones:
1.
2.

es un homomorfismo de R-mdulos si cumple las siguientes

, cualesquiera que sean

, 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 tambin 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 cuestin se refiere.

Un homomorfismo de un conjunto a s mismo se llama endomorfismo. Si es adems

un isomorfismo se llama automorfismo.