“Año del Diálogo y Reconciliación Nacional”

ALUMNO : GONZALES MORE, OTONIEL FARID

CURSO : PRACTICAS PRE PROFESIONALES – ALGEBRA I

TEMA : PRÁCTICA 1 - HOMOMORFISMOS DE GRUPOS

DOCENTE : CASOS FERNANDEZ, SONIA ALICIA

FACULTAD : CIENCIAS

ESCUELA : MATEMÁTICA

2018
1. Definiciones previas

Grupo:
Sean un conjunto no vacío G, y una función ∗. El par (G,∗) es un grupo si y sólo si ∗ es una
ley interna en G, asociativa, con neuro, y tal que todo elemento de G admite inverso
respecto de ∗.
En forma simbólica, se tiene:
(G,∗) es un grupo si y sólo si se verifican los axiomas:
G1 ) ∗ : G2 → G (Cerradura)
G2 ) Asociatividad
∀𝑎 ∀𝑏 ∀𝑐: 𝑎, 𝑏, 𝑐 ∈ G → (𝑎 ∗ 𝑏) ∗ 𝑐 = 𝑎 ∗ (𝑏 ∗ 𝑐)
G3 ) Existencia de elemento neutro o identidad
∃ 𝑒 ∈ G / ∀𝑎 ∶ 𝑎 ∈ G → 𝑎 ∗ 𝑒 = e ∗ 𝑎 = 𝑎
G4 ) Existencia de inversos
∀𝑎 ∈ G, ∃ 𝑎′ ∈ G /𝑎 ∗ 𝑎´ = 𝑎´ ∗ 𝑎 = 𝑒
Si además se verifica
G5 ) Conmutatividad
∀𝑎 ∀𝑏 ∶ 𝑎, 𝑏 ∈ G → 𝑎 ∗ 𝑏 = 𝑏 ∗ 𝑎
Entonces el grupo se llama conmutativo o abeliano

2. Homomorfismo de Grupos

La función 𝑓: G → G′ es un homomorfismo si y sólo si la imagen de la composición en G es

igual a la composición de las imágenes en G′
En símbolos:
𝑓: 𝐺 → 𝐺′ es homomorfismo ↔ 𝑓(𝑎 ∗ 𝑏) = 𝑓(𝑎) ∗ ′𝑓(𝑏)
En un diagrama:
 (G,∗) (G′,∗ ′)

. f(𝑎 )
.𝑎
. f(b)
.b
. f(𝑎 *b)=f(𝑎)*’f(b)
. 𝑎 *b

En particular, el homomorfismo puede ser monomorfismo, epimorfismo, endomorfismo,

isomorfismo o auto morfismo.
Ejemplo 1:
Sean los grupos aditivos (R2x2 , +) y (R, +).
La función 𝑓: R2x2 → R definida por:
𝑎 𝑏
𝑓 ([ ]) = 𝑎 + 𝑑 es un homomorfismo, pues
𝑐 𝑑
𝑎 𝑏 𝑚 𝑛
𝑓(𝐴 + 𝐵) = 𝑓 ([ ] + [ 𝑝 𝑞 ])
𝑐 𝑑
𝑎+𝑚 𝑏+𝑛
= 𝑓 ([ ])
𝑐+𝑝 𝑑+𝑞
=𝑎+𝑚+𝑑+𝑞
= (𝑎 + 𝑑) + (𝑚 + 𝑞)
𝑎 𝑏 𝑚 𝑛
= 𝑓 ([ ]) + 𝑓 ([ 𝑝 𝑞 ])
𝑐 𝑑
=𝑓(A) + 𝑓(B)
∴ 𝑓(𝐴 + 𝐵)=𝑓(A) + 𝑓(B)
𝒇 es un homomorfismo.
Se ha aplicado la definición de suma de matrices, conmutatividad y asociatividad de la suma
en R y la definición de 𝑓
Propiedad 1:
Si 𝑓: 𝐺 → 𝐺′ es un homomorfismo de grupos, entonces la imagen del neutro del primer grupo
es el neutro del segundo grupo.
Se trata de probar que 𝑓(𝑒) = 𝑒′ , donde 𝑒′ denota el neutro de G′.
En efecto cualquiera que sea x ∈ G, por 𝐺3 , se tiene:
𝑥∗𝑒 =𝑥
Entonces:
𝑓(𝑥 ∗ 𝑒) = 𝑓(𝑥)
Por definición de homomorfismo:

𝑓(𝑥) ∗ ′𝑓(𝑒) = 𝑓(𝑥)

Por G3 en el grupo (G′ ,∗′ ):
𝑓(𝑥) ∗′ 𝑓(𝑒) = 𝑓(𝑥) ∗ ′𝑒′
Y por la ley cancelativa en G′ resulta
𝑓(𝑒) = 𝑒′

Propiedad 2:
Si 𝑓: G → G′ es un homomorfismo de grupos, entonces la imagen del inverso de todo
elemento de G es igual al inverso de su imagen.
Es decir:
𝑓(𝑥 −1 ) = [𝑓(𝑥)]−1
Cualquiera que sea x en G, por G4
𝑥 ∗ 𝑥 −1 = 𝑒
Entonces
𝑓(𝑥 ∗ 𝑥 −1 ) = 𝑓(𝑒)
Por definición de homomorfismo y por la propiedad 1 se tiene:
𝑓(𝑥) ∗′ 𝑓(𝑥 −1 ) = 𝑒′
Por inverso de la composición resulta:
𝑓(𝑥 −1 ) = [𝑓(𝑥)]−1

En un diagrama:
(G,∗) (G′,∗ ′)

.x . 𝑓 (𝑥 )

.e .𝑓 (𝑒) = 𝑒′
. 𝑥 −1 . 𝑓 (𝑥 −1 ) = [𝑓(𝑥)]−1
3. Núcleo e imagen de un homomorfismo de grupos:

Núcleo de un homomorfismo de grupos.

Sea 𝑓: G → G′ un homomorfismo de grupos. La determinación de los elementos del primer
grupo, cuyas imágenes por 𝑓 son el neutro del segundo grupo, conduce a un subconjunto de G,
llamado núcleo del homomorfismo.
Definición:
Núcleo del homomorfismo 𝑓: G → G’ es la totalidad de los elementos de G, cuyas imágenes
por 𝑓 se identifican con el neutro de G’.
Es decir: 𝑵(𝒇)= {𝒙 ∈ 𝐆/𝒇(𝒙) = 𝒆′ }
Es claro que el núcleo de 𝑓 es la preimagen de{𝑒′ }
De acuerdo con la definición, se tiene:
𝑥 ∈ 𝑁(𝑓) ↔ 𝑓(𝑥) = 𝑒′
Esto significa que para verificar que un elemento pertenece al núcleo es suficiente probar que
si imagen es 𝑒′
Ejemplo 2:
El núcleo del homomorfismo del ejemplo 1 anterior consiste en las matrices 2x2 tales que:

𝑎 𝑏
𝑓 ([ ]) = 𝑎 + 𝑑 = 0, es decir 𝑑 − 𝑎
𝑐 𝑑
En consecuencia, al núcleo de 𝑓 pertenecen todas las matrices del tipo:
𝑎 𝑏
[ ]
𝑐 −𝑎
En este caso, los elementos del a diagonal son opuestos, o de suma cero, o de traza nula,
siendo por definición la traza de una matriz la suma de los elementos de la diagonal. En
general, la notación para la traza de una matriz A ∈ Rnxn es
tr A= ∑𝑛𝑖=1 𝑎𝑖𝑗

Propiedad 3:
El homomorfismo 𝑓: G → G′ es inyectivo, es decir, un monomorfismo si y sólo si el núcleo es
unitario.
Sea 𝑁(𝑓) el núcleo del homomorfismo 𝑓: 𝐺 → 𝐺′
i) 𝑓 es 1-1 → 𝑁(𝑓) = {𝑒}
 La demostración es inmediata, porque si en el núcleo hubiera otro elemento distinto
de 𝑒, entonces dos elementos distintos de G tendrían la misma imagen por 𝑓, y no
sería una función inyectiva.

ii) 𝑁(𝑓) = {𝑒} → 𝑓 𝑒𝑠 1 − 1

En efecto, sean x, y ∈ G, tales que 𝑓(𝑥) = 𝑓(𝑦).
Componiendo con el inverso de 𝑓(𝑦), en G′
𝑓(𝑥) ∗ ′[𝑓(𝑦)]−1 = 𝑓(𝑦) ∗ ′[𝑓(𝑦)]−1
Por propiedad 3, y por G4 en (G’, ∗ ′)
𝑓(𝑥) ∗′ 𝑓(𝑦 −1 ) = 𝑒′
Por definición de homomorfismo:
𝑓(𝑥 ∗ 𝑦 −1 ) = 𝑒′
Por definición de núcleo:
𝑓(𝑥 ∗ 𝑦 −1 ) = 𝑒′
Por definición de núcleo:
𝑥 ∗ 𝑦 −1 ∈ 𝑁(𝑓)
Por ser 𝑁(𝑓) = {𝑒} resulta
𝑥 ∗ 𝑦 −1 = 𝑒
Componiendo a derecha con 𝑦
𝑥 ∗ 𝑦 −1 ∗ 𝑦 = 𝑒 ∗ 𝑦
Esto es
𝑥=𝑦

∴ 𝒇 es inyectiva

Imagen de un homomorfismo de grupos

Sea 𝑓: 𝐺 → 𝐺′ un homomorfismo de grupos.
Definición:
La imagen de un homomorfismo de grupos es la totalidad de las imágenes de los elementos
del primer grupo.
La imagen de un homomorfismo de grupos es la imagen de la función que lo define, es decir:
𝐼(𝑓) = {𝑓(𝑥) ∈ 𝐺 ′ / 𝑥 ∈ G}
O bien:
𝐼(𝑓) = {𝑦 ∈ G′ /∃ 𝑥 ∈ G ∧ 𝑓(𝑥) = 𝑦}
Es claro que, si el homomorfismo es un epimorfismo, es decir, si 𝑓 es sobreyectiva, entonces
𝐼(𝑓) = G′ . En el siguiente diagrama se tiene una representación de 𝑁(𝑓) y 𝐼(𝑓)

(G,∗) (G′,∗ ′)
𝐼(𝑓)

e e’

𝑁(𝑓)

En el caso del ejemplo 1, 𝑓 es un epimorfismo, pero no es monomorfismo.

Ejemplo 3
Sean los grupos (R3 , +) y (R2 , +). Probar que, 𝑓: R3 → R2 definida por
𝑓(𝑥1 , 𝑥2 , 𝑥3 ) = (𝑥1 − 𝑥3 , 𝑥2 − 𝑥3 ) es un homomorfismo. Determinar su núcleo.
Solución:
i) Demostrar que es un homomorfismo.
𝑓[(𝑥1 , 𝑥2 , 𝑥3 ) + (𝑦1 , 𝑦2 , 𝑦3 )]
= 𝑓[(𝑥1 + 𝑦1 , 𝑥2 + 𝑦2 , 𝑥3 + 𝑦3 )]
= (𝑥1 + 𝑦1 − (𝑥3 + 𝑦3 ), 𝑥2 + 𝑦2 − (𝑥3 + 𝑦3 ))
= (𝑥1 + 𝑦1 − 𝑥3 − 𝑦3 , 𝑥2 + 𝑦2 − 𝑥3 − 𝑦3 )
= (𝑥1 − 𝑥3 + 𝑦1 − 𝑦3 , 𝑥2 − 𝑥3 + 𝑦2 − 𝑦3 )
= (𝑥1 − 𝑥3 , 𝑥2 − 𝑥3 ) + (𝑦1 − 𝑦3 , 𝑦2 − 𝑦3 )
𝑓(𝑥1 , 𝑥2 , 𝑥3 ) + 𝑓(𝑦1 , 𝑦2 , 𝑦3 )

ii) Determinar su núcleo.

𝑓(𝑥1 , 𝑥2 , 𝑥3 ) = (0,0) ↔
(𝑥1 − 𝑥3 , 𝑥2 − 𝑥3 ) = (0,0)
𝑥1 = 𝑥3 𝑥2 = 𝑥3
𝑥1 = 𝑥2 = 𝑥3
𝑁(𝑓) son todos los elementos de la forma 𝑓(𝑥1 , 𝑥1 , 𝑥1 )
4. Bibliografía:

Armando Rojo – Algebra I – 5𝑎 edición