Homomorfismo de grupos

2. Homomorfismo de grupos

2.1. Algunas situaciones.

2.1.1. De tipo matricial:

Situación 1: Un grupo matricial. Sea U el subgrupo de GL(2, R) definido por:

n 
1 c 
o
U= c∈Z
0 1
Si analizamos el producto o multiplicación matricial en U de dos elementos cualquiera X e Y , se tiene
    
1 a 1 b 1 a+b
XY = =
0 1 0 1 0 1
se observa que el producto XY en U equivale a la suma de los coeficientes a y b en el grupo aditivo Z,
que muestra que la relación anterior establece una compatibilidad en las operaciones binarias de ambos
grupos, por una parte el producto en U y por otra la suma en Z.
En un contexto funcional, si consideramos la siguiente función:
 
1 c
f :Z→U tal que f (c) =
0 1

La relación anterior, se reescribe en términos de f como:

f (a)f (b) = f (a + b) para todo a, b ∈ Z
Esta relación se llama relación de homomorfia entre los grupos Z y U , y se dice que f es un
homomorfismo entre estos grupos

En este caso además, f es biyectiva, pues es sobreyectiva por definición y la inyectividad es inmediata.
Una tal función que cumpla con: homomorfismo y biyección, se llama isomorfismo de grupos, en este
caso de dice los grupos Z y U son isomorfos por medio del isomorfismo f .
Situación 2: Otro grupo matricial, subgrupo de GL(2, R), es G definido por
n 
a b 
o
G=  a, b ∈ R, a ̸= 0
0 1
Para este grupo el producto matricial de dos elementos cualquiera X e Y , se presenta como:
    
a b c d ac ad + b
XY = =
0 1 0 1 0 1
En esta relación se visualiza que el producto XY equivale, por una parte al producto ac en el grupo
multiplicativo R× (donde R× = R − {0} es el grupo multiplicativo de números reales diferentes de
cero). Por otra parte, el coeficiente ad + b de la matriz del lado derecho es algo más complejo que una
simple suma como en el caso anterior.
 
a b
Ahora bien, la determinación de cualquier elemento X = requiere dos números reales: a y b con
0 1

Jorge González-Lorca // Facultad de Ciencias Básicas. Universidad Católica del Maule.

1
Jorge González Lorca Homomorfismo de grupos

a ̸= 0, esto equivale a decir que X esta completamente determinada por el par ordenado (a, b) ∈ R× ×R
que en términos funcionales se interpreta por medio de la función:
 
× a b
f :R ×R→G tal que f ((a, b)) =
0 1

PREGUNTAS
1. ¿Cuál deberı́a ser la operación binaria ∗ en R× × R de manera que f satisfaga la relación
de homomorfia
f ((a, b))f ((c, d)) = f ((a, b) ∗ (c, d)) para todo (a, b), (c, d) ∈ R× × R ?
2. ¿El conjunto R× × R es un grupo con la operación binaria ∗ encontrada en el item
anterior?

2
Jorge González Lorca Homomorfismo de grupos

2.1.2. De tipo analı́tico:

Situación 1: la exponencialde variable real

¿La exponencial es un homomorfismo?

Sea e ∈ R la base neperiana (e ≈ 2, 7182818284590452353602874713527), los números (reales)
potencias ea con a ∈ R satisfacen la siguiente propiedad:
ea+b = ea eb para todo a, b ∈ R
Si replanteamos estos números potencias en términos funcionales por medio de la función expo-
nencial
exp : R → R>0 exp : x 7→ ex (función exponencial en la base e)
la relación anterior se reescribe
exp(a + b) = exp(a) exp(b) para todo a, b ∈ R
donde R>0 es el subgrupo multiplicativo de los números reales positivos (con el producto usual)
y R el grupo aditivo (con la suma usual). En este contexto algebraico, la relación anterior indica
que exp es un homomorfismo de grupos entre el grupo aditivo (R, +) y el grupo multiplicativo
(R>0 , ·).
Gráficamente, esta relación de homomorfia se interpreta, cuando sobre el eje X (representación
geométrica de R) se suman a y b, las correspondientes imágenes u = ea y v = eb se multiplican
en el semieje positivo de Y (representación geométrica de R>0 )

Además, como exp es una biyección, entonces define un isomorfismo entre estos grupos y se dice
los grupos R y R>0 son isomorfos.

3
Jorge González Lorca Homomorfismo de grupos

Situación 2: logaritmo natural de variable real

¿El logaritmo es un homomorfismo?

Análogamente, a la función exponencial exp en la base neperiana e, su inversa el logaritmo natural
en la base e
ln : R>0 → R ln : x 7→ ln x (logaritmo natural en la base e)
satisface la relación
ln(ab) = ln(a) + ln(b) para todo a, b ∈ R>0
que establece que ln es un homomorfismo entre los grupos (R>0 , ·) y (R, +)
Inversamen a la situación de la exponencial, esta relación de homomorfia establece, cuando
sobre el semieje positivo X (representación geométrica de R>0 ) se multiplican a y b, las cor-
respondientes imágenes u = ln a y v = ln b se suman en el eje Y (representación geométrica de R)

Además, como ln es una biyección, entonces define un isomorfismo entre estos grupos.

4
Jorge González Lorca Homomorfismo de grupos

Situación 3: valor absoluto

¿El valor absoluto en un homomorfismo?

Si consideramos R>0 el subgrupo multiplicativo de los números reales positivos (con el producto
usual) y R× = R−{0} el grupo multiplicativo de números reales no nulos (con el producto usual),
entonces la función valor absoluto
| | : R× → R>0 | | : x 7→ |x| (valor absoluto de x)
satisface la relación
|ab| = |a||b| para todo a, b ∈ R×
lo cual indica que el valor absoluto | | es un homomorfismo de grupos entre los grupos R× y R>0

Ejercicio 1. Sea R+ el grupo aditivo de los números reales (con la suma usual). ¿La función
valor absoluto
| |:R→R | | : x 7→ |x|
es un homomorfismo de grupos entre los grupos aditivos R+ y R+ ?

2.2. Homomorfismo de grupos.

Homomorfismo de grupos
Definición 2.1. Sea G un grupo con la operación binaria ∗ y H un grupo con la operación
binaria ◦. Un homomorfismo de grupos de G en H es una función f : G → H tal que

f (a ∗ b) = f (a) ◦ f (b) para todo a, b ∈ G

Tipos de homomorfismo de grupos

Definición 2.2. Un homomorfismo de grupos f : G → H se dice:
1. monomorfismo de grupos si es inyectivo,
2. epimorfismo de grupos si es sobreyectivo,
3. isomorfismo de grupos si es biyectivo.
Se dice que dos grupos G y H son isomorfos, lo cual se denota G ≃ H, si existe un isomorfismo
entre ellos

5
Jorge González Lorca Homomorfismo de grupos

Grupos isomorfos
Definición 2.3. Se dice que dos grupos son isomorfos, si existe un isomorfismo entre ellos.
Denotaremos por G ≃ H cuando G y H son grupos isomorfos.

Observación 2.1. La relación isomorfismo ≃ es una relación de equivalencia en el conjunto de todos

los grupos (Ejercicio!). Esta relación particiona al conjunto de los grupos en clases de equivalencia.

Proposición 2.1. Sea f : G → H un homomorfismo de grupos. Entonces

1. f (eG ) = eH donde eG (resp. eH ) es el elemento neutro de G ( de H).
2. f (a−1 ) = f (a)−1 para todo a ∈ G.

Demostración. 1. Sea b = f (eG ) ∈ H. Entonces f (eG ) es solución de la ecuación (con coeficientes

en H)
bx = b,
pues,
bf (eG ) = f (eG )f (eG ) = f (eG eG ) = f (eG ) = b
Por otro lado, la única solución de bx = b es x = b−1 b = eH (Proposición 1.3 ), luego f (eG ) = eH .
2. Puesto que el inverso de f (a) es único (Proposición 1.2 ), entonces basta probar que f (a−1 ) satisface
las propiedades del inverso de f (a). Luego
f (a)f (a−1 ) = f (aa−1 ) = f (eG ) = eH
f (a−1 )f (a) = f (a−1 a) = f (eG ) = eH
□

6
Jorge González Lorca Homomorfismo de grupos

Ejercicio 2. Decida si las siguientes funciones son homomorfismos de grupos entre los grupos que
se indican:

1. f : R× → R× definida por x 7→ x−1 , donde R× es el grupo multiplicativo de los números

reales.
2. f : GL(2, R) → GL(2, R) definida por x 7→ x−1 , donde GL(2, R) es el grupo multi-
plicativo de matrices invertibles 2 × 2 con coeficientes en R con la multiplicación usual de
matrices.
3. f : GL(2, R) → GL(2, R) definida por x 7→ x2 , donde GL(2, R) es el grupo multiplica-
tivo anterior.
4. det : GL(2, R) → R× definida por x 7→ det(x) la función determinante.
5. det : M (2, R) → R+ definida por x 7→ det(x) la función determinante, donde M (2, R)
es el grupo aditivo de matrices 2 × 2 con coeficientes en R con la suma usual de matrices.

6. tr : M (n, R) → R+ definida por x 7→ tr(x) la función traza, donde M (n, R) es el grupo

aditivo de matrices n × n con coeficientes en R con la suma usual de matrices.

Kernel o Núcleo de un homomorfismo

Sea f : G → H un homomorfismo de grupos. Se define el Kernel o Núcleo de f como

Ker(f ) = a ∈ G | f (a) = e
Imagen de un homomorfismo
Además se define la Imagen o Recorrido de f como

Im(f ) = f (a) | a ∈ G

Lema 2.1. Sea f : G → H un homomorfismo de grupos. Entonces Ker(f ) e Im(f ) son subgrupos
de G y H respectivamente.

Demostración. Ejercicio ! □

Proposición 2.2. Sea f : G → H un homomorfismo de grupos. Entonces

f es inyectiva si y sólo si Ker(f ) = {e}.

7
Jorge González Lorca Homomorfismo de grupos

Demostración. (⇒). Sea a ∈ Ker(f ). Luego f (a) = e. Por otro lado por la proposición 2.1, se tiene
que f (e) = e, de donde f (a) = e = f (e), luego f (a) = f (e). Puesto que, f es inyectiva entonces se
deduce que a = e, que es lo que se deseaba demostrar.
(⇐). Sean a, b ∈ G tales que f (a) = f (b). Por demostrar que a = b. Luego
f (a) = f (b) ⇐⇒ f (a)f (b)−1 = e
⇐⇒ f (a)f (b−1 ) = e (por proposición 2.1)
⇐⇒ f (ab−1 ) = e
⇐⇒ ab−1 ∈ Ker(f )
⇐⇒ ab−1 = e (pues Ker(f ) = {e})
⇐⇒ a = b
De esta manera se ha demostrado la proposición. □

Clasificación de grupos cı́clicos

Teorema 2.1. Sea G un grupo ciclico.
1. Si G es infinito entonces G ≃ (Z, +).
2. Si G es finito de orden n entonces G ≃ (Zn , +n ).

Demostración. Sea a un generador de G. Luego por la definición de potencias ak , con k entero, se

tiene que la función
f : Z → G tal que f (k) = ak
es un homomorfismo de grupos. Aún más, dado que G es cı́clico esta función es sobreyectiva.
Existen dos posibilidades: que f sea inyectiva ó bien que no lo sea. En la primera situación se tiene que
f seria un isomorfismo de grupos, de donde necesariamente G es infinito, lo cual demuestra la primera
parte del teorema.
Por otro lado, si f no es inyectiva entonces Ker(f ) ̸= {e}. Además, Ker(f ) es un subgrupo de G, luego
es cı́clico, entonces existe n ∈ Ker(f ) tal que Ker(f ) = nZ. La afirmación es que la función
f : (Zn , +n ) → G tal que f (k) = ak
es un isomorfismo de grupos (Ejercicio!). □