Universidad Complutense de Madrid AGA

Grupos T1 & T3 Curso 2023-24

ESTRUCTURAS ALGEBRAICAS
Entrega de trabajo en grupos

Instrucciones – léanse atentamente

El siguiente trabajo de ejercicios se realizará en grupos de 4 estudiantes.

La nota de estos ejercicios contará un 15 % de la evaluación ordinaria.

Hay 2 ejercicios, con varios apartados. Se recomienda leer con calma los enunciados. No todos los aparta-
dados son equiparables en dificultad y no están ordenados por dificultad.

Aunque no se haya resuelto un apartado, se puede suponer el resultado y utilizarlo en apartados posteriores.

Se puede usar cualquier material del curso como ayuda.

En caso de dudas sobre los enunciados, se me puede preguntar por email (alejandra.garrido@ucm.es) o en
persona.

La entrega se hará antes del martes 31 de octubre a las 23:59, a través de Moodle.

Se debe subir un único archivo en formato pdf, en el que consten los nombres de quienes integran el
grupo por orden alfabético del primer apellido: Apellidos1_Apellidos2_Apellidos3_Apellidos4.pdf.
Por ejemplo, si el grupo está formado por Alicia Álvarez López, Roberto Bruguero Garcı́a, Marı́a Casas
Sánchez y Bob Dylan, el archivo se llamará

AlvarezLopez_BrugueroGarcia_CasasSanchez_Dylan.pdf

Los ejercicios deben aparecer en orden en el documento entregado, empezando el segundo ejercicio en una
página nueva.

Se tendrá en cuenta en la evaluación del trabajo la claridad y presentación de las soluciones, valorando
positivamente las soluciones más eficientes y/o elegantes.

Se deben explicar claramente los pasos lógicos.

Se pueden usar los resultados vistos en teorı́a (sin necesidad de demostración) siempre que se identifiquen
claramente.

Enunciados
Ejercicio 1. b al conjunto Q ∪ {∞} donde ∞ es tratado como un sı́mbolo. Se definen dos
Denotamos por Q
b →Q
funciones a, b : Q b por

(  x
x 7→ 2x+1 x ∈ Q \ { −1
2 }
x 7→ x + 2, x∈Q

−1
a: b: 2 7→ ∞
∞ 7→ ∞ 
∞ 7→ 1

2

1
a) Demostrar que a, b ∈ Biy(Q).
b

b) Demostrar que a y b tienen orden infinito.

c) Demostrar que para todo n ∈ Z∗ y para todo x ∈ Q se tiene que |x| < 1 ⇒ |an (x)| > 1 y que |x| > 1 ⇒
|bn (x)| < 1.

Sea L := ⟨a, b⟩. A una expresión de la forma

ai1 bj1 . . . aim bjm , i1 , jm ∈ Z, j1 , i2 . . . , jm−1 , im ∈ Z∗ (1)

se le dice producto reducido.

d) Usando el apartado c, o de otra manera, demostrar que si l = ai1 bj1 . . . aim bjm , i1 , jm ∈ Z, j1 , i2 . . . , jm−1 , im ∈
Z∗ es un producto reducido entonces l ̸= idQ
b.
e) Concluir que todos los elementos L se escriben de manera única como productos reducidos.
f) Demostrar que si G es un grupo generado por dos elementos, existe un homomorfismo sobreyectivo f : L → G.
Dar la definición del homomorfismo en términos de los generadores de G.
g) Sea D := ⟨σ, τ ⟩ ≤ Biy(Z) el grupo diédrico infinito, definido en el ejercicio 5 de la hoja 4. Demostrar que si
f : L → D es un homomorfismo construido como en el apartado anterior, entonces, para cualquier N ≤ L tal
que ker(f ) ≤ N se tiene que a2 , b2 ∈ N . Concluir que ker(f ) = {N ⊴ L | a2 , b2 ∈ N }.
T

h) Sea C := {l−1 a2 l, l−1 b2 l | l ∈ L}. Demostrar que ker(f ) = ⟨C⟩. Concluir que L/⟨C⟩ ∼
= D.

Ejercicio 2. Sea G un grupo abeliano.

a) Demostrar que α : G → G, x 7→ x−1 es un automorfismo de G.
b) Sea C2 = ⟨a⟩ el grupo cı́clico de orden 2. Mostrar, dando su definición, un homomorfismo inyectivo no trivial
Θ : C2 → Aut(G).

Sea SΘ (C2 , G) := {(c, g) | c ∈ C2 , g ∈ G} = C2 × G. Definimos una operación ⋆ : SΘ (C2 , G) × SΘ (C2 , G) →

SΘ (C2 , G) de la siguiente forma:

(c1 , g1 ) ⋆ (c2 , g2 ) = (c1 c2 , Θ(c2 )(g1 )g2 ).

c) Escribir la tabla de Cayley de (SΘ (C2 , C3 ), ⋆) donde C3 = ⟨b⟩.

d) Demostrar que (SΘ (C2 , G), ⋆) es un grupo, explicitando su neutro y los inversos.
e) Demostrar que si los elementos de G tienen orden 2 a lo sumo entonces (SΘ (C2 , G), ⋆) es el producto directo
C2 × G.
f) Demostrar que (SΘ (C2 , G), ⋆) es abeliano si y sólo si los elementos de G tienen orden 2 a lo sumo.
g) Demostrar que si G es cı́clico de orden al menos 3 entonces (SΘ (C2 , G), ⋆) es diédrico de grado |G|.
h) Sea G = (R2 , +). Hallar un isomorfismo entre (SΘ (C2 , G), ⋆) y el grupo de transformaciones afines del plano
real ( ! )
±I2 ⃗v 2
: ⃗v ∈ R ≤ GL(3, R).
0 1