Función matemática entre grupos que preserva la estructura de multiplicación.
Representación de un homomorfismo de grupo ( h ) de G (izquierda) a H (derecha). El óvalo dentro de H es la imagen de h . N es el núcleo de h y aN es una clase lateral de N.
En matemáticas , dados dos grupos , ( G ,∗) y ( H , ·), un homomorfismo de grupo de ( G ,∗) a ( H , ·) es una función h : G → H tal que para todos u y v en G se sostiene que
donde la operación de grupo del lado izquierdo de la ecuación es la de G y del lado derecho la de H .
De esta propiedad, se puede deducir que h asigna el elemento de identidad e G de G al elemento de identidad e H de H ,
y también asigna inversas a inversas en el sentido de que
Por tanto, se puede decir que h "es compatible con la estructura del grupo".
En áreas de las matemáticas donde se consideran grupos dotados de estructura adicional, un homomorfismo a veces significa un mapa que respeta no sólo la estructura del grupo (como arriba) sino también la estructura adicional. Por ejemplo, a menudo se requiere que un homomorfismo de grupos topológicos sea continuo.
Intuición
El propósito de definir un homomorfismo de grupo es crear funciones que preserven la estructura algebraica. Una definición equivalente de homomorfismo de grupo es: La función h : G → H es un homomorfismo de grupo si siempre
a ∗ b = c tenemos h ( a ) ⋅ h ( b ) = h ( c ).
En otras palabras, el grupo H en algún sentido tiene una estructura algebraica similar a G y el homomorfismo h la conserva.
Un homomorfismo de grupo que es biyectivo ; es decir, inyectivo y sobreyectivo. Su inverso es también un homomorfismo de grupo. En este caso, los grupos G y H se denominan isomorfos ; sólo difieren en la notación de sus elementos (excepto el elemento de identidad) y son idénticos a todos los efectos prácticos. Es decir, volvemos a etiquetar todos los elementos excepto la identidad.
Un endomorfismo de grupo que es biyectivo y, por tanto, un isomorfismo. El conjunto de todos los automorfismos de un grupo G , con la composición funcional como operación, forma en sí mismo un grupo, el grupo de automorfismos de G. Se denota por Aut( G ). Como ejemplo, el grupo de automorfismos de ( Z , +) contiene solo dos elementos, la transformación de identidad y la multiplicación por −1; es isomorfo a ( Z /2 Z , +).
Imagen y núcleo
Definimos el núcleo de h como el conjunto de elementos en G que se asignan a la identidad en H
El núcleo y la imagen de un homomorfismo se pueden interpretar como una medida de qué tan cerca está de ser un isomorfismo. El primer teorema del isomorfismo establece que la imagen de un homomorfismo de grupo, h ( G ) es isomorfa al grupo cociente G /ker h .
El homomorfismo, h , es un monomorfismo de grupo; es decir, h es inyectivo (uno a uno) si y sólo si ker( h ) = { e G }. La inyección da directamente que hay un elemento único en el kernel y, a la inversa, un elemento único en el kernel da inyección:
Ejemplos
Considere el grupo cíclico Z 3 = ( Z /3 Z , +) = ({0, 1, 2}, +) y el grupo de números enteros ( Z , +). El mapa h : Z → Z /3 Z con h ( u ) = u mod 3 es un homomorfismo de grupo. Es sobreyectivo y su núcleo está formado por todos los números enteros divisibles por 3.
El conjunto
forma un grupo bajo multiplicación de matrices. Para cualquier número complejo u la función f u : G → C * definida por
es un homomorfismo de grupo.
Considere un grupo multiplicativo de números reales positivos ( R + , ⋅) para cualquier número complejo u . Entonces la función f u : R + → C definida por
es un homomorfismo de grupo.
El mapa exponencial produce un homomorfismo de grupo del grupo de números reales R con suma al grupo de números reales distintos de cero R * con multiplicación. El núcleo es {0} y la imagen consta de números reales positivos.
El mapa exponencial también produce un homomorfismo de grupo del grupo de números complejos C con suma al grupo de números complejos distintos de cero C * con multiplicación. Este mapa es sobreyectivo y tiene el núcleo {2π ki : k ∈ Z }, como se puede ver en la fórmula de Euler . Los campos como R y C que tienen homomorfismos desde su grupo aditivo hasta su grupo multiplicativo se denominan campos exponenciales .
La función , definida por es un homomorfismo.
Considere los dos grupos y , representados respectivamente por y , donde están los números reales positivos. Entonces, la función definida por la función logaritmo es un homomorfismo.
Categoría de grupos
Si h : G → H y k : H → K son homomorfismos de grupo, entonces también lo es k ∘ h : G → K . Esto muestra que la clase de todos los grupos, junto con los homomorfismos de grupo como morfismos, forma una categoría .
Homomorfismos de grupos abelianos.
Si G y H son grupos abelianos (es decir, conmutativos), entonces el conjunto Hom( G , H ) de todos los homomorfismos de grupo de G a H es en sí mismo un grupo abeliano: la suma h + k de dos homomorfismos se define por
( h + k )( u ) = h ( u ) + k ( u ) para todo u en G .
Se necesita la conmutatividad de H para demostrar que h + k es nuevamente un homomorfismo de grupo.
La adición de homomorfismos es compatible con la composición de homomorfismos en el siguiente sentido: si f está en Hom( K , G ) , h , k son elementos de Hom( G , H ) y g está en Hom( H , L ) , entonces
( h + k ) ∘ f = ( h ∘ f ) + ( k ∘ f ) y g ∘ ( h + k ) = ( g ∘ h ) + ( g ∘ k ) .
Dado que la composición es asociativa , esto muestra que el conjunto End( G ) de todos los endomorfismos de un grupo abeliano forma un anillo , el anillo de endomorfismo de G. Por ejemplo, el anillo de endomorfismo del grupo abeliano que consiste en la suma directa de m copias de Z / n Z es isomorfo al anillo de m -por - m matrices con entradas en Z / n Z. La compatibilidad anterior también muestra que la categoría de todos los grupos abelianos con homomorfismos de grupo forma una categoría preaditiva ; la existencia de sumas directas y núcleos de buen comportamiento hace de esta categoría el ejemplo prototípico de una categoría abeliana .