Homomorfismo


Homomorfismo
No debe confundirse con homeomorfismo.

En matemáticas, un homomorfismo, (o a veces simplemente morfismo) desde un objeto matemático a otro de la misma categoría, es una función que es compatible con toda la estructura relevante. La noción de homomorfismo se estudia abstractamente en el álgebra universal, y ése es el punto de vista tomado en este artículo. Una noción más general de morfismo se estudia abstractamente en la teoría de las categorías. Por ejemplo, si un objeto consiste en un conjunto X con un orden < y el otro objeto consiste en un conjunto Y con orden u, entonces debe valer para la función f:X\Longrightarrow \;Y que, si

u < v \Longrightarrow \; f( u ) < f( v ).

O, si en estos conjuntos hay definidas operaciones binarias + y *, respectivamente, entonces debe valer que: f(u + v) = f(u) * f(v). Ejemplos de morfismo son los homomorfismos de grupos, los homomorfismos de anillo, los operadores lineales, las funciones continuas, etc.

Contenido

Definición

Dado dos conjuntos no vacíos A y A', y las leyes de composición interna

+:A_1\rightarrow \;A
*:A_2\rightarrow \;A'

La función f:A\rightarrow \;A' es un homomorfismo respecto de + y * si y sólo si la imagen de la composición en A es igual a la composición de las imágenes en A'. Es decir:

f:A\rightarrow \;A' es homomorfismo respecto de + y * \Longleftrightarrow \; f(a + b) = f(a) * f(b), \forall \;a,b \in \;A

Cualquier homomorfismo f: X --> Y define una relación de equivalencia ~ en X como a ~ b si y solo si f(a) = f(b). En el caso general, este ~ se llama núcleo de f. Al conjunto cociente X/~ se le puede entonces dar una estructura de una manera natural, v.g., [x] * [y] = [x] * [y]. En ese caso la imagen de X en Y bajo el homomorfismo f es necesariamente isomorfa a X/~; este hecho es uno de los teoremas de isomorfía. Nótese que en algunos casos (v.g. grupos o anillos), una sola clase de equivalencia K es suficiente para especificar la estructura del cociente, así que escribimos X/K.

También en estos casos, es K, más bien que ~, el que es llamado el núcleo de f.

Tipos particulares de homomorfismos

  • Un homomorfismo suprayectivo se llama epimorfismo.
  • Un homomorfismo inyectivo se llama monomorfismo.
  • Un homomorfismo biyectivo cuya inversa es también un homomorfismo se llama isomorfismo. Dos objetos isomorfos son totalmente 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.

En topología, ciertos tipos de isomorfimos reciben nombres particulares:

  • Un homeomorfismo es un isomorfismo que preserva las características topológicas.
  • Un difeomorfismo es un isomorfismo que preserva las características topológicas y diferenciales.

Véase también

Referencias


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Homomorfismo — homomorfismo. m. Mat. Correspondencia no biunívoca entre dos estructuras algebraicas que conserva las operaciones. * * * Este término no debe confundirse con homeomorfismo. Un homomorfismo, (o a veces simplemente morfismo) desde un objeto… …   Enciclopedia Universal

  • homomorfismo — s. m. Qualidade daquilo que é homomorfo …   Dicionário da Língua Portuguesa

  • homomorfismo — m. Mat. Correspondencia no biunívoca entre dos estructuras algebraicas que conserva las operaciones …   Diccionario de la lengua española

  • homomorfismo — sustantivo masculino isomorfismo …   Diccionario de sinónimos y antónimos

  • Homomorfismo de anillos — Un homomorfismo de anillos es una aplicación entre anillos que conserva las estructuras de ambos como anillos. En todo el artículo y son anillos. Contenido 1 Definiciones. 1.1 Caso general …   Wikipedia Español

  • Homomorfismo de grupos — Un homomorfismo de grupos es una función entre grupos que conserva las estructuras de ambos como grupos. En este artículo, y son grupos. Definiciones Este artículo empieza con la definición general. Definición general Se dirá que la función… …   Wikipedia Español

  • Homomorfismo evaluación — Sean dos anillos y de forma que R es subanillo de S. Sea . Construimos la aplicación que a cada polinomio le hace corresponder su evaluación en α, i.e., β(p) = p(α). E …   Wikipedia Español

  • Homomorfismo de anillos — Un homomorfismo de anillos es una aplicación entre anillos que conserva las estructuras de ambos como anillos. En todo el artículo y son anillos …   Enciclopedia Universal

  • Homomorfismo evaluación — Sean dos anillos y de forma que es subanillo de . Sea . Construimos la aplicación que a cada polinomio le hace corresponder su evaluación en , i.e., . Esta aplicación es un isomorfismo de anillos ( …   Enciclopedia Universal

  • Teorema fundamental de homomorfismos — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.