Homomorfismos

Homomorfismo de grupos
En álgebra, un homomorfismo de grupos es una

función entre grupos que preserva la operación binaria.
Dados dos grupos y la aplicación

es un homomorfismo de grupos si se
verifica que para todos los pares de elementos
donde la operación en el lado izquierdo de la ecuación ( )

es la ley de composición interna en , y la operación del
Imagen de un homomorfismo de grupos
lado derecho de la ecuación ( ) es la ley de composición (h) de G(izquierda) en H(derecha). El
interna en .1 óvalo menor dentro de H es la imagen de
h. N es el núcleo de h y aN es una clase
Si la aplicación es biyectiva entonces es un isomorfismo lateral de N.
de grupos, lo que significa que ambos grupos tienen la
misma estructura algebraica (son isomorfos), y sólo se
diferencian por los símbolos utilizados para denotar los elementos y la operación.
Índice
Definiciones
Imagen de
El núcleo o kernel
Ejemplos
Tipos de homomorfismos
Propiedades
Teoremas fundamental y de isomorfía
Teorema fundamental
Teoremas de isomorfismo
Véase también
Referencias
Notas
Bibliografía
Enlaces externos
Definiciones
Dados dos grupos y , en el que cada grupo está compuesto por un conjunto de elementos y
una ley de composición interna entre ellos (no necesariamente la misma), es posible definir una función
que asigne a cada elemento g de un elemento h de :
Dicha función es un homomorfismo de grupos si se verifica que para todos los pares de elementos
donde la operación en el lado izquierdo de la ecuación ( ) es la ley de composición interna en , y la

1
operación del lado derecho de la ecuación ( ) es la ley de composición interna en .
Imagen de
El conjunto de todos los elementos de que son la imagen de algún elemento de se llama la imagen de
2
la aplicación, y se denota o . Formalmente:
La imagen de es un subgrupo de .
El núcleo o kernel
El conjunto de todos los elementos de cuya imagen es el elemento identidad de se llama núcleo
(kernel) de :
El núcleo de es un subgrupo normal de G. El núcleo es importante porque no sólo determina qué

elementos tienen por imagen la identidad, sino también qué elementos tienen la misma imagen:3
Dado
ya que
Los conjuntos de todos los elementos que comparten una misma imagen son las clases laterales del núcleo.
Ejemplos
La función exponencial en un homomorfismo de grupos entre los números reales bajo la adición y el grupo
multiplicativo de los reales no nulos (excluido el 0):
dado que
La imagen de la función exponencial es el subgrupo de los números reales positivos, y el núcleo es solo el
elemento identidad (el 0), ya que la aplicación es inyectiva.
La función determinante, definida sobre el grupo multiplicativo de matrices invertibles (grupo general
lineal) en los números reales no nulos, es un homomorfismo de grupos:
dado que .
Tipos de homomorfismos
◾ un monomorfismo de grupos es un homomorfismo de grupos inyectivo, aquel en el no hay dos
elementos de con la misma imagen:
El núcleo de un monomorfismo sólo contiene al elemento identidad, y a la inversa,

cuando el núcleo sólo contiene al elemento identidad entonces la función es un
monomorfismo.
◾ un epimorfismo de grupos es un homomorfismo de grupos sobreyectivo, aquel en el que todo

elemento de es imagen de algún elemento de . Bajo estas condiciones, la imagen de es todo
:
◾ un isomorfismo de grupos es un homomorfismo de grupos que es simultáneamente inyectivo y

sobreyectivo, o lo que es lo mismo, biyectivo. cuando esto ocurre, ambos grupos tienen la misma
estructura algebraica (son isomorfos), y sólo se diferencian por los símbolos utilizados para denotar al
conjunto, los elementos y la operación.
◾ un endomorfismo es un homomorfismo de un grupo en sí mismo:
◾ un automorfismo es un endomorfismo biyectivo. Nótese que, en un grupo finito, cuando un

endomorfismo es inyectivo entonces es sobreyectivo, y viceversa. El conjunto de todos los
automorfismos de un grupo G, con la composición de funciones como operación, es en sí mismo un
grupo llamado grupo de automorfismos de G (Aut(G)). Como ejemplo, el grupo de automorfismos de
sólo contiene dos elementos: la transformación identidad [f(n)=n] y la multiplicación por -1 [f(n)
=-n], por lo que es isomorfo a .
Propiedades
Dado un homomorfismo de grupos , se verifican las siguientes propiedades:
◾ La imagen del elemento identidad de es el elemento identidad de : .
Demostración
◾ El núcleo de es un subconjunto no vacío: .
Demostración
◾ La imagen de un inverso es el inverso de la imagen: .
Demostración
◾ Si es un subgrupo de , su imagen es un subgrupo de .

Demostración
◾ Si es un subgrupo de , su preimagen es un subgrupo de .
Demostración
◾ Continuando lo anterior, si es normal en , entonces su preimagen es normal en :4
Demostración
◾ El núcleo de un homomorfismo es un subgrupo normal de : .
Demostración
◾ La imagen de es un subgrupo de : .
Demostración
Teoremas fundamental y de isomorfía
Teorema fundamental
Sean un
homomorfismo de grupos y
un subgrupo normal de
contenido en el núcleo de
, entonces existe un único
homomorfismo tal que
, en donde El teorema fundamental expresado
como un diagrama conmutativo.
es la
proyección canónica y
es un grupo cociente.5
Teoremas de isomorfismo
◾ El primera teorema es un caso particular del teorema fundamental:
Sea un homomorfismo de grupos. Entonces

existe un isomorfismo , y por
tanto
◾ Segundo teorema:
Si y son subgrupos de un grupo , con normal en

, entonces es un subgrupo de , es normal
en y
◾ Tercer teorema:
Si y son subgrupos normales de un grupo , con

, entonces
Véase también
◾ Homomorfismo.
◾ Grupo (matemática).
◾ Teoría de grupos.
◾ Teoremas de isomorfía.
◾ Acción de grupo.
Referencias
Notas
1. (Judson, 2012, p. 169)
2. (Artin, 2011, p. 48)
3. (Artin, 2011, p. 49)
4. Judson, 2012, p. 170.
5. «Fundamental homomorphism theorem» (http://planetmath.org/fundamentalhomomorphismtheorem).
planetmath.org. Consultado el 1 de septiembre de 2013.
Bibliografía
◾ Judson, Thomas W. (2012). Abstract Algebra. Theory and Applications
(http://abstract.ups.edu/download/aata-20120811.pdf) (pdf). disponible online bajo licencia GFDL.
◾ Artin, Michael (2011). Algebra (2ª edición). Pearson Education. ISBN 978-0132413770.
Enlaces externos
◾ Wikimedia Commons alberga una categoría multimedia sobre Homomorfismo de grupos.
◾ Wikilibros alberga un libro o manual sobre Homomorfismo de grupos.
◾ Weisstein, Eric W. «Group Homomorphism»
(http://mathworld.wolfram.com/GroupHomomorphism.html). En Weisstein, Eric W. MathWorld (en
inglés). Wolfram Research.
◾ Group homomorphism (http://planetmath.org/grouphomomorphism) en PlanetMath.
Obtenido de «https://es.wikipedia.org/w/index.php?title=Homomorfismo_de_grupos&oldid=103131390»
Esta página se editó por última vez el 4 nov 2017 a las 02:20.
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.

Homomorfismos

Cargado por

Copyright:

Formatos disponibles

Homomorfismos

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Homomorfismos

Cargado por

Copyright:

Formatos disponibles

Homomorfismo de grupos

En álgebra, un homomorfismo de grupos es una

Dados dos grupos y la aplicación

donde la operación en el lado izquierdo de la ecuación ( )

donde la operación en el lado izquierdo de la ecuación ( ) es la ley de composición interna en , y la

El núcleo de es un subgrupo normal de G. El núcleo es importante porque no sólo determina qué

El núcleo de un monomorfismo sólo contiene al elemento identidad, y a la inversa,

◾ un epimorfismo de grupos es un homomorfismo de grupos sobreyectivo, aquel en el que todo

◾ un isomorfismo de grupos es un homomorfismo de grupos que es simultáneamente inyectivo y

◾ un automorfismo es un endomorfismo biyectivo. Nótese que, en un grupo finito, cuando un

◾ La imagen del elemento identidad de es el elemento identidad de : .

◾ El núcleo de es un subconjunto no vacío: .

◾ La imagen de un inverso es el inverso de la imagen: .

◾ Si es un subgrupo de , su imagen es un subgrupo de .

◾ Si es un subgrupo de , su preimagen es un subgrupo de .

◾ Continuando lo anterior, si es normal en , entonces su preimagen es normal en :4

◾ El núcleo de un homomorfismo es un subgrupo normal de : .

Teoremas fundamental y de isomorfía

Sea un homomorfismo de grupos. Entonces

Si y son subgrupos de un grupo , con normal en

Si y son subgrupos normales de un grupo , con

También podría gustarte