Interrogación 1

MAT2205: Álgebra Abstracta I

Lunes 27 de septiembre de 2021

Tiempo: 120 minutos + 20 minutos para subir respuesta
Puntaje máximo: 24

1. (6 pts)

Demuestra que Z/3Z × Z/5Z es un grupo cı́clico.

Demuestra que Z/3Z × Z/3Z no es un grupo cı́clico.
Demuestra que D6 y A4 no son isomorfos.

2. (3 pts) Considera un grupo G que tiene dos subgrupos H y K. De-

muestra que H ∪ K es un subgrupo de G sı́ y sólo sı́ H ⊆ K o K ⊆ H.

3. (3 pts) Considera un entero n ≥ 2. Asume que K es un subgrupo

normal de Sn que contiene un ciclo de largo k, para algún 2 ≤ k ≤ n.
Demuestra que K contiene todos los ciclos de largo k de Sn .

4. (6 pts) Demuestra que S4 no tiene subgrupos normales de orden 8.

5. (6 pts) Considera a D8 y D4 como subgrupos de S8 y S4 . Las diagonales

del octógono regular con vértices numerados de 1 a 8 se identifican
con los siguientes conjuntos: d1 = {1, 5}, d2 = {2, 6}, d3 = {3, 7} y,
d4 = {4, 8}. Las simetrias del octógono mapean diagonales a diagonales.
Definimos la función ϕ : D8 → S4 por

ϕ(σ)(i) = j ssi σ(di ) = dj .

Demuestra que ϕ es un homomorfismo.

Encuentra ker ϕ, | ker ϕ| y calcula |ϕ(D8 )|.
Demuestra que ϕ(D8 ) = D4 y concluye que D8 / ker ϕ es isomorfo
a D4 .