Álgebra Básica Grado en Matemáticas Examen 1, Grupo E.
Lee detenidamente las preguntas antes de contestarlas.
Justifica todas tus respuestas. Evita los cálculos innecesarios
y las repeticiones.
Nombre y apellido(s):
1. (5 puntos) Preguntas sobre el tema de conjuntos:
(a) (1 punto) Dados tres conjuntos cualesquiera A, B y C, prueba que
(A ∪ B) \ C = (A \ C) ∪ (B \ C).
Solución:
(A ∪ B) \ C = {x | x ∈ A ∪ B ∧ x ∈
/ C}
= {x | (x ∈ A ∨ x ∈ B) ∧ x ∈
/ C}
= {x | (x ∈ A ∧ x ∈
/ C) ∨ (x ∈ B ∧ x ∈
/ C)}
= (A \ C) ∪ (B \ C).
(b) (1 punto) Dada una aplicación inyectiva f : X → Y y dos subconjuntos U, V ⊂ X,
demuestra que
f (U ∩ V ) = f (U ) ∩ f (V ).
Solución: Ya vimos que la inclusión ⊂ es cierta en general. Probemos ⊃ bajo
la hipótesis de que f es inyectiva.
Sea x ∈ f (U ) ∩ f (V ). Esto significa que x ∈ f (U ) y x ∈ f (V ). Como x ∈ f (U ),
existe y ∈ U tal que f (y) = x. Como x ∈ f (V ), existe z ∈ V tal que f (z) = x.
Tenemos pues que f (y) = x = f (z). Al ser f inyectiva, y = z, y U 3 y = z ∈ V ,
por tanto y = z ∈ U ∩ V y x = f (y) = f (z) ∈ f (U ∩ V ).
(c) (1 punto) Dada una aplicación sobreyectiva f : X → Y y un subconjunto U ⊂ Y ,
prueba que
f (f −1 (U )) = U.
Solución: Sabemos que, en general, ⊂ siempre es cierta. Veamos ⊃ suponiendo
la sobreyectividad de f .
Dado y ∈ U , al ser f sobreyectiva existe x ∈ X tal que f (x) = y. Como
f (x) = y ∈ U , tenemos que x ∈ f −1 (U ), y por tanto y = f (x) ∈ f (f −1 (U )).
5 de noviembre de 2018
(d) (2 puntos) En el conjunto R, consideramos la relación definida como x ∼ y ⇔ x2 =
y 2 . Demuestra que es una relación de equivalencia y establece una aplicación biyec-
tiva entre el conjunto cociente R/ ∼ y un subconjunto de R. ¿Cuántos elementos
tienen las distintas clases de equivalencia de esta relación?
Solución: Consideremos la aplicación f : R → R definida como f (x) = x2 .
Claramente, ∼ es la relación definida por f , es decir ∼f , que en general se
define como x ∼f y ⇔ f (x) = f (y). Como tal, ∼ es una relación de equivalencia.
Es más, en virtud del teorema de factorización canónica de una aplicación, f
factoriza de manera única mediante un diagrama conmutativo como el que sigue,
f
R R
π i
f¯
R/ ∼ im f
donde π es la proyección natural e i es la inclusión. La aplicación f¯ está definida
como f¯([x]) = f (x) = x2 y es biyectiva. Además, es fácil ver que im f = [0, +∞),
aunque esto no es relevante. La clase de equivalencia de x ∈ R es
[x] = {y ∈ R | y ∼ x} = {y ∈ R | y 2 = x2 },
ası́ que [x] = {±x} si x 6= 0, que tiene dos elementos, y [0] = {0}, que tiene uno
solo.
2. (5 puntos) Preguntas sobre el tema de grupos:
(a) (3 puntos) Sea (G, ?) un grupo cualquiera. Dotamos al producto cartesiano G × G
de la operación binaria ◦ definida como
(x1 , x2 ) ◦ (y1 , y2 ) = (x1 ? x2 ? y1 ? x−1
2 , x2 ? y2 ).
¿Es (G × G, ◦) un grupo?
Solución: Veamos la asociatividad:
((x1 , x2 ) ◦ (y1 , y2 )) ◦ (z1 , z2 ) = (x1 ? x2 ? y1 ? x−1 2 , x2 ? y2 ) ◦ (z1 , z2 )
= (x1 ? x2 ? y1 ? x−1 −1
2 ? (x2 ? y2 ) ? z1 ? (x2 ? y2 ) , x2 ? y2 ? z2 )
= (x1 ? x2 ? y1 ? y2 ? z1 ? y2−1 ? x−1 2 , x2 ? y2 ? z2 ),
−1
(x1 , x2 ) ◦ ((y1 , y2 ) ◦ (z1 , z2 )) = (x1 , x2 ) ◦ (y1 ? y2 ? z1 ? y2 , y2 ? z2 )
= (x1 ? x2 ? (y1 ? y2 ? z1 ? y2−1 ) ? x−1 2 , x2 ? y2 ? z2 ).
Por tanto ◦ es en efecto asociativa.
Veamos que, si e es el elemento neutro de (G, ?), entonces (e, e) es elemento
neutro para ◦:
(x1 , x2 ) ◦ (e, e) = (x1 ? x2 ? e ? x−1
2 , x2 ? e)
−1
= (x1 ? x2 ? x2 , x2 )
= (x1 , x2 ),
(e, e) ? (x1 , x2 ) = (e ? e ? x1 ? e−1 , e ? x2 )
= (x1 , x2 ).
Hemos usado que e−1 = e.
Estudiemos ahora la existencia de inversos. Dado (x1 , x2 ) ∈ G × G, buscamos
(y1 , y2 ) ∈ G × G tal que
(x1 , x2 ) ◦ (y1 , y2 ) = (e, e) = (y1 , y2 ) ◦ (x1 , x2 ).
Es decir,
(x1 ? x2 ? y1 ? x−1
2 , x2 ? y2 ) = (e, e)
= (y1 ? y2 ? x1 ? y2−1 , y2 ? x2 ).
Esto equivale a que se cumplan las ecuaciones siguientes:
x2 ? y 2 = e,
y2 ? x 2 = e,
x1 ? x2 ? y1 ? x−1
2 =e
y1 ? y2 ? x1 ? y2−1 = e.
Para que sean ciertas las dos primeras es necesario y suficiente que y2 = x−1
2 .
La cuarta nos obliga a tomar
y1 = (y2 ? x1 ? y2−1 )−1
= (y2−1 )−1 ? x−1
1 ? y2
−1
= y2 ? x−1
1 ? y2
−1
= x−1 −1
2 ? x1 ? (x2 )
−1 −1
= x−1 −1
2 ? x1 ? x 2 .
La tercera ecuación se cumple para esta elección de y1 ,
x1 ? x2 ? y1 ? x−1 −1 −1 −1
2 = x1 ? x2 ? (x2 ? x1 ? x2 ) ? x2
= x1 ? x−1
1
= e.
Por tanto existen elementos inversos y de hecho
(x1 , x2 )−1 = (x−1 −1 −1
2 ? x1 ? x2 , x2 ).
Esto prueba que (G × G, ◦) es un grupo.
(b) (2 puntos) Encuentra un elemento de orden 6 en S5 . ¿Hay algún elemento de orden
6 en S2 , S3 o S4 ? ¿Y en Sn para n > 5?
Solución: Razonaremos con la descomposición (única) de cualquier permuta-
ción como producto de ciclos disjuntos.
En S5 , los ciclos pueden tener longitud como máximo 5. Como la longitud de
un ciclo coincide con su orden, ninguno tendrá orden 6.
En un productos de dos ciclos disjuntos en S5 , puede ocurrir que ambos tengan
longitud 2, o uno 2 y otro 3. En el primer caso es fácil ver que el orden es 2
(véase más abajo). Veamos un ejemplo del segundo. Sea σ = (1 2)(3 4 5). El
ciclo (1 2) tiene orden 2 y (3 4 5) tiene orden 3. Como son disjuntos,
σ 2 = (1 2)2 (3 4 5)2
= (3 4 5)2
= (3 5 4),
σ = (1 2)3 (3 4 5)3
3
= (1 2),
σ = (1 2)4 (3 4 5)4
4
= (3 4 5)
σ = (1 2)5 (3 4 5)5
5
= (1 2)(3 4 5)2
= (1 2)(3 5 4),
σ = (1 2)6 (3 4 5)6
6
= ().
En el último paso usamos que 6 es divisible tanto por 2 como por 3. Ası́ que
en efecto σ ∈ S5 tiene orden 6. Este mismo argumento también prueba que
(1 2)(3 4 5) ∈ Sn tiene orden 6 para todo n > 5.
En S2 , el único elemento distinto del neutro es (1 2), que tiene orden 2, ası́
que ninguno tiene orden 6. En S3 , todos los elementos no triviales son ciclos,
tres de longitud 2 y dos de longitud 3. Ninguno de ellos tiene orden 6. En S4 ,
los ciclos tienen como máximo orden 4. Aquı́ sı́ que hay elementos que nos son
ciclos, pero han de ser producto de exactamente 2 ciclos disjuntos, cada uno
de ellos de longitud 2, es decir τ = (i j)(k l), con {i, j, k, l} = {1, 2, 3, 4}. Esta
permutación tiene orden 2 porque no es el elemento neutro pero, al ser los ciclos
disjuntos,
τ 2 = (i j)2 (k l)2 = ().
Esto excluye la posibilidad de que haya elementos de orden 6 en S4 .
