Estructuras Algebraicas U.

Complutense de Madrid
Grupos M3 & M4 Curso 2023-2024

Hoja de problemas 8
(Soluciones)

1. Determinar cuáles de las siguientes funciones α : G → Biy(X) dan lugar a una acción del
grupo G en el conjunto X:
(a) G = Z, X = R y sea α(z) = ze : X → X la función ze(x) = zx.
(b) G = R∗ , X = R2 y sea α(r) = re : X → X la función re(x, y) = (rx, 0).
Solución. Ninguna es una acción. En (a) la función α : Z → R no es un homomorfismo.
En efecto, dado z1 , z2 ∈ Z y x ∈ R vemos que z^ 1 + z2 (x) = (z1 + z2 )x pero sin embargo
(ze1 ze2 )(x) = z1 z2 x. Por otro lado, la función re : X → X no es una biyección; de hecho no
es inyectiva ni sobreyectiva.
2. Sea α : G → Biy(X) una acción del grupo G sobre el conjunto X ̸= ∅. Demostrar que el
núcleo de la acción es la intersección de los estabilizadores, i.e. demostrar que:
\
ker(α) = Gx .
x∈X

Solución. Dado un g ∈ G, aplicando las definiciones vemos que:

\
g ∈ ker(α) ⇔ α(g) = ge = id ⇔ ∀x ∈ X, ge(x) = x ⇔ ∀x ∈ X, g ∈ Gx ⇔ g ∈ Gx .
x∈X

3. Sea G el subgrupo de S7 generado por σ = (1, 3, 5)(2, 6) ∈ S7 . Considerar la acción de G

sobre el conjunto {1, . . . , 7}.
(a) Calcular todas las órbitas de los elementos de {1, . . . , 7}. ¿Cuántos puntos fijos tiene
la acción?
(b) Determinar todos los estabilizadores de los elementos de {1, . . . , 7} y calcula el núcleo
de la acción.
Solución. (a) La órbita de un i es Oi = {i, σ(i), . . . , σ 5 (i)}. Además, sabemos que dos
elementos i, j ∈ {1, . . . , 7} cumplen que sus órbitas son iguales o disjuntas, i.e. Oi = Oj o
Oi ∩ Oj = ∅. Por tanto:

O1 = O3 = O5 = {1, 3, 5}, O2 = O6 = {2, 6}, O4 = {4} y O7 = {7}.

La acción tiene dos puntos fijos.

(b) Tenemos que G = ⟨σ⟩, que es un grupo cı́clico de orden 6. En este caso vemos que:

G1 = {id, (2, 6)} = G3 = G5 , G2 = G6 = {id, (1, 3, 5), (1, 5, 3)} y G4 = G7 = G.

El núcleo es {id} por el Ejercicio 2.

4. El objetivo del ejercicio es demostrar de una manera más directa el Teorema de Cauchy
para p = 2. Considerar el grupo cı́clico U2 = {1, −1} de orden 2 con el producto usual y
sea G un grupo finito de orden par.

(a) Sea α : U2 → Biy(G) la función definida por α(z) = ze, donde ze(g) = g z , i.e.:

1(g) = g 1 = g y −1(g)
e f = g −1 .

Demostrar que esta función está bien definida y es una acción.

1
 (b) Calcular los posibles tamaños de las órbitas y demostrar que los puntos fijos de la
acción son precisamente los elementos g ∈ G tales que g 2 = e.
(c) Usando la fórmula de las órbitas, demostrar que G tiene un elemento de orden 2 (sin
utilizar el Teorema de Cauchy).

Solución. (a) Para verificar que la aplicación dada es una acción, observamos primero
1 y −1
que e f son biyecciones ya que G es un grupo. Vemos ahora que la aplicación es un
homomorfismo. Para ello, sea g ∈ G y sean α y β en U2 . Vemos que

fv(g) = g uv = (g u )v = (e
u u(g))v = ve(e
u(g)) = (e
uve)(g).

De hecho, podrı́amos haber distinguido dos casos observando que para uv = 1 si u = v y

uv = −1 en caso contrario.
(b) Como U2 tiene orden 2, la órbita de un elemento de g ∈ G bajo esta acción, la cual es
{g, g −1 }, puede tener tamaño uno o dos; los elementos g ∈ G cuya órbita tiene cardinalidad
uno son los puntos fijos. Vemos que un elemento g ∈ G es un punto fijo syss g −1 = g syss
g 2 = e.
(c) Utilizamos la ecuación siguiente vista en clase:
X
|X| = |Ox |,
x∈Z

donde Z es el conjunto de representantes de las órbitas. En nuestro caso, X = G y por el

apartado (b) un elemento g ∈ G es un punto fijo syss g 2 = e. Además, si g ∈ G no es un
punto fijo, entonces tiene una órbita de tamaño 2. Por tanto, la ecuación anterior implica
r
X
|G| = |{g ∈ G | g 2 = e}| + 2,
i=1

donde r es la cantidad de órbitas de tamaño 2 (quizás es 0). Como e ∈ G cumple e2 = e,

vemos que |{g ∈ G | g 2 = e}| ≥ 1 y por tanto, este cardinal tiene que ser un número par
(pues |G| y 2r lo son). En consecuencia, existe g ∈ G de orden 2.
5. Sea G un grupo de orden 35 que actúa sin puntos fijos sobre un conjunto X que tiene 19
elementos. Encontrar el número de órbitas de X y el cardinal de cada una de ellas.
P
Solución. Sabemos que |X| = x∈Z |Ox |, donde Z es el conjunto de representates de
las órbitas. Por el Teorema de la Órbita-Estabilizador tenemos |Ox | = [G : Gx ], y por
tanto |Ox | es divisor de |G| = 35 por Lagrange. Por ende, las órbitas pueden tener tamaño
1, 5, 7, 35. Como la acción no tiene puntos fijos y |X| = 19, deducimos las órbitas pueden
tener tamaño 5, 7. Sea n el número de órbitas de tamaño 5 y m el número de órbitas de
tamaño 7. Por tanto X
19 = |X| = |Ox | = n5 + m7,
x∈Z

con lo que n = 1 y m = 2; la acción tiene 3 órbitas.

6. Decimos que una acción es transitiva si solamente tiene una órbita. Sea G un grupo y
supongamos que la acción de α : G → Biy(X) es transitiva.

(a) Supongamos que G es finito. Demostrar que |G| = |Gx | · |X| para cualquier x ∈ X.
(b) Demostrar que para cada x, y ∈ X existe g ∈ G tal que x = ge(y) y Gx = g −1 Gy g.
Solución. Sabemos que dos elementos x, y ∈ X cumplen que sus órbitas son iguales o
disjuntas, i.e. Ox = Oy o Ox ∩ Oy = ∅. Más aún, el conjunto X es unión disjunta de
órbitas. En consecuencia, como la acción es transitiva, tenemos X = Ox para todo x ∈ X.
(a) Sea x ∈ X. Por el Teorema de la Órbita-Estabilizador tenemos |Ox | = [G : Gx ], con lo
que |X| = [G : Gx ]. Por otro lado, la Fórmula de Lagrange enuncia que |G| = [G : Gx ]·|Gx |;
por ende |G| = |X| · |Gx |.

2
 (b) Como la acción es transitiva, Ox = Oy y por tanto existe un elemento g ∈ G tal que
ge(y) = x. Veamos Gx = g −1 Gy g.
⊆) Sea h ∈ Gx = Gge(y) y vemos que h ∈ g −1 Gy g, lo que equivale a ver que ghg −1 ∈ Gy .
Para ver esto último:
^
ghg −1 (y) = g
g −1 (e g (y))) = ge−1 (e
h(e g (y))) = ge−1 (e
h(e g (y)) = y;

la penúltima igualdad se cumple ya que h ∈ Gge(y) . Por tanto ghg −1 ∈ Gy .

⊇) Sea h = g −1 h′ g ∈ g −1 Gy g un elemento cualquiera con h′ ∈ Gy . Veamos que h ∈ Gge(y) :

−1 h′ g(e
g (y)) = g^
h(e
e g −1 (e
g (y)) = ge(he′ (e g (y)))) = ge(he′ (y)) = ge(y);

la última igualdad se cumple ya que h′ ∈ Gy . Por tanto h ∈ Gge(y) .

7. Demostrar que para n ≥ 3 la acción de Sn y An en {1, . . . , n} es transitiva.
Solución. Sean i, j ∈ {1, . . . , n} distintos. Para Sn , basta tomar (i, j) ∈ Sn para ver que
Oi = Oj . Para An , tomamos k ∈ / {i, j} (n ≥ 3) y (i, j, k) ∈ An para ver que Oi = Oj .
8. Sea X el conjunto formado por las 3 particiones de {1, 2, 3, 4} en subconjuntos de tamaño
2, i.e. X = {Π1 , Π2 , Π3 } donde
  
Π1 = {1, 2}, {3, 4} , Π2 = {1, 3}, {2, 4} y Π3 = {1, 4}, {2, 3} .

Dados σ ∈ S4 y {{a, b}, {c, d}} ∈ X, definimos

e({{a, b}, {c, d}}) = {{σ(a), σ(b)}, {σ(c), σ(d)}}.

σ

e ∈ Biy(X).
(a) Demostrar que σ
(b) Demostrar que la función α : S4 → Biy(X) definida por σ 7→ σ
e es una acción transi-
tiva.
(c) Demostrar que ker(α) = V.

Solución. (a) Vemos que la inversa de σ −1 , que existe pues σ −1 existe por ser σ una
e es σg
biyección. Verificamos que es inversa:

σ ◦ σg
(e e({{σ −1 (a), σ −1 (b)}, {σ −1 (c), σ −1 (d)}})
−1 )({{a, b}, {c, d}}) = σ

= {{σ(σ −1 (a)), σ(σ −1 (b))}, {σ(σ −1 (c)), σ(σ −1 (d))}}

= {{a, b}, {c, d}}.

σ = idX es similar, usando que σ −1 ◦σ = id{1,2,3,4}

−1 ◦e
La ecuación para para verificar que σg
(b) Verificamos que τf e para cualesquiera σ, τ ∈ S4 :
σ = τeσ

(ee)({{a, b}, {c, d}}) = σ

τσ e({{τ (a), τ (b)}, {τ (c), τ (d)}})
= {{σ(τ (a)), σ(τ (b))}, {σ(τ (c)), σ(τ (d))}}
= {{(τ σ)(a), (τ σ)(b)}, {(τ σ)(c), (τ σ)(d)}}
τ σ)({{a, b}, {c, d}})
= (f

(c) Una permutación σ ∈ S4 fija {{a, b}, {c, d}} si y solo si es la identidad, o fija los
conjuntos {a, b} y {c, d}, o fija al conjunto {{a, b}, {c, d}}. Por tanto:

(S4 )Π1 = {id, (1, 2), (3, 4), (1, 3)(2, 4), (1, 4)(2, 3), (1, 2), (3, 4), (1, 4, 2, 3), (1, 3, 2, 4)};
(S4 )Π2 = {id, (1, 3), (2, 4), (1, 3)(2, 4), (1, 4)(2, 3), (1, 2), (3, 4), (1, 4, 3, 2), (1, 2, 3, 4)};
(S4 )Π3 = {id, (1, 2), (3, 4), (1, 3)(2, 4), (1, 4)(2, 3), (1, 2), (3, 4), (1, 3, 4, 2), (1, 2, 4, 3)}.

Por tanto el núcleo es V por el Ejercicio 2.

3
 9. Sea H un subgrupo de un grupo G y consideremos el conjunto X = G/ ∼H . Denotamos
sus elementos como Ha. Consideremos la aplicación dada por α : G → Biy(X) : g 7→ ge,
donde ge(Ha) = Hag.
(a) Demostrar que α es una acción transitiva (i.e. solamente hay una órbita) y deducir
la fórmula de Lagrange (véase el Ejercicio 6).
(b) Supongamos que [G : H] = n. Demuestra que ker(α) ⊴ G es un subgrupo de H y
[G : ker(α)] ≤ n!.
Solución. (a) Dados a, b ∈ G, tomamos g = a−1 b y vemos que ge(Ha) = Hag = Hb. Por
tanto, solo hay una órbita y por ende la acción es transitiva. Si aplicamos el apartado
(a) del Ejercicio 6, obtenemos que |G| = |X| · |Gx | para todo x ∈ X. En particular, para
x = H, vemos que |X| = [G : H] y que
GH = {g ∈ G | ge(H) = H} = {g ∈ G | Hg = H} = H.
Por tanto |G| = [G : H] · |H|, como querı́amos.
(b) Si [G : H] = n, entonces |X| = n y en consecuencia |Biy(X)| = n!. Por el Primer
Teorema de Isomorfı́a, deducimos que G/ ker(α) es isomorfo a un subgrupo de Biy(X), y
por tanto [G : ker(α)] ≤ |Biy(X)| = n!. Además, el núcleo ker(α) es un subgrupo de H,
ya que en el apartado (a) hemos visto que H es el estabilizador de x = H ∈ X.
10. Sea G un grupo finito que actúa sobre un conjunto finito X ̸= ∅. Para cada g ∈ G definimos
el subconjunto de puntos fijos de g como Fix(g) := {x ∈ X | ge(x) = x}.
(a) Demuestra que se cumplen las siguientes igualdades:
X X
| Fix(g)| = |{(g, x) ∈ G × X | ge(x) = x}| = |Gx |.
g∈G x∈X

(b) Sea ν(X, G) el número de órbitas de X bajo la acción del grupo G. Demostrar que
X 1
ν(X, G) = .
|Ox |
x∈X

(c) Deducir la llamada Fórmula de Burnside:

1 X
ν(X, G) = | Fix(g)|.
|G|
g∈G

Solución. (a) Vemos que

G G
{g} × Fix(g) = {(g, x) ∈ G × X | ge(x) = x} = Gx × {x},
g∈G x∈X

donde las uniones son claramente disjuntas. Como además tenemos que |{g} × Fix(g)| =
| Fix(g)| y que |Gx × {x}| = |Gx |, obtenemos la igualdad.
(b) Sean x1 , . . . , xr representantes de las órbitas. Para y ∈ Oxi sabemos que Oxi = Oy ,
con lo que el sumando |O1x | aparece en el sumatorio |Oxi | veces. Por tanto,
i

r
X |Ox | X r
X 1 i
= = 1 = r.
|Ox | i=1
|O x i
| i=1
x∈X

Por otro lado, el número r es precisamente ν(X, G), obtenemos el resultado.

(c) Partiendo de (a) y usando el Teorema de la Órbita-Estabilizador obtenemos
X X X |G|
| Fix(g)| = |Gx | = ,
|Ox |
g∈G x∈X x∈X

con lo que
1 X X 1
| Fix(g)| = = ν(X, G),
|G| |Ox |
g∈G x∈X

por el apartado (b).

4
11. ¿Existe algún grupo simple de orden 5625?
Solución. Tenemos que 5625 = 32 · 54 . Sea G un grupo de orden 5625. Aplicando el
Tercer Teorema de Sylow, vemos que el número s5 de 5-subgrupos de Sylow cumple que
s5 | 9 y s5 ≡ 1 mod 5, con lo que la única opción de {1, 3, 9} es s5 = 1. Por tanto, como
el conjugado de un 5-subgrupo de Sylow es un 5-subgrupo de Sylow, el único 5-subgrupo
de Sylow es normal de orden 54 , y por ende el grupo no puede ser simple.
12. Sean 2 ≤ p < q números primos y sea G un grupo finito de orden pq.

(a) Demuestra que G no es simple.

Supongamos ahora que p no divide a q − 1.
(b) Demuestra que sp = 1.
(c) Demuestra que G es cı́clico.

Solución. (a) Aplicando el Tercer Teorema de Sylow, vemos que el número sq de q-

subgrupos de Sylow cumple que sq | p y sq ≡ 1 mod q. Por tanto sq ∈ {1, p} y como
p < q, tenemos que p ̸≡ 1 mod q; por ende sq = 1. Como el conjugado de un q-subgrupo
de Sylow es un q-subgrupo de Sylow, deducimos que el único q-subgrupo de Sylow es
normal de orden q, con lo que el grupo no puede ser simple.
(b) Aplicando el Tercer Teorema de Sylow, vemos que el número sp de p-subgrupos de
Sylow cumple que sp | q y sp ≡ 1 mod p. Por tanto las opciones a priori son sp ∈ {1, q}.
Por otro lado, si q ≡ 1 mod p, entonces p | q − 1 en contradicción con nuestra hipótesis.
Por tanto sp = 1.
(c) Como sq = 1 = sp , existen unos subgrupos normales Hp y Hq de G tales que |Hp | = p
y |Hq | = q. Por tanto Hp ∼ = Cp y Hq ∼= Cq . Al ser p, q primos distintos, tenemos que
Hp ∩ Hq = {e} y por tanto deducimos que Hp × Hq ∼ = Hp Hq . En particular, el subgrupo
Hp Hq de G tiene orden pq, el mismo que G, con lo que G = Hp Hq ∼ = Hp × Hq ∼ = Cp × Cq .
En consecuencia, G es cı́clico.