Sunteți pe pagina 1din 3

29/4/2020 Homomorfismo - Wikipedia, la enciclopedia libre

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.

Índice
Definición
Ejemplos
Tipos particulares de homomorfismos
Véase también
Referencias
Bibliografía
Enlaces externos

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 ;
https://es.wikipedia.org/wiki/Homomorfismo 1/3
29/4/2020 Homomorfismo - Wikipedia, la enciclopedia libre

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 homomorfismos


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.

Véase también
Morfismo

Referencias

Bibliografía
Knowledgerush (https://web.archive.org/web/20050128234443/http://www.knowledgerush.com/kr/
encyclopedia/Homomorphism/) (en inglés)
Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. A Course in Universal Algebra. (http://w
ww.thoralf.uwaterloo.ca/htdocs/ualg.html) Springer-Verlag. ISBN 3-540-90578-2.

https://es.wikipedia.org/wiki/Homomorfismo 2/3
29/4/2020 Homomorfismo - Wikipedia, la enciclopedia libre

Enlaces externos
Weisstein, Eric W. «Homomorphism» (http://mathworld.wolfram.com/Homomorphism.html).
Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
http://www.encyclopediaofmath.org/index.php/Homomorphism

Obtenido de «https://es.wikipedia.org/w/index.php?title=Homomorfismo&oldid=120646055»

Esta página se editó por última vez el 22 oct 2019 a las 16:17.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

https://es.wikipedia.org/wiki/Homomorfismo 3/3

S-ar putea să vă placă și