x
1

Homomorfismos



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.

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 .

Por lo tanto, si son grupos, según la definición una función es un homomorfismo de grupos si:

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.

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.

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 .



Escribe un comentario o lo que quieras sobre Homomorfismos (directo, no tienes que registrarte)


Comentarios
(de más nuevos a más antiguos)


Aún no hay comentarios, ¡deja el primero!