Tarea 9

David Giraldo R - 201614571

Sección 4.5

3. Sea G un grupo finito y p un divisor primo de |G|. Por Teorema de Sylow, G tiene un Sylow
p-subgrupo P . Dado esto, Z(P ) no es trivial. Entonces Z(P ) es un p-grupo abeliano, y
(por Teorema de Cauchy para grupos abelianos) existe un elemento x ∈ Z(P ) ≤ P ≤ G
de orden p.

14. Sea G un grupo de orden 312. Nótese 312 = 23 · 3 · 13. Por Teo. de Sylow, n13 divide
a 23 · 3 = 24 y es congruente a 1 mod 13. El único número que cumple esto es 1; así
n13 = 1, y el único 13-subgrupo de Sylow de G es normal.

26. Nótese que 105 = 3 · 5 · 7.

Primero se desarrolla el ejercicio 17:
Para ello usamos la siguiente proposición: Sea G un grupo finito y N E G. Para todo
xN ∈ G/N , tenemos |{g ∈ G | gN = xN }| = |N |. Demostración: Observe que
gN = xN si y solo si x−1 g ∈ N si y solo si x−1 g = n para algún n ∈ N si y solo si
g = xn para un n ∈ N . Así, gN = xN cuando g = xn para algún n ∈ N , y diferentes n
lleva a distintos g.
Ahora sea G un grupo de orden 105. Note que 105 = 3 · 5 · 7. Entonces n5 divide 21 y es
congruente con 1 mod 5. Así, n5 ∈ {1, 21}. Igualmente, n7 divide a 15 y es congruente
a 1 mod 7; implicándose n7 ∈ {1, 15}. Supóngase que n5 = 21 y n7 = 15. Porque los 5-
subgrupos y los 7-subgrupos de Sylow de G son cíclicos, intersecan en la identidad. Esto
implica que G tiene como mínimo 21·4+15·6 = 174 elementos, lo cual es contradictorio.
De este modo o n5 = 1 o bien n7 es 1.
Por otro lado, asumamos n5 = 1; entonces el único 5-subgrupo de Sylow, llámese P5 ,
de G es normal. Por el ejemplo de grupos de órdenes de la forma pq donde (p, q) = 1 y
p < q tenemos que, dado que |G/P5 | = 21 = 3 · 7, G/P5 tiene un único 7-subgrupo de
Sylow H de orden 7; note que todo elemento de G/P5 de orden 7 pertenece a H. Según
la proposición, cada elemento de orden 7 en G/P5 tiene 5 preimágenes en G.
Ahora, supóngase que n7 = 15. Por el Teorema de Lagrange y porque H es el único
subgrupo de orden 7 en G/P5 , se tiene que π[P7 ] ≤ H para cada 7-subgrupo de Sylow
P7 ≤ G, donde π : G → G/P5 es la proyección natural. Dado que H tiene orden primo,
π[P7 ] = 1 o π[P7 ] = H. Si π[P7 ] = 1, obtenemos P7 ≤ P5 , lo cual es contradictorio.

Aufgabe № 8 Seite 1 / 3
 Así π[P7 ] = K. Esto significa que todo elemento de orden 7 en G se envía a un elemento
de orden 7 en G/P5 ; hay 15 · 6 = 90 elementos de orden 7 en G, pero los elementos de
orden 7 tienen 6 · 5 = 30 preimágenes en G, otra contradicción.
Finalmente, n7 = 1.
Supóngase que n7 = 1; entonces el único 7-subgrupo de Sylow P7 de G es normal. De
manera análoga, dado que |G/P7 | = 15 = 3·5, G/P7 tiene un único 5-subgrupo de Sylow,
llámese Ω, de orden 5; observe que cada elemento de orden 5 en G/P7 pertenece a Ω. Con
la proposición, se encuentra que cada elemento de orden 5 en G/P7 tiene 7 preimágenes
en G.
Por último, consideremos n5 = 21. De manera similar al caso anterior, se tiene π[P5 ] ≤ Ω
para cada 5-subgrupo de Sylow P5 ≤ G. Asimismo, π[P5 ] = K. Esto es, cada elemento
de orden 5 en G es enviado a un elemento de orden 5 en G/P7 ; hay 21 · 4 = 84 elementos
de orden 5 en G, pero los elementos de orden 5 en G/P7 tienen 4 · 7 = 28 preimágenes
en G, contradicción. Por lo tanto n5 = 1.
Con todo esto, el 7-subgrupo de Sylow y el 5-subgrupo de Sylow son normales en G
Ahora, supongamos que n3 = 1.
Llámese P3 , P5 , y P7 los únicos 3-subgrupo, 5-subgrupo, y 7-subgrupo de Sylow de G
respectivamente.
Por corolario 15 en la sección 4.4, G/CG (P3 ) ≤ Aut(P3 ). Como |Aut(P3 )| = 2, tenemos
G/CG (P3 ) = 1, de modo que P3 ≤ Z(G). De manera similar, G/CG (P5 ) ≤ Aut(P5 ), el
cual es un grupo de orden 4. Por tanto G/CG (P5 ) = 1, y P5 ≤ Z(G).
Ahora hP3 , P5 i ≤ Z(G) ≤ G. Por Teo. de Lagrange, |Z(G)| es o bien 15, o bien 105.
Si |Z(G)| = 15, entonces G/Z(G) ∼ = Z7 es cíclico. Por ende G es abeliano, y tenemos
que |Z(G)| = 105, lo cual es una contradicción.
Entonces |Z(G)| = 105, y G = Z(G). Así G es abeliano.

39. Sabemos que el orden de GLn (Fp ) es

Qn−1 Qn−1 Qn−1 Qn−1 n−i
i=0 (pn − pi ) = i=0 pi (pn−i − 1) = ( i=0 pi )( i=0 (p − 1))

Note que p no divide pn−i − 1 para cualesquiera i. Además, se tiene

Qn−1 Pn−1
i=0 pi = p i=0 i
= pn(n−1)/2

Así, por definición, un p-subgrupo de Sylow de GLn (Fp ) tiene pn(n−1)/2 elementos.
Se sabe que una matriz es estrictamente triangular superior si es una matriz triangular
superior donde las entradas de la diagonal son todas 1. Entonces el número de elementos
del subgrupo de matrices estrictamente triangulares superiores, llámese T Sn< (Fp ), es pM ,

Aufgabe № 8 Seite 2 / 3
 donde M es el número de entradas de la diagonal. [Puede verse que M =
Pn
i=1 n−i=
i=0 i = n(n − 1)/2 inductivamente].
Pn−1

Así ST <
n (Fp ) es un p-subgrupo de Sylow en GLn (Fp ).

40. Sabemos que |GL2 (Fp )| = (p2 − 1)(p2 − p) = p(p − 1)2 (p + 1). Por Sylow, el número
np de p-subgrupos de Sylow divide a (p − 1)2 (p + 1) y es congruente con 1 mod p.
En el ejercicio anterior se ve que las matrices estrictamente T S <
2 (Fp ) forman un p-subgrupo
de Sylow. Basta probar que T S2< (Fp ) ≤ NGL2 (Fp ) (T S <
2 (Fp )).
" #
a b
Sea A = una matriz triangular superior invertible; entonces
0 c
" #
1/a −b/ac
A−1 =
0 1/c
" #
1 d
Ahora, si B = es estrictamente triangular superior, se tiene
0 1
" #
1 ad/c
ABA−1 = ,
0 1

la cual es estrictamente triangular superior. Por lo tanto, el normalizador de T S <

2 (Fp )
contiene las matrices triangulares superiores de GL2 (Fp ). Hay p(p − 1)2 de estos, desde
que las entradas de la diagonal son arbitrariamente no nulas, mientras las demás entradas
superiores no tienen limitación. Ahora

[G : T S2< (Fp )] = [G : NG (ST < < <

2 (Fp ))][NG (T S 2 (Fp )) : T S2 (Fp )].

Por Sylow, np divide p + 1. Desde np es congruente a 1 mod p, np = 1 o np = p + 1; no

obstante, np 6= 1 dado que las matrices estrictamente triangular superior y estrictamente
triangular inferior conforman p-subgrupos de Sylow distintos, en GL2 (Fp ).

Aufgabe № 8 Seite 3 / 3