Facultad de Matemáticas e Ingenierı́as

Algebra Abstracta
Estudiante: Luisa Fernanda Rodriguez Martinez, Cod 614152011
Grupo 51
Parcial Final

Nota: Este parcial fue desarrollado en grupo con Maria Jose Cabrera

Problema 2. Let G be a group and let x, y ∈ G. The commutator of x and y is the element
[x, y] := xyx1 y 1 . Notice that x and y commute if and only if [x, y] = e.

a) Let H be a group and let φ : G → H be a homomorphism. Show that for all x, y ∈ G we have
that φ([x, y]) = [φ(x), φ(x)]. Conclude that if H is abelian then [x, y] ∈ Ker(φ) for all such φ.

b) Let [G, G] be the subgroup generated by all the commutators of G i.e., [G, G] := h{[x, y] :
x, y ∈ G}i. Show that [G, G] E G and that G/[G, G] is abelian.

c) Show that G is abelian iff its commutator subgroup [G, G] is trivial.

Solución .
a) Let H be a group and let φ : G → H be a homomorphism. Show that for all x, y ∈ G we have
that φ([x, y]) = [φ(x), φ(x)]. Conclude that if H is abelian then [x, y] ∈ Ker(φ) for all such φ.

Primero vamos a ver que se cumple lo siguiente: φ([x, y]) = [φ(x), φ(x)]

φ([x, y]) = φ(xyx−1−1 ) = φ(x)φ(y)φ(x−1 )φ(y −1 )

Esto se cumple porque φ es homomorfismo.

φ(x)φ(y)φ(x−1 )φ(y −1 ) = φ(x)φ(y)φ(x)−1 φ(y)−1

Esto se cumple porque la imagen de una inversa es la inversa de la imagen.

φ(x)φ(y)φ(x)−1 φ(y)−1 = [φ(x), φ(y)]

Por definición de conmutador.
Ahora vamos a ver que, si H es abeliano entonces [x, y] ∈ Ker(φ) para todos los φ
Se cumple que φ([x, y]) = φ(x)φ(y)φ(x−1 )φ(y −1 ) dado que H es abeliano, por lo que podemos
conmutar φ(x)φ(y)φ(x−1 )φ(y −1 ) = φ(x)φ(x−1 )φ(y)φ(y −1 ) = e. Por lo tanto, si H es abeliano,
todo elemento del conmutador pertenece al Kernel de φ.

b) Let [G, G] be the subgroup generated by all the commutators of G i.e., [G, G] := h{[x, y] :
x, y ∈ G}i. Show that [G, G] E G and that G/[G, G] is abelian.
Primero queremos probar que: [G, G] es normal.

Sea a ∈ [G, G], entonces a = xyx−1 y −1 , ası́ si un g ∈ G entonces gag −1 = gxyx−1 y −1 g −1 .

Operando g y g −1 dentro de la igualdad anterior se obtiene:

1
 gxyx−1 y −1 g −1 = gx(g −1 g)y(g −1 g)x−1 (g −1 g)y −1 g −1
Asociando,

gx(g −1 g)y(g −1 g)x−1 (g −1 g)y −1 g −1 = (gxg −1 )(gyg −1 )(gx−1 g −1 )(gy −1 g −1 )

(gxg −1 )(gyg −1 )(gx−1 g −1 )(gy −1 g −1 )) = (gxg −1 )(gyg −1 )(gxg −1 )−1 (gyg −1 )−1
Se observa que lo anterior pertenece al conmutador, es decir, gag −1 ∈ [G, G], por lo tanto
g[G, G]g −1 = [G, G], lo que significa que es normal.

Ahora vamos a probar que: G/[G, G] es abeliano.

Sea el conjunto de clases a[G, G], b[G, G] ∈ G/[G, G]. Ahora,

a[G, G]b[G, G] = ab[G, G]

De tal manera, nótese que : ba(a−1 b−1 ab) = ab, entonces las clases ab[G, G] = ba(a−1 b−1 ab)[G, G].
Como a−1 b−1 ab ∈ [G, G], entonces ab[G, G] = ba[G, G], esto implica que :

a[G, G]b[G, G] = b[G, G]a[G, G]

es decir, que son conmutativos, por lo tanto abeliano.

c) Show that G is abelian iff its commutator subgroup [G, G] is trivial.

⇒
Queremos ver que: [G, G] = e
Sabemos que G es abeliano, entonces xyx−1 y −1 = xx−1 yy −1 = e para todo x, y ∈ G. Por tanto,
[G, G] = e.
⇐
Queremos ver que : G es abeliano.
Sabemos que [G, G] = e, entonces xyx−1 y −1 = e, operando yx a derecha, tenemos que xy = yx,
por lo tanto es abeliano.

Problema 3. Let H be the upper half complex plane i.e., H := {z ∈ C | im(z) > 0}.
 
a b aτ +b
a) Let γ := ∈ SL2 (R) and τ ∈ H. Show that γ · τ := cτ +d ∈ H.
c d

b) Show that the function SL2 (R) × H; (γ, τ ) 7→ γ · τ defined in (a) is an action of SL2 (R) on H.

c) Let i ∈ H be the square root of 1. Show that the orbit of i under the action of SL2 (R) is H.

d) Show that StabSL2 (R) (i) = SO2 (R).

e) Show that there exists a bijection between SL2 (R)/SO2 (R) and H.

Solución

2
  
a b aτ +b
a) Let γ := ∈ SL2 (R) and τ ∈ H. Show that γ · τ := cτ +d ∈ H.
c d

aτ +b (cτ̄ +d)
cτ +d · (cτ̄ +d) con e = (cτ + d)(cτ̄ + d) , e > 0
aτ +b (cτ̄ +d) (aτ +b)(cτ̄ +d)
cτ +d · (cτ̄ +d) = e = acτ τ̄ +adτe+bcτ̄ +bd
acτ τ̄ +adτ +bcτ̄ +bd
e = acτ τ̄e+bd + ad(x+iy)+bc(x−iy)
e + ... + adx+bcx+adiy−bciy
e = acτ τ̄ +db
e + adx+bcx
e + iy
e

y
im(γ · τ )= e >0

b) Let i ∈ H be the square root of 1. Show that the orbit of i under the action of SL2 (R) is H.

Identidad:
 
1 0
Sea γ :=
0 1
1τ +0
γ·τ = 0τ +1 =τ

Compatibilidad:

Sea
   
a b e f
γ := τ :=
c d g h

e(aτ +b)+f (cτ +d)

e aτ +b
cτ +d + f cτ +d e(aτ + b) + f (cτ + d) eaτ + be + f cτ + f d
β · (γ · τ ) = = = =
g aτ +b
cτ +d +h g(aτ +b)+h(cτ +d)
cτ +d
g(aτ + b) + h(cτ + d) gaτ + bg + hcτ + dh

(ea + f c)τ + (eb + dc)

= = (β · γ) · τ
(ga + hc)τ + (gb + hd)
c) Let i ∈ H be the square root of 1. Show that the orbit of i under the action of SL2 (R) is H.

Para esto probamos que:

orb(i) ⊂ H y H ⊂ orb(i)
- orb(i) ⊂ H fue probado en (a).
- H ⊂ orb(i):
sea x + iy un número complejo, tal que:
 
a b ai + b
·i= = x + iy
c d ci + d
entonces,

ai + b (d − ci) bd − bci + adi + ac

· = = x + iy
ci + d (d − ci) d2 + c2

3
 bd − bci + adi + ac bd + ac + i(ad − bc)
= = x + iy
d2 + c2 d2 + c2
bd + ac + i(ad − bc) bd + ac + i
= = x + iy
d2 + c2 d2 + c2
bd + ac 1
x= y= 2
d2 + c2 d + c2
Por lo tanto, x + iy puede ser escrito como un elemento de la órbita de i.

d) Show that StabSL2 (R) (i) = SO2 (R).

Probaremos que StabSL2 (R) (i) = SO2 (R)

- StabSL2 (R) (i) ⊂ SO2 (R)

Si x ∈StabSL2 (R) (i)

xi = i

 
a b
x=
c d

ai + b
xi =
ci + d

(ci + d)xi = ai + b

−c + di = ai + b

a=d b = −c

 
a −c
x= ∈ SO2 (R)
c a

- SO2 (R) ⊂ StabSL2 (R) (i)



a −c
Sea x ∈ SO2 (R) tal que x =
c a
ai − c ai − c −ci + a ac + a2 i + c2 i − ca i(a2 + c2 )
xi = = · = = =i
ci + a ci + a −ci + a c2 + a2 a2 + c2
x ∈ StabSL2 (R) (i)

e) Show that there exists a bijection between SL2 (R)/SO2 (R) and H.

Sea f : SL2 (R) →H

4
  
a −c ai+b
x= 7 →
− ci+d
c a

como probamos en (b), f (xg) = f (x)f (g), por lo tanto, es un homomorfismo de grupos, cuyo
kernel es SO2 (R).
Por lo tanto, por el teorema de isomorfismo

SL2 (R)
≡H
SO2 (R)
es decir, existe una biyección.

Problema 4. Let p be a prime. The purpose of this problem is to show that every finite group
of order divisible by p has an element of order p (This is known as Cauchy’s theorem for groups).

a) Let H be a non trivial finite p-group i.e., a group which cardinality is a power of p. Suppose
that H is abelian. Show that there is h ∈ H such that the order of h is p. (Hint: Take a non
trivial element h1 of H. Show that some power of h1 has order p.)

b) Let G be a finite group of order n and suppose p|n. Show that G contains an element of order
p. (Hint: Use the existence part of Sylow theorem, and the fact the p-groups have non trivial
center, to apply the previous item).

Solución

a) Let H be a non trivial finite p-group i.e., a group which cardinality is a power of p. Suppose
that H is abelian. Show that there is h ∈ H such that the order of h is p. (Hint: Take a non
trivial element h1 of H. Show that some power of h1 has order p.)
n
Consideremos g ∈ H no trivial, para el cual g p = e, entonces si n > 1, se obtiene
n−1 ·p
gp =e

n−1
(g p )p = e
n−1
Por lo tanto, g p tiene orden p.

b) Let G be a finite group of order n and suppose p|n. Show that G contains an element of order
p. (Hint: Use the existence part of Sylow theorem, and the fact the p-groups have non trivial
center, to apply the previous item).

Dado que G es un grupo finito de orden n y n = kpm con m > 0, entonces por el Teorema de
existencia de Sylow, existe un p-subgrupo de sylow de G con orden pm . Por el (a) existe un h
para el cual su orden es p.

5
Problema 5. Let n > 2 be a positive integer and let Sn be the symmetric group on n symbols.

a) Show that Z(Sn ) is trivial.

b) Show that [Sn , Sn ] ⊆ An .

c) Show that [S3 , S3 ] ⊆ A3 . (hint: what are the normal subgroups of S3 ? Use this and problem
2.c)

Solución

a) Show that Z(Sn ) is trivial.

Supongamos que x ∈ Z(Sn ) tal que x no es trivial.

Sea a, b ∈ {1, 2, 3, ..., n} con a 6= b.

Considere y ∈ Sn tal que y(a) = a y y(b) 6= b

x(y(a)) = x(a) = b

y(x(a)) = y(b) 6= b →←
.
Por lo tanto, el centro debe ser trivial.

b) Show that [Sn , Sn ] ⊆ An .

Se sabe que An es un subgrupo normal en Sn y además el ı́ndice [Sn : An ] = 2 (esta de-

mostración hace parte de un ejercicio del Problema 1, por lo que se toma como cierta), por
lo tanto, Sn /An es abeliano.

Sea a, b ∈ Sn , por lo tanto:

abAn = aAn · bAn = bAn · aAn = baAn

abAn = baAn
esto solo ocurre si:

ab(ba)−1 An = An

aba−1 b−1 An = An ⇒ aba−1 b−1 ∈ An

aba−1 b−1 ∈ [Sn : Sn ] ⊆ An

De tal manera que [Sn : Sn ⊆ An ]

6
c) Show that [S3 , S3 ] ⊆ A3 . (hint: what are the normal subgroups of S3 ? Use this and problem
2.c)

Los subgrupos normales de S3 son A3 y el grupo trivial, los cuales son los únicos que tiene S3 .
Por (2.c) al no ser Sn un grupo abeliano, si n > 2 como es el caso, entonces [S3 , S3 ] no puede
ser trivial, por lo tanto [S3 , S3 ] ⊆ A3

Problema 6.

a) Find up to isomorphism all abelian groups of order 360.

b) Let G be a group of order 504. For each prime divisor p of the order of G find the size of a
p-Sylow subgroup of G.

c) Let H be a group of order 45. For each prime divisor p of the order of H find the number of
p-Sylow subgroups of H.

d) Let H be a group of order 45. Show that H has at least four normal subgroups.

Solución

a) Find up to isomorphism all abelian groups of order 360.

360 = 23 · 32 · 5

g2 × g2 × g2 × g3 × g3 × g5 ∼
= g30 × g6 × g2

g2 × g2 × g2 × g9 × g5 ∼
= g90 × xg2 × g2

g2 × g4 × g3 × g3 × g5 ∼
= g60 × g3 × g2 ∼
= g60 × g6

g2 × g4 × g3 × g5 ∼
= g180 × g2

g8 × g3 × g3 × g5 ∼
= g120 × g3

g8 × g9 × g5 ∼
= g360

b) Let G be a group of order 504. For each prime divisor p of the order of G find the size of a
p-Sylow subgroup of G.

504 = 23 · 32 · 7

|P2 | = 23 = 8

7
 |P3 | = 32 = 9

|P7 | = 71 = 7

c) Let H be a group of order 45. For each prime divisor p of the order of H find the number of
p-Sylow subgroups of H.

45 = 32 · 5

n3 |5 n3 ≡ 1mod(3)

n5 |9 n5 ≡ 1mod(5)

n3 = 1 n5 = 1
Solo hay un 3-sylow y un 5-sylow.

d) Let H be a group of order 45. Show that H has at least four normal subgroups.

Debido a que n3 = 1 y n5 = 1, los subgrupos 3-sylow y 5-sylow son normales, además, H

es normal consigo mismo y el subgrupo trivial. Por lo que H tiene mı́nimo 4 subgrupos nor-
males.