Departamento de Matemática

MAT214 - Estructuras Algebraicas

2024-1

Ayudantía 3
Profesor: José Aburto A.
Ayudante: Joshue Mora A.

Problema 1. Dado un grupo G y un elemento g ∈ G, se define el centralizador de g en G como

el conjunto
CG (g) := {h ∈ G | gh = hg}
Muestre que
1. CG (g) ≤ G para cada g ∈ G.
\
2. Z(G) = CG (g).
g∈G

3. Demuestre que G es abeliano si y sólo si CG (g) = G para cada g ∈ G.

Problema 2. El siguiente problema tiene como objetivo dar una guía de resultados que puedan
ser útiles para responder adecuadamente el Problema 3 de la Tarea 1. En lo que sigue, considere
G un grupo finito:
1. Muestre que si G no es abeliano, entonces G/Z(G) no es cíclico.
2. Argumente por qué |G : Z(G)| ≥ 4.
3. Defina el conjunto
L(G) := {(a, b) ∈ G × G | ab = ba}
de esta forma podemos definir la probabilidad de que G sea abeliano por

|L(G)|
P (G) :=
|G|2
X
Muestre que |L(G)| = |CG (g)| y deduzca que
g∈G

|Z(G)| X |CG (g)|

P (G) = +
|G| |G|2
g∈G\Z(G)

n
4. Sea d ∈ N>0 divisor de n ∈ N>0 de forma que d ̸= n. Muestre que d ≤ . Si G no es abeliano,
2
|CG (g)| 1
justifique la desigualdad ≤ .
|G| 2

1
 Departamento de Matemática
MAT214 - Estructuras Algebraicas
2024-1

Problema 3. Sea G un grupo, H ⊴ G subgrupo normal y K ≤ G subgrupo.

1. Muestre que si K es también normal en G y K ≤ H, entonces se tiene un isomorfismo
(G/K)/(H/K) ∼ = G/H.
2. Muestre que HK es un subgrupo de G y que HK = KH.
3. Demuestre que H es normal en HK y que K/(K ∩ H) ∼
= (HK)/H.

Problema 4. El siguiente resultado se conoce como el Teorema de Cayley sobre isomorfía de

grupos:
Teorema: Todo grupo G es isomorfo a algún subgrupo del grupo simétrico S|G| , es decir, a un
grupo de permutación.
Demuestre el Teorema de Cayley.