Acción de un grupo en un conjunto

Subgrupos de Sylow

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ
Acción de un grupo en un conjunto
Subgrupos de Sylow

GRUPOS FINITOS - ACCIONES Y

SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ

ESTRUCTURAS ALGEBRAICAS I
Lima-Perú
Semestre 2020-2

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Indice

1 Acción de un grupo en un conjunto

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Indice

1 Acción de un grupo en un conjunto

2 Subgrupos de Sylow

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Acción de un grupo en un conjunto

Definición 1
Sea (A, ∗) un grupo y sea X un conjunto. Sea µ : A × X → X
una función. Denotemos µ(a, x) = ax para cualesquier a ∈ A y
x ∈ X. Decimos que µ es una acción de A sobre X, si se cumplen
las siguientes propiedades:
1. eA x = x para todo x ∈ X.
2. (a ∗ b)x = a(bx) para cualesquier a, b ∈ A y x ∈ X.

Ejemplo 1: Sea (A, ∗) un grupo, y sea µ : A × A → A definida

por µ(a, x) = a ∗ x ∗ a−1 . Entonces µ es una acción de A sobre sı́
mismo. En efecto, para cualesquier a, b ∈ A y x ∈ X, tenemos:

µ(eA , x) = eA ∗ x ∗ e−1
A = x.

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

µ(a ∗ b, x) = a ∗ b ∗ x ∗ (a ∗ b)−1
= a ∗ b ∗ x ∗ b−1 ∗ a−1
= µ(a, b ∗ x ∗ b−1 )
= µ(a, µ(b, x))

Con esta acción, decimos que A actúa por conjugación sobre sı́
mismo. Se dice que el elemento a ∗ x ∗ a−1 es conjugado a x.
Ejemplo 2: Sea (A, ∗) un grupo y sea X el conjunto de todos los
subgrupo de A. Entonces A actúa por conjugación sobre X, es
decir la función µ : A × X → X definida por µ(a, S) = a ∗ S ∗ a−1
es una acción de A sobre X. Se dice que el subgrupo a ∗ S ∗ a−1
es conjugado a S.

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Proposición 1.1
Sea (A, ∗) un grupo que actúa sobre un conjunto X. En X
definimos la siguiente relación:

x1 ∼ x2 si y sólo si existe a ∈ A tal que ax1 = x2 .

Entonces ∼ es un relación de equivalencia.

Demostración: Como para todo x ∈ X tenemos eA x = x,

entonces x ∼ x, es decir se cumple la reflexividad.
Ahora, supongamos que x1 ∼ x2 . Entonces existe a ∈ A tal que
ax1 = x2 . Luego, tenemos:

x1 = eA x1 = (a−1 ∗ a)x1 = a−1 (ax1 ) = a−1 x2

Entonces x2 ∼ x1 , es decir se cumple la simetrı́a.

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Ahora, supongamos que x1 ∼ x2 y x2 ∼ x3 . Entonces existen

a, b ∈ A tales que ax1 = x2 y bx2 = x3 . Luego, tenemos:
(b ∗ a)x1 = b(ax1 ) = bx2 = x3
Entonces x1 ∼ x3 , es decir se cumple la transitividad. Por lo tanto
∼ es una relación de equivalencia.

Definición 2
Sea (A, ∗) un grupo que actúa sobre un conjunto X.
Consideremos la relación de equivalencia en X dada por la
proposición anterior, es decir:

x1 ∼ x2 si y sólo si existe a ∈ A tal que ax1 = x2 .

Dado x ∈ X, la clase de equivalencia de x es llamada la órbita de

x. Ası́, la órbita de x es:

Ax1 = {ax1 / a ∈ A}
GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW
GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Definición 3
Sea (A, ∗) un grupo que actúa sobre un conjunto X. Dado x ∈ X,
definimos el grupo de isotropı́a de x (también llamado
estabilizador de x), denotado Ax , como:

Ax = {a ∈ A / ax = x}.

Es decir, el grupo de isotropı́a de x está formado por los elementos

de A que fijan x.

Proposición 1.2
Sea (A, ∗) un grupo que actúa sobre un conjunto X. Dado x ∈ X,
tenemos que Ax es un subgrupo de A.

Demostración: Como eA x = x, entonces eA ∈ Ax .

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Ahora, sean a, b ∈ Ax . Entonces ax = x y bx = x. Luego,

tenemos:
(a ∗ b)x = a(bx) = ax = x,
es decir a ∗ b ∈ Ax . Ahora, sea a ∈ Ax . Entonces ax = x. Luego,
tenemos:
a−1 x = a−1 (ax) = (a−1 ∗ a)x = eA x = x
Entonces a−1 ∈ Ax . Por lo tanto Ax es un subgrupo de A.

Ejemplo 3: Sea (A, ∗) un grupo que actúa por conjugación sobre
el conjunto de todos sus subgrupos. Entonces para cualquier
subgrupo H de A tenemos que el estabilizador de H es:
AH = {a ∈ A / a ∗ H ∗ a−1 = H}
Este subgrupo de A es llamado el normalizador de H, y es
denotado por N (H).
GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW
GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Se cumple las siguientes propiedades:

1. H es un subgrupo normal de N (H).
2. Si K es un subgrupo de A tal que H ⊆ K y H es normal en K,
entonces H ⊆ N (H).
Es decir, N (H) es el mayor subgrupo que contiene a H como
subgrupo normal.
La órbita de H es el conjunto de todos los subgrupos conjugados a
H.
Proposición 1.3
Sea (A, ∗) un grupo que actúa sobre un conjunto X. Entonces
para cualquier x ∈ X tenemos:

|Ax| = (A : Ax )

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Demostración: Sea x ∈ X y sea Y el conjunto de clases laterales

izquierdas de Ax en A. Sea f : Y → Ax definida por
f (a ∗ Ax ) = ax. Tenemos que:
a ∗ Ax = b ∗ Ax si y sólo si b−1 ∗ a ∈ Ax ,
es decir (b−1 ∗ a)x = x, lo cual implica que
bx = b((b−1 ∗ a)x) = (b ∗ (b−1 ∗ a))x = ax.
Por lo tanto f está bien definida. Además, si ax = bx, entonces:
(b−1 ∗ a)x = b−1 (ax) = b−1 (bx) = (b−1 ∗ b)x = eA x = x,
es decir b−1 ∗ a ∈ Ax , lo cual implica que a ∗ Ax = b ∗ Ax . Por lo
tanto f es inyectiva. Además, es evidente que f es sobreyectiva.
Concluı́mos que f es biyectiva, y por lo tanto:
|Ax| = (A : Ax )

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW
GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Ejemplo 4: Sea (A, ∗) un grupo y sea H un subgrupo de A. Por

el ejemplo 3 y la Proposición 1.3, tenemos que el número de
subgrupos conjugados a H es igual al ı́ndice del normalizador de H.
Corolario 1.1 (Fórmula de descomposición en órbitas)
Sea (A, ∗) un grupo que actúa sobre un conjunto finito X. Sean
Ax1 , . . . , Axn las distintas órbitas de X. Entonces:
n
X
|X| = (A : Axi )
i=1
Sn
Demostración: Como X = i=1 Axi , donde las órbitas son
disjuntas entre sı́, entonces:
n
X
|X| = |Axi |
i=1

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Por la Proposición 1.3, sabemos que |Axi | = (A : Axi ). Entonces

tenemos:
n
X
|X| = (A : Axi )
i=1


Definición 4
Sea (A, ∗) un grupo. Consideremos la acción por conjugación de A
sobre sı́ mismo. Dado x ∈ A, el grupo de isotropı́a de x es llamado
el centralizador de x, y es denotado C(x). Ası́ tenemos:

C(x) = {a ∈ A / a ∗ x ∗ a−1 = x} = {a ∈ A / a ∗ x = x ∗ a}.

Es decir, C(x) es el subgrupo de A formado por los elementos que

conmutan con x.

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Corolario 1.2 (Fórmula de clase)

Sea (A, ∗) un grupo finito que actúa por conjugación sobre sı́
mismo. Sean Ax1 , . . . , Axm las órbitas con más de un elemento.
Entonces:
m
X
|A| = |Z(A)| + (A : C(xi ))
i=1

Demostración: Sean Axm+1 , . . . , Axn las órbitas con un único

elemento. Entonces:
X n
|A| = |Axi |
i=1

Por otro lado, una órbita Ax tiene un único elemento si y sólo si

Ax = {x}. Ahora, como
Ax = {a ∗ x ∗ a−1 / a ∈ A},
GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW
GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

entonces Ax = {x} si y sólo si a ∗ x ∗ a−1 = x para todo a ∈ A, es

decir
a ∗ x = x ∗ a para todo a ∈ A.
Por lo tanto una órbita Ax tiene un único elemento si y sólo si
x ∈ Z(A). Luego, el número de órbitas con un único elemento es
igual a |Z(A)|. Desde que las órbitas con un único elemento son
Axm+1 , . . . , Axn , tenemos:
m
X
|A| = |Axi | + |Z(A)|.
i=1

Ahora, por la Proposición 1.3, tenemos que |Axi | = (A : Axi ). Y

como Axi = C(xi ), entonces
m
X
|A| = (A : C(xi )) + |Z(A)|.
i=1


GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW
GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Subgrupos de Sylow

Definición 5
Sea p > 0 un número primo. Un p-grupo es un grupo finito A tal
que |A| = pn , para algún n ≥ 0.
Dado un grupo finito A, un subgrupo H es llamado un
p-subgrupo si |H| = pn , para algún n ≥ 0. Si además |H| es la
mayor potencia de p que divide a |A|, entonces H es llamado un
p-subgrupo de Sylow.

Definición 6
Sea (A, ∗) un grupo. Un número natural n es llamado un
exponente de A, si an = eA para todo a ∈ A.

Ejemplo 5: Por el ejemplo 6 de la semana 6, tenemos que si A es

un grupo finito entonces |A| es un exponente de A.
GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW
GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Proposición 2.1
Sea (A, ∗) un grupo finito abeliano. Si n es un exponente de A,
entonces |A| divide a una potencia de n.

Demostración: Procederemos por inducción en |A|. Si |A| = 1

entonces |A| divide a cualquier exponente de A.
Sea m ≥ 2. Supongamos que la proposición es verdadera para
todo grupo finito abeliano cuyo número de elementos es menor que
m. Sea (A, ∗) un grupo finito abeliano tal que |A| = m, y sea n
un exponente de A. Sea b ∈ A, b 6= eA . Como n es un exponente
de A entonces bn = eA , lo que implica que | hbi | divide a n.
Notemos que como A es un grupo abeliano, entonces todo
subgrupo de A es normal. Ahora, como b 6= eA , entonces por el
Teorema de Lagrange tenemos que:
|A|
|A/ hbi | = < |A| = m.
| hbi |
GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW
GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Además, como A es un grupo abeliano, entonces A/ hbi también

es abeliano. Ahora, notemos que como n es un exponente de A,
entonces an = eA para todo a ∈ A. Por lo tanto, en A/ hbi
tenemos que:
(a hbi)n = an hbi = eA hbi = hbi,
para todo a ∈ A. Entonces n es un exponente de A/ hbi. Por
hipótesis de inducción, obtenemos que |A/ hbi | divide a una
potencia de n. Y como | hbi | divide a n, entonces
|A| = |A/ hbi || hbi |
divide a una potencia de n.

Proposición 2.2
Sea (A, ∗) un grupo finito abeliano y sea p un número primo que
divide a |A|. Entonces existe un subgrupo H de A tal que |H| = p.
GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW
GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Demostración: Sea A = {a1 , . . . , an }. Supongamos que el orden

de ai no es múltiplo de p, para todo i = 1, . . . , n. Para cada i, sea
mi el orden de ai , y sea m el mı́nimo común múltiplo de
m1 , . . . , mn . Como ningún mi es múltiplo de p, entonces m no es
múltiplo de p.
Para cada i tenemos que m es múltiplo de mi , entonces am i = eA
para todo i, es decir m es un exponente de A.
Entonces, por la Proposición 2.1, tenemos que |A| divide a una
potencia de m. Y como p divide a |A|, entonces p divide a una
potencia de m. Y como p es primo, entonces p divide a m, lo cual
es una contradicción. Por lo tanto existe a ∈ A cuyo orden es
múltiplo de p. Sea k = qp el orden de a, para algún q ∈ N.
Entonces, por el ejercicio 8 de la Práctica Dirigida 6, tenemos que
aq tiene orden igual a p. Por lo tanto H = haq i es un subgrupo de
A tal que |H| = p.

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW
GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Teorema 2.1
Sea (A, ∗) un grupo finito y sea p un número primo que divide a
|A|. Entonces existe un p-subgrupo de Sylow de A.

Demostración: Sea p un número primo. Procederemos por

inducción en |A|. Si |A| = p, entonces A mismo es un p-subgrupo
de Sylow de A.
Ahora, sea (A, ∗) un grupo finito tal que p divide a |A| y |A| > p.
Supongamos que el teorema es verdadero para todo grupo finito
cuyo número de elementos es divisible por p y es menor que |A|.
Sea |A| = pk m, donde k ≥ 1 y p no divide a m.
Supongamos que existe un subgrupo propio H de A tal que |H| es
divisible por pk . Como la mayor potencia de p que divide a |A| es
pk , entonces la mayor potencia de p que divide a |H| es pk .
Concluı́mos que todo p-subgrupo de Sylow de H es un p-subgrupo
de Sylow de A.
GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW
GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Por hipótesis de inducción, existe un p-subgrupo de Sylow de H.

Cualquier tal subgrupo es un p-subgrupo de Sylow de A.
Ahora, supongamos que todo subgrupo propio H de A satisface
que |H| no es divisible por pk . Por la Fórmula de clase y el
Teorema de Lagrange, tenemos:
m
X |A|
|A| = |Z(A)| + , (1)
|C(xi )|
i=1

donde (A, ∗) actúa por conjugación sobre sı́ mismo y

Ax1 , . . . , Axm son las órbitas con más de un elemento. Como
|A|
|C(xi )| no es divisible por pk , entonces es divisible por p.
|C(xi )|
Y como |A| es divisible por p, entonces de (1) concluı́mos que
|Z(A)| es divisible por p.

GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ
 Acción de un grupo en un conjunto
Subgrupos de Sylow

Como Z(A) es abeliano, entonces por la Proposición 2.2 tenemos

que existe un subgrupo H de Z(A) tal que |H| = p. Desde que
cualquier subgrupo de Z(A) es normal en A, tenemos que H es un
subgrupo normal de A.
Si k = 1, entonces H es un p-subgrupo de Sylow de A.
Supongamos que k ≥ 2. Tenemos que |A/H| = pk−1 m < |A|. Por
hipótesis de inducción, tenemos que existe un p-subgrupo de Sylow
K de A/H. Sea f : A → A/H dada por f (a) = a ∗ H, y sea
H 0 = f −1 (K). Entonces H 0 es un subgrupo de A que contiene a
H. Como f es sobreyectiva, tenemos

K = f (f −1 (K)) = f (H 0 ) = H 0 /H.

Desde que |K| = pk−1 , tenemos que |H 0 | = |K||H| = pk−1 p = pk .

Por lo tanto H 0 es un p-subgrupo de Sylow de A.


GRUPOS FINITOS - ACCIONES Y SUBGRUPOS DE SYLOW

GABRIEL MUÑOZ MÁRQUEZ