Tarea 1 – Estructuras Algebraicas

Profesor: Pedro Montero, Ayudante: Mateo Hidalgo

Departamento de Matemática, Universidad Técnica Federico Santa María
Camilo Mesías Carrizo

Esta Tarea puede ser realizada en grupos de 1 o 2 personas, y se debe indicar el nombre de cada integrante.

1. Generalidades sobre grupos (10 pts). Sea G un grupo arbitrario.

(a) Sea g ∈ G. Pruebe que la función ιg : G → G, x 7→ gxg −1 es un automorfismo de G.

Demostración. Para probar que la función ιg es un automorfismo de G debemos verificar la biyectividad

de la función y que preserva la estructura de grupo, es decir, ιg (ab) = ιg (a) · ιg (b).
(i) Biyectividad: Sean a, b ∈ G tales que:

ιg (a) = ιg (b) =⇒ gag −1 = gbg −1

=⇒ a = b

De ahí tenemos la inyectividad. Ahora, sea y ∈ G y consideremos x = g −1 yg ∈ G tal que:

ιg (x) = g(g −1 yg)g −1

= ygg −1
=y

Lo que verifica la sobreyectividad, y muestra que la función es biyectiva.

(ii) Preserva la estructura de grupo:

ιg (ab) = gabg −1
= gag −1 gbg −1
= ιg (a) · ιg (b)

Por lo anterior, concluimos que la función ιg es un automorfismo de G.

(b) Pruebe que ι : G → Aut(G), g 7→ ιg es un morfismo de grupos y pruebe que ker(ι) = Z(G).

Demostración. Para probar que la función dada es un morfismo de grupos, debemos mostrar que dicha
función preserva su ley de composición interna, es decir, ι(ab) = ι(a) ◦ ι(b).

ι(ab) = gabg −1
= gag −1 gbg −1
= ι(a) · ι(b)

Ahora, veamos que el núcleo ker(ι) = Z(G):

ker(ι) = {h ∈ G | ι(h) = e}
= {h ∈ G | ghg −1 = e}
= {h ∈ G | h = e}
= {h ∈ G | ∀g ∈ G, gh = hh−1 gh}
= {h ∈ G | ∀g ∈ G, gh = he−1 ge}
= {h ∈ G | ∀g ∈ G, gh = hg}
= Z(G)

Hemos demostrado que la función ι es un morfismo y que su núcleo es igual al centro del grupo G.

2. Espacios vectoriales cocientes (15 pts). Sea k un cuerpo y V un k-espacio vectorial de dimensión finita.
Sea W ⊆ V un sub-espacio vectorial.
(a) Pruebe que el grupo abeliano cociente V /W puede ser dotado de estructura de k-espacio vectorial.
 Demostración. Como V es un espacio vectorial, decimos que las operaciones de suma de vectores y
multiplicación por escalares están bien definidas. Además, como W es un sub-espacio vectorial de V ,
las mismas operaciones se cumplirán para W . Ahora bien, dado que la suma de vectores en un espacio
vectorial forma un grupo abeliano, diremos que el sub-espacio vectorial W es un subgrupo normal de
V . De ahí que, W es cerrado bajo la suma e inversión de vectores.

Ahora bien, consideremos el grupo cociente V /W , que son las clases de equivalencia de elementos de V ,
bajo la relación de congruencia de W. Y tomemos dos clases de equivalencia x + W e y + W en V /W ,
de modo que, para ambas tenemos que:

La suma se define como: (x + W ) + (y + W ) = (x + y) + W

y la multiplicación por escalares se define como: k(x + W ) = (kx) + W

Finalmente, como estas dos operaciones están bien definidas en el grupo abeliano cociente V /W , diremos
que este puede ser dotado de una estructura de k-espacio vectorial.

(b) Pruebe que dimk (V /W ) = dimk (V ) − dimk (W ).

Demostración. Sea {v1 , . . . , vn } una base de V y {w1 , . . . , wm } una base de W , tenemos que, como W
es un sub-espacio vectorial de V, podemos tomar {w1 , . . . , wn , wm+1 , . . . , vn } como base de V .

Ahora notemos que por lo visto en (a), podemos formar {vm + W, vm+1 + W, . . . , vn + W } como base
de V /W . De ahí que, dimk (V ) = dimk (V /W ) + dimk (W ) y por lo tanto, dimk (V /W ) = dimk (V ) −
dimk (W ).

(c) Deducir, usando el Teorema del Isomorfismo de Noether, el Teorema del Rango: Toda aplicación lineal
f : V1 → V2 entre k-espacios vectoriales de dimensión finita cumple que dimk (V1 ) = dimk ker(f )+rg(f ).

Demostración. El teorema del isomorfismo de Noether establece que si f : V → V /W es el morfismo

canónico definido por f (v) = v + W , entonces ker(f ) = W y Im(f ) = V /W . Ahora, aplicando el
teorema del rango a f obtenemos que dimk (V ) = dimk (V /W ) + dimk (W )

3. Acción del grupo ortogonal en Rn (20 pts). Considere la acción natural del grupo ortogonal On (R) en
el espacio vectorial Rn dada por (A, v) 7→ Av para toda A ∈ On (R) y todo v ∈ Rn .
(a) Pruebe que la acción anterior es fiel.
(b) Sea G es un grupo arbitrario actuando sobre un conjunto no-vacío X. Pruebe que para x, y en X con
y = g · x para cierto g ∈ G se tiene que Gy = gGx g −1 .

Demostración. Primero tenemos que Gx es el estabilizador de x en X, y Gy es el estabilizador de y en

Y , definidos de la siguiente manera:

Gx = {g ∈ G : g · x = x}

Gy = {h ∈ G : h · y = y}
Ahora veamos que, usando la asociatividad,

y = g · x ⇒ g −1 · y = g −1 · (g · x) ⇒ g −1 · y = (g −1 · g) · x ⇒ g −1 · y = e · x ⇒ g −1 · y = x

Luego, sea h ∈ Gy , de modo que, h · y = y, entonces

h · y = y ⇒ h · (g · x) = g · x ⇒ (hg) · x = g · x

De ahí que, hg deja fijo a x, de modo que, hg ∈ gGx ⇒ h ∈ gGx g −1 . Y como expusimos inicialmente,
Gy son los h que estabilizan a y ∈ Y , osea que Gy = gGx g −1 , pues ambos estabilizan a los elementos
de Y .

(c) Pruebe que si v ̸= 0 es un vector no-nulo, entonces el estabilizador On (R)v es isomorfo a On−1 (R).
Indicación: Notar que v y w := ∥v∥en están en la misma órbita de la acción, y usar (b).
(d) Deducir que On (R)/ On (R)v está en biyección con la esfera Sn−1 (r) ⊆ Rn de radio r = ∥v∥.
4. Clases de conjugación (5 pts). Describir todas las clases de conjugación del grupo GL2 (C).
Indicación: Se requiere el Teorema de la forma canónica de Jordan.
 Demostración. Sea A ∈ GL2 (C) y A = P JP −1 la forma canónica de Jordan, entonces A−1 = P J −1 P −1 .
Además, si λ1 , λ2 sin los valores propios de A, entonces tr(A) = λ1 + λ2 y tr(A−1 ) = λ11 + λ12 .

De ahí tenemos que las clases de conjugación vienen dadas por las matrices donde
1. los valores propios son distintos:  
λ1 0
0 λ2

2. los valores propios son distintos y están intercambiados:

 
λ2 0
0 λ1

3. solo hay un valor propio de multiplicidad 2:

 
λ 1
0 λ

5. Teoremas de Sylow (10 pts).

(a) Sea p ≥ 2 un número primo y sea n ≥ 1. Determine el orden de los grupos GLn (Fp ) y SLn (Fp ). Considere
el subgrupo Tn (Fp ) ≤ GLn (Fp ) dado por las matrices triangulares superiores con 1 en la diagonal (i.e.,
A = (aij ) ∈ Tn (Fp ) si aii = 1 para todo i ∈ {1, . . . , n} y si aij = 0 para todo i > j) y pruebe que es un
p-subgroup de Sylow de GLn (Fp ). ¿Es Tn (Fp ) un p-subgrupo de Sylow de SLn (Fp )?
(b) Demuestre que todo grupo G de orden 10,000,000 no es simple.

Demostración. Si |G| = 10,000,000, notemos que 10,000,000 = 107 = 27 · 57 , y por el teorema de Sylow
se tiene que n5 ≡ 1 mod 5 y n5 | 27 , por lo que necesariamente n5 = 1. Luego, diremos que G admite un
único 5-subgrupo de Sylow S, el cual necesariamente es normal S ⊴ G. En conclusión, como G contiene
subgrupos normales no triviales, no puede ser simple.

6. Grupos abelianos (10 pts).

(a) Demuestre que para todo primo p ≥ 2 los p-subgrupos de Sylow del grupo producto G1 × G2 , donde G1
y G2 son grupos finitos, son todos de la forma S1 × S2 donde S1 ≤ G1 y S2 × G2 son p-subgrupos de
Sylow. Utilice lo anterior para determinar, para cada p ≥ 2 primo, todos los p-subgrupos de Sylow de

G = Z/2Z × Z/10Z × Z/16Z.

(b) Una expedición de 13 exploradores encuentra un tesoro en una isla, compuesto por monedas de oro
idénticas. Al intentar dividir el tesoro entre ellos les sobraron 8 monedas. Dos miembros del grupo
contrajeron una enfermedad y fallecieron. Al intentar dividir nuevamente el tesoro, les sobraron 3
monedas. Luego de esto, tres exploradores murieron en un accidente. Después de otro intento fallido, en
el que les sobraron 5 monedas, decidieron guardar el tesoro. Tiempo después, se dirijeron a un pueblo de
la isla en el que había exactamente 1136 personas viviendo, y decidieron integrarse al pueblo para iniciar
una nueva vida. Sin embargo, al intentar distribuir equitativamente el tesoro entre todos los habitantes
del pueblo (incluyéndose a ellos), nuevamente les sobraron monedas. ¿Cuántas monedas sobraron?

Demostración. Si generamos un sistema de congruencias para este problema tenemos que:

x ≡ 8 (mod13)
x ≡ 3 (mod11)
x ≡ 5 (mod8)

donde x es el número de monedas. Ahora bien, como mcd(13, 11, 8) = 1 podemos aplicar el Teorema
Chino del Resto para encontrar la solución general del sistema de congruencias.

Una solución particular de este sistema viene dada por:

x0 = r1 d1 M1 + r2 d2 M2 + r3 d3 M3
donde r1 = 8, r2 = 3, r3 = 5. Por otro lado, los valores M1 , M2 , y M3 vienen dados por:
M
M1 =
13
M
M2 =
11
M
M3 =
8
aquí, el valor M = 13 · 11 · 8 = 1144, entonces:
1144
M1 = = 88
13
1144
M2 = = 104
11
1144
M3 = = 143
8
Luego, generamos otro sistema de congruencias

88d1 ≡ 1 (mod13) → 10d1 ≡ 1 (mod13) → d1 ≡ 4 (mod13)

104d2 ≡ 1 (mod11) → 5d2 ≡ 1 (mod11) → d2 ≡ 13 (mod11)
143d3 ≡ 1 (mod8) → 7d3 ≡ 1 (mod8) → d3 ≡ 7 (mod8)

Ahora tenemos todos los valores para encontrar nuestra solución particular:

x0 = 8 · 4 · 88 + 3 · 13 · 104 + 5 · 7 · 143 = 11877

Para la solución general, tendremos que:

xk = 11877 + 1144k (módulo 1144)

xk = 437 + 1144k

son todas las soluciones del sistema de congruencias, con k número entero. Finalmente, podemos encon-
trar el número de monedas que van a sobrar si repartimos entre 1136 personas, pues para k = 0 harían
falta monedas, para k = 1 tenemos que xk = 1581 sería el total de monedas a repartir, de modo que,
las monedas sobrantes van a ser 445.
Finalmente, debe escoger sólamente un problema (A o B) para resolver.

Problema A (30 pts)

El objetivo de este problema es estudiar el grupo de transformaciones afines de Fp . Más precisamente, dado p ≥ 2
un número primo fijo, definimos G como el grupo de biyecciones f : Fp → Fp de la forma x 7→ f (x) = ax + b para
cierto a ∈ Fp y b ∈ Fp .
(A1) Determinar el orden de G.

Demostración. Veamos que cada transformación afín f (x) = ax + b está completamente determinada por
valores de Fp . Además, tenemos p-valores posibles para a y p-valores posibles para b, entonces habrá un total
de p × p = p2 combinaciones posibles en Fp × Fp que generan una transformación afín única, y cada una de
ellas genera un elemento único en G. De ahí que el orden de G es p2 .

(A2) Escribamos Fp = {0, 1, . . . , p − 1}, donde 0 = [0]p , . . . , p − 1 = [p − 1]p por abuso de notación. Con la notación
anterior, y si pensamos a G como un subgrupo de Sp , ¿cuál es la permutación asociada a la función afín τ
dada por x 7→ x + 1?

Demostración. Veamos que la función afín τ dada por x 7→ x + 1 es la función que suma 1 a los elementos
de Fp . Ahora, como la adición se realiza módulo p, la acción de τ sobre cada x, será x + 1. De modo que,
0 7→ 0 + 1 = 1
1 7→ 1 + 1 = 2
2 7→ 2 + 1 = 3
..
.
p − 2 7→ p − 2 + 1 = p − 1
p − 1 7→ p − 1 + 1 = p ≡ 0 (mod p)
Por lo tanto, la permutación asociada a τ en Sp , será la que desplaza cada elemento en Fp una posición a la
derecha, es decir, el ciclo (0 1 2 . . . p − 2 p − 1).

(A3) Determine todos los p-subgrupos de Sylow de G.

Demostración. Sea m = 1, veamos que |G| = p2 m, donde p divide a |G|, pero no a m. Luego, por el teorema
de Sylow, si np es el número de p-subgrupos de Sylow, entonces np ≡ 1 (mod p).

(A4) Demostrar que G actúa fielmente sobre Fp .

(A5) Demostrar que G actúa transitivamente sobre Fp .

Problema B (30 pts)

El objetivo de este problema es estudiar cocientes de grupos y consencuencias del Teorema del isomorfismo de
Noether. Consideremos G un grupo arbitrario, K ≤ G un subgrupo arbitrario, y H ⊴ G un subgrupo normal.
(B1) Sea p : G → G/H la proyección canónica. Demuestre que las aplicaciones
{subgrupos de G/H} −→ {subgrupos de G que contienen H}
K ′ 7−→ p−1 (K ′ )
p(K) →−7 K
son biyecciones y son inversas una de la otra. Además, pruebe que K ′ es un sub-grupo normal de G/H si y
solamente si p−1 (K ′ ) es un sub-grupo normal de G.
(B2) Probar que si K ⊴ G también es un subgrupo normal y si H ≤ K entonces hay un isomorfismo
(G/H)/(K/H) ∼
= G/K.

(B3) Probar que si HK := {hk, h ∈ H y k ∈ K} entonces HK es un subgrupo de G, y probar que HK = KH.

(B4) Probar que H es un subgrupo normal de HK.
(B5) Probar que hay un isomorfismo K/(K ∩ H) ∼
= (HK)/H.
Bonus (20 puntos extra, opcional)
El objetivo de este problema es caracterizar los números primos que pueden escribirse como suma de dos cuadrados.
Notamos que 2 = 12 + 12 , por lo que consideramos números primos p ≥ 3 de aquí en adelante.

(i) Probar que si p = x2 + y 2 para ciertos x, y ∈ Z entonces p ≡ 1 mód 4.

Para probar que todo primo p ≥ 3 tal que p ≡ 1 mód 4 es necesariamente la suma de dos cuadrados, dividiremos
la demostración en dos etapas:
Descenso: Si p divide x2 + y 2 para ciertos x, y ∈ Z con mcd(x, y) = 1, entonces p = u2 + v 2 para ciertos enteros
u, v ∈ Z.
Reciprocidad: Si p ≡ 1 mód 4, entonces p divide x2 + y 2 para ciertos x, y ∈ Z con mcd(x, y) = 1.
Comencemos por probar la etapa de descenso. Para ello, primero veamos que si N = a2 + b2 con a, b ∈ Z tales
que mcd(a, b) = 1, y si suponemos que existe un primo q = x2 + y 2 para ciertos x, y ∈ Z tal que q divide N ,
entonces N/q también es suma de dos cuadrados de enteros relativamente primos:

(ii) Probar que x2 N − a2 q = (xb − ay)(xb + ay). En particular, cambiando a por −a si fuese necesario, podemos
suponer que q divide xb − ay (i.e., xb − ay = dq para cierto d ∈ Z). Probar que en tal caso x divide a + dy.
Indicación: Como x e y son relativamente primos, x divide a + dy si y sólo si divide (a + dy)y.
(iii) Con la notación de (ii), si escribimos a + dy = cx para cierto c ∈ Z, probar que b = dx + cy. Deducir a partir
de las dos relaciones anteriores que N = q(c2 + d2 ), y concluir que mcd(c, d) = 1.
Indicación: Recordar que si z = x + iy, w = c + id ∈ C, entonces la igualdad |zw|2 = |z|2 |w|2 equivale a
(x2 + y 2 )(c2 + d2 ) = (cx − dy)2 + (dx + cy)2 .

Para completar la etapa de descenso, consideremos p ≥ 3 primo que divida cierto N = a2 +b2 , donde mcd(a, b) = 1:
(iv) Probar que, cambiando N si fuese necesario, podemos suponer que |a| < p/2 y |b| < p/2, y luego N < p2 /2.
Indicación: Si m ∈ Z y cambiamos a por a + mp y b por b + mp, entonces p sigue dividiendo a2 + b2 y
una elección adecuada de m permite obtener las desigualdades. Si los nuevos a y b no son primos entre sí,
considerar a/d y b/d, con d = mcd(a, b).
(v) Deducir de (iv) que todos los divisores primos q de N , con q ̸= p, verifican q < p. Concluir la etapa de
descenso utilizando el resultado probado en (ii) y (iii).
Indicación: Si q < p factor primo de N =: N0 fuera suma de dos cuadrados, considerar N1 := N/q. Notar
que p divide N1 , y podemos repetir el proceso. Justificar que el descenso se detiene.
Finalmente, para probar la etapa de reciprocidad, consideremos p ≥ 3 primo tal que p ≡ 1 mód 4 y escribamos
p = 4k + 1:

(vi) Usar el pequeño teorema de Fermat1 para probar que (x2k − 1)(x2k + 1) ≡ 0 mód p para todo x ̸≡ 0 mód p.
Probar que existe al menos un x ̸≡ 0 mód p tal que x2k − 1 ̸≡ 0 mód p y deducir la etapa de reciprocidad.
Indicación: Recuerde que en un cuerpo k, la ecuación xn = 1 posee a lo más n soluciones.

En conclusión, un primo p ≥ 3 es suma de dos cuadrados si y sólo si p ≡ 1 mód 4.

1 El pequeño teorema de Fermat afirma que para todo número primo p y todo n ∈ Z se tiene que np ≡ n mód p.