Ejercicios propuestos Homomorfismos

Laura Alfonso, Ivonne Sandoval & Ximena Gutiérrez.

Febrero 2020.

Universidad Pedagógica y Tecnológica de Colombia

Ciencias de la Educación.
Teoría de Grupos.
 1

Solución Ejercicios propuestos

Homomorfismos

1. Calcule las imágenes homomorfas del grupo 𝐆𝐋𝟐 (ℝ).

Para 𝛼 ∈ ℝ, 𝛼 ≠ 0, considere el conjunto

𝐷𝛼 = {𝛼 𝑟 ⁄𝑟 ∈ ℤ}

Este conjunto 𝐷𝛼 es subgrupo de ℝ, con el producto.

Así, considerando
ℳ𝛼 = {𝐴 ∈ GL2 (ℝ)⁄𝑑𝑒𝑡(𝐴) ∈ 𝐷𝛼 }

Veamos que ℳ𝛼 ⊴ GL2 (ℝ):

En efecto, si A, B ∈ ℳ, entonces

𝑑𝑒𝑡(𝐴𝐵) = 𝑑𝑒𝑡(𝐴) ⋅ 𝑑𝑒𝑡(𝐵) ∈ 𝐷𝛼

por ser 𝐷𝛼 ≤ ℝ, y por tanto, A, B ∈ ℳ𝛼

Además, si 𝐴 ∈ ℳ𝛼 , 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠
1
𝑑𝑒𝑡(𝐴−1 ) = 𝑑𝑒𝑡(𝐴) ∈ 𝐷𝛼
Y por consiguiente, 𝐴−1 ∈ ℳ𝛼
Asi, ℳ𝛼 ≤ GL2 (ℝ).

Dada A ∈ ℳ𝛼 𝑦 𝐵 ∈ GL2 (ℝ), vemos que

𝑑𝑒𝑡(𝐵 ⋅ 𝐴 ⋅ 𝐵 −1 ) = 𝑑𝑒𝑡(𝐵) ⋅ 𝑑𝑒𝑡(𝐴) ⋅ 𝑑𝑒𝑡(𝐵 −1 )

= 𝑑𝑒𝑡(𝐵) ⋅ 𝑑𝑒𝑡(𝐵 −1 ) ⋅ 𝑑𝑒𝑡(𝐴) ⋅
= 𝑑𝑒𝑡(𝐵 − 𝐵 −1 ) ⋅ 𝑑𝑒𝑡(𝐴) = 𝑑𝑒𝑡(𝐴) ∈ 𝐷𝛼

Luego 𝐵 ∙ 𝐴𝐵 −1 ∈ ℳ𝛼 , 𝑦 𝑎𝑠𝑖, ℳ𝛼 ⊴ GL2 (ℝ)

Obtenemos así, que para cada 𝛼 ∈ ℝ

GL2 (ℝ)⁄ℳ𝛼

Es una imagen homomorfa de GL2 (ℝ)

En particular, para 𝛼 = 1 𝑡𝑒𝑛𝑒𝑚𝑜𝑠 𝑞𝑢𝑒:

ℳ1 = SL2 (ℝ), y
GL2 (ℝ)⁄𝑆𝐿2 (ℝ) ≅ ℝ
 2

2. ¿Cuántos homomorfismos no triviales hay de 𝑫𝟒 en ℤ𝒑 ? Donde p es primo.

Como |ℤ𝑝 | = 𝑝, con p es primo, entonces los únicos subgrupos de ℤ𝑝 son {0} 𝑦 ℤ𝑝 .
𝐴𝑠𝑖, 𝑠𝑖 𝜑: 𝐷4 → ℤ𝑝 𝑒𝑠 𝑢𝑛 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑓𝑖𝑠𝑚𝑜 𝑑𝑒 𝑔𝑟𝑢𝑝𝑜𝑠, 𝑦 𝑠𝑖 𝐾 ≤ 𝐷4 , entonces,
𝜑(𝐾) ≤ ℤ𝑝
Supongamos que 𝑝 = 2. Si 𝜑: 𝐷4 → ℤ2 es un homomorfismo no trivial, entonces 𝜑 es
sobreyectiva con lo cual:
𝐷4
≅ ℤ
𝐾𝑒𝑟 𝜑
Y solo esto ocurre cuando 𝐾𝑒𝑟 𝜑 es igual a < 𝑓 >, 𝐾4 𝑜 𝐻4
Así, hay tres homomorfismos no triviales de 𝐷4 en ℤ2
Como |𝐷4 | = 8, para ℤ𝑝 con 𝑝 = 3, 5, 7.
Se tiene 𝜑(𝐷4 ) = ℤ𝑝 ya que 𝜑 es no trivial, pero esto indica que 𝜑 es sobreyectiva y
ℤ3 , ℤ5 𝑦 ℤ7 , no son imágenes homomorfas de 𝐷4 , luego no hay homomorfismos no triviales
de 𝐷4 en ℤ3 , ℤ5 𝑦 ℤ7 .
Para ℤ𝑝 con p primo 𝑝 ≥ 11, como 𝜑(𝐷4 ) ≤ ℤ𝑝 , pero no es posible 𝜑(𝐷4 ) = ℤ𝑝 , entonces
𝜑(𝐷4 ) = {0}, luego esto indica que 𝜑 es homomorfismo trivial. Por tanto, no hay
homomorfismos no triviales de 𝐷4 en ℤ𝑝 para p primo 𝑝 ≥ 11.

3. ¿Cuántos homomorfismos no triviales hay en 𝑸𝟖 en ℤ𝒑 ? Donde p es primo.

Si 𝑝 = 2 y 𝜑: 𝑄8 → ℤ2 es un homomorfismo no trivial, entonces 𝜑 es sobreyectiva con

lo cual:
𝑄8
≅ ℤ2
𝐾𝑒𝑟 𝜑

Y solo esto ocurre cuando 𝐾𝑒𝑟 𝜑 es igual a < 𝑎 >, < 𝑏 > o < 𝑎𝑏 >
Así, hay tres homomorfismos no triviales de 𝑄8 en ℤ2 , Como |𝑄8 | = 8, para ℤ𝑝 con 𝑝 =
3, 5, 7, se tiene 𝜑(𝑄8 ) = ℤ𝑝 ya que 𝜑 es no trivial, y esto indica que 𝜑 es sobreyectiva pero
no es posible ya que ℤ3 , ℤ5 𝑦 ℤ7 no son imágenes homomorfas de 𝑄8 . Así, no existen
homomorfismos no triviales de 𝑄8 . Así, no existen homomorfismos no triviales de 𝑄8 en
ℤ3 , ℤ5 𝑦 ℤ7 .
Si p, primo 𝑝 ≥ 11, 𝜑(𝑄8 ) ≤ ℤ𝑝, pero no 𝜑(𝑄8 ) = ℤ𝑝 con lo que 𝜑(𝑄8 ) = {0} lo que
indica que 𝜑 es trivial- Por tanto, no hay homomorfismos triviales de 𝑄8 en ℤ𝑝 , p primo
𝑝 ≥ 11