NIVERSIDAD NACIONAL JORGE BASADRE GROHMANN

FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE MATEMÁTICA

TEOREMAS DE
ÁGEBRA I

SYLOW
ESTUDIANTE
DOCENTE: LIC. SERGIO LUIS ENRIQUE PACHECO CONDORI
• YHON CLINTON FLORES CALLATA
CÓDIGO: 2018-177020
UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN
 UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE
Definición MATEMÁTICA
Sea X un conjunto y G un grupo. Una acción de G en X es una transformación tal: que:
X G  X
1. xe  x para todas las x X.
2. x ( g1 g 2 )  ( xg1 ) g 2 , x  X , g1 , g 2  G
Bajo estas condiciones, X es un G-conjunto.

 
Sea un G-conjunto finito. Recuérdese que para , la órbita de x en bajo G es Supongamos que hay órbitas en bajo y sea un
conjunto que contiene un elemento de cada órbita en .

 Como todo elemento de está precisamente en una órbita, tenemos que

r
X   xiG [1]
i 1

 
Puede haber órbitas en con un solo elemento. Sea X G   x  X / .xg  es, g  G X G la unión de las orbitas
x, precisamente,
en con un solo elemento. Supóngase que hay “s” órbitas con un solo elemento, donde
0  s  r.
Entonces X G ys podemos escribir la ecuación [1] como
r
X  XG  
i  s 1
xiG . [2]

UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN

 UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE
Teorema 1 MATEMÁTICA
Sea G un grupo de orden pyn sea un
X G-conjunto finito.
Entonces, X  X G (mod p )
Demostración:
Tenemos que: G  p
n

Usando la notación de la ec. [2] y un teorema.

Teorema 16.3
Teorema 16.3 (Libro:
(Libro: John
John B.
B. Fraleigh)
Fraleigh)
Sea X un
Sea un G-conjunto
G-conjunto yy sea Entonces xG  (G : Gx ).
sea x  X .. Entonces
Definición:
r
 X  XG  
i  s 1
xi G Un grupo G es
Un grupo es un
un p-grupo
p-grupo sisi todo
todo elemento
elemento en
en G G tiene
tiene orden
orden
alguna potencia
alguna potencia de
de primo
primo p.
p.
 xiG  (G : G xi ). Un subgrupo
subgrupo de
de un
un grupo
grupo eses un
un p-subgrupo
p-subgrupo de
de G
G ,, si
si el
el subgrupo
subgrupo
Un
es, el
es, el mismo,
mismo, un
un p-grupo.
p-grupo.
Pero (G : Gx ) divide a G y por tanto, p divide a(G : Gx )
i i

 p divide a xiG para s  1  i  r

 p divide a X  X G
  Definición: Sean
Definición: Sean a, ∈ yy sea
a, bb ∈ ∈ .. Decimos
sea aa ∈ Decimos que
que aa yy bb son
son
congruentes módulo
congruentes módulo nn yy lo
lo escribimos
escribimos a  b(mod n )
cuando n | ( a  b)
cuando

 X  X (mod p )
UNIVERSIDAD NACIONAL JORGE G
BASADRE GROHMANN
 UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE
Teorema 2 (Cauchy) Sea el ciclo (1, 2, 3, ,en
p) S pMATEMÁTICA
Sea G un grupo finito y p divide a G tiene algún
. Entonces
elemento de orden p y, por tanto, un subgrupo de orden p. Dejemos que actúe en Xmediante
 ( g1 , g 2 ,..., g p )  ( g (1) , g (2) ,..., g ( p ) )  ( g 2 , g3 ,..., g p , g1 )
Demostración:
Podemos ver que ( g 2 , g3 ,..., g p , g1 )  X
Formamos el conjunto deXtodas las p-coordenadas 1

( g1 , g 2 , g 3 ,..., g p 1 , g p ) Pues g1 ( g 2 , g3 ,..., g p )  e  g1  ( g 2 , g 3 ,..., g p )

 ( g 2 , g 3 ,..., g p ) g1  e
de elementos de G. 
Ahora bien consideremos el subgrupo de . actuando enS p
Que su propiedad es que el producto de las coordenadas en G es .
e por iteración, de la X
manera obvia. Es decir:
Estos es,
X   ( g1 , g 2 , g 3 ,..., g p 1, g p )  G p / g i  G  g1. g 2. g 3  g p 1. g p  e    p
Veamos si p divide a .X  Sea  un subgrupo de orden y sea unp  finito
-conjunto
X
Al formar una p-ada en , podemos tomar
( g1 , g 2 , g 3 ,..., g p 1 )  X  X  (mod p )
como cualesquiera elementos de G.
Además: p divide a X
 g p  ( g1 , g 2 , g 3 ,..., g p 1 ) 1
p 1 Tenemos que p también divide a . X
X G
Así y como p divide a G.
 pUNIVERSIDAD
|X NACIONAL JORGE BASADRE GROHMANN
 UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE
( g1 , g 2 , g 3 ,..., g p 1, g p )  g1  g 2    g p MATEMÁTICA
Dejando fija a LOS TEOREMAS DE SYLOW
Conocemos al menos un elemento en X  de todos los subgrupos de G.
Sea G un grupo y sea la colección
Pues ( e, e, e,..., e, e)  que G actúe en por
Convertimos en un G-conjunto, haciendo
conjugación. 
Xdebe
Como p divide  haber al menos p elementos en . Esto es, si H  de modo que g  G la
, yH  G , entonces
X
acción de en produce el subgrupo conjugado
  algún elemento a  G , a  e /  a , a ,..., a   X   a p  e g 1Hg .
Es claro que
a es un subgrupo de G de orden p. Teorema 16.1
16.1 (Libro:
(Libro: John
John B.
B. Fraleigh)
Fraleigh)
Teorema
Sea X un
Sea un G-conjunto. Entonces, Gx es
G-conjunto. Entonces, es un
un subgrupo
subgrupo de
de Gpara
para
Por lo tanto se concluye la prueba.
cadax  X .
cada
Corolario 11
Corolario
Sea G
Sea G un
un grupo
grupo finito.
finito. Entonces,
Entonces, G
G es
es un
un p-grupo
p-grupo si
si yy solo
solo si
si |G|
|G| Ahora bien, consideremos
es una
es una potencia
potencia de
de p.
p. H G  {g  G | g 1Hg  H },
es un subgrupo de G.
Definición (Libro:
Definición (Libro: John
John B.
B. Fraleigh)
Fraleigh) Entonces H es un subgrupo normal de . HG
Un subgrupo
Un subgrupo H H de
de grupo
grupo G
G es
es un
un subgrupo
subgrupo normal
normal de
de G
G si
si Como HconstaG de todos los elementos de G que dejan invariante a
1
g para H
Hgtodas
para todas g  G. H a bajo la conjugación, es el mayor subgrupo de G Hque
G tiene a
H como subgrupo normal.
UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN
 UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE
MATEMÁTICA
Teorema (Primer Teorema de Sylow)
 Sea G un grupo finito y sea G  p, ndonde
m 1 p
, yndonde
no divide a m,i entonces G tiene un subgrupo de orden , para cada
donde p 1  i  n.
Definición: El
Definición: subgrupoH G ,, es
El subgrupo es el
el normalizador
normalizador de
de H
H en
en G
G yy se
se Demostración (INDUCCIÓN MATEMÁTICA)
denotará desde
denotará desde ahora
ahora por
por N[H]
N[H] ..

 𝑖=1
Lema 18.1
Lema 18.1 (Libro:
(Libro: John
John B.B. Fraleigh
Fraleigh pag.
pag. 170)
170)
Sea H
Sea H un
un p-subgrupo
p-subgrupo del
del grupo
grupo finito
finito G,
G, entonces,
entonces, Es evidente por el teorema de Cauchy ya analizado.
( N [ H ] : H )  (G : H )(mod p )  • (Hipótesis Inductiva)
j
 G tiene un subgrupo de orden , para pcada donde
Corolario (Libro:
Corolario (Libro: John
John B.
B. Fraleigh.
Fraleigh. Pag.
Pag. 170)
170) 1  j  n.
Sea H
Sea H un
un p-subgrupo
p-subgrupo de
de un
un grupo
grupo finito
finito G
G .. Si
Si pp divide
divide aa (G:H)
(G:H)  • (Tesis)
entonces H  N [ H ].
entonces j 1
 G tiene un subgrupo de orden p cada donde
, para
1  j  n.

UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN

 UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE
Veamos demostración de la tesis Entonces podemos formar un grupo MATEMÁTICA
N [H ] / H
Mostraré
  j la existencia de un subgrupo de orden
p para lo que implica la existencia
j 1
de un subgrupo de orden Teorema 2.6.3
Teorema 2.6.3 (Libro:
(Libro: álgebra
álgebra Abstracta
Abstracta de
de I.N.Hertein
I.N.Hertein pag.
pag. 80)
80)
p Si G
Si G es
es un
un grupo
grupo finito
finito yy NN es
es un
un subgrupo
subgrupo normal
normal dede G,
G,
Sea H un subgrupo de orden pj entonces G / H  G / H
entonces
 Como , entonces p divide a (G:H) Vemos que p divide a N [H ] / H
Por el lema 18.1
Ahora por el teorema de Cauchy (visto recientemente)
 p | ( N [H ] : H )
Como H es un subgrupo normal de N [H ] N [ H ] / H tiene un subgrupo K de orden p.
Definición: Si
Definición: Si NN es
es un
un subgrupo
subgrupo normal
normal de
de G,
G, el
el grupo
grupo dede las
las Sea  : N [ H ]  N [ H ] / es
H el homomorfismo canónico.
clases laterales
clases laterales de
de NN bajo
bajo la
la operación
operación inducida
inducida eses el
el grupo
grupo Dada por  ( x )  ,xHpara x  N [H ] / H
factor de
factor de GG módulo
módulo N N yy se
se denota
denota por
por G/N.
G/N. Las
Las clases
clases laterales
laterales Entonces sea.
son las
son las clases
clases residuales
residuales de
de GG módulo
módulo N.
N.   1 ( K )   x  N [ H ] /  ( x )  K 
Definición: Sea
Definición: Sea H H un
un subgrupo
subgrupo dede unun grupo
grupo G.G. ElEl número
número dede El cual es un subgrupo de N,[yHpor
] tanto de G.
clases laterales
clases laterales izquierdas
izquierdas de
de HH en
en GG es
es el
el índice
índice (G:H)
(G:H) dede H
H ee   1 ( K )  N [ H ]  G
G.
G.
El índice
El índice (G:H)
(G:H) recién
recién definido,
definido, puede
puede ser
ser finito
finito oo infinito.
infinito.  H   1 ( K ) j
Si G
Si G eses finito,
finito, es
es obvio
obvio que
que (G:H)
(G:H) es
es finito
finito yy (G:H)
(G:H) =|G|/|H|.
=|G|/|H|. Entonces como el orden de H es , estopimplica que de este
Teorema 13.1 (Libro: John B. Fraleigh.
Teorema 13.1 (Libro: John B. Fraleigh. Pag. 131) Pag. 131)
su 
1
subgrupo orden( Kes) p j 1.
Si N
Si N eses un
un subgrupo
subgrupo normal
normal dede unun grupo
grupo G, G, entonces
entonces lala
transformación canónica
transformación canónica (o natural)  : G  G / N dada
(o natural) dada por
por
paraa  G, es
 ( a )  aN , para es un
unBASADRE
homomorfismo.
homomorfismo. Así concluimos con la prueba
UNIVERSIDAD NACIONAL JORGE GROHMANN
 UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE
MATEMÁTICA
Teorema (Segundo Teorema de Sylow)
Sean Py1 Pp-subgrupos
2 de Sylow de un grupo finito G. Entonces
Definición: 13.3
Definición: 13.3 (Libro:
(Libro: John
John B.
B. Fraleigh
Fraleigh pag.
pag. 135)
135) P1 P2
y son subconjuntos conjugados de G.
Un subgrupo
Un subgrupo normal
normal maximal
maximal dede un
un grupo
grupo G G es
es un
un subgrupo
subgrupo
Demostración
normal M
normal M que
que no
no es
es igual
igual aa G
G yy taque
taque ningún
ningún subgrupo
subgrupo normal
normal Sea la colección de clases laterales derechas de P1 .
propio N
propio N de
de G
G contiene
contiene propiamente
propiamente aa M.
M. Hacemos que actúe
P2 sobre mediante 
( P1 x ) y  P1 ( xy ), y  P2
Definición: Un
Definición: Un p-subgrupo
p-subgrupo de
de Sylow
Sylow PP se
se un
un grupo
grupo G
G es
es uu p-
p-
subgrupo maximal
maximal de
de G,
G, esto
esto es,
es, un
un p-subgrupo
p-subgrupo que
que no
no está
está Entonces  es un -conjunto.
P2
subgrupo
contenido en
contenido en un
un p-subgrupo
p-subgrupo mayor.
mayor. Por el primer teorema demostrado
 P2   (mod p)
Observación: Sea
Observación: Sea G
G un
un grupo
grupo finito, donde G  p n m ,, los
finito, donde los p-
p-
subgrupos de
subgruposn
de Sylow
Sylow dede G
G son
son precisamente
precisamente aquellos
aquellos subgrupos
subgrupos de
de Además    G : Pel
1  cual no es divisible por p.
orden p .
orden
Si PP es
Si es un
un p-subgrupo
p-subgrupo dede Sylow,
Sylow, todo
todo conjugado
1
conjugado g Pg de de PP    0, sea P1 x P2  P1 xy  P1 x, y  P2
también es
también es un
un p-subgrupo
p-subgrupo Sylow.
Sylow.  P1 xyx 1  P1 , y  P2
 xyx 1  P1 , y  P2
Recordar Teorema
Recordar Teorema 1.
1.
Sea G
Sea G un
un grupo
grupo de
de orden
orden pyyn sea
sea un G-conjunto finito.
X G-conjunto
un finito.  xP2 x 1  P1
Entonces,
Entonces, X  X G (mod p ). Como P1  P2debemos tener P1  xP2 x 1

P1 P2y
Por lo tanto son subconjuntos conjugados de G.
UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN
 UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE
Teorema (Tercer Teorema de Sylow) Entonces por el segundo Teorema deMATEMÁTICA
Sylow.
Si G es un grupo finito y p divide a |G|, entonces el número de Entonces P y T son conjugados en . N [T ]
p-subgrupos de Sylow es congruente con 1 módulo o y divide a
|G|. Como T es un subgrupo normal de N[T], es su único
conjugado en N[T].
Demostración:
Así, T=P.

Sea P un p-subgrupo de Sylow de G. Sea  de

el conjunto
todos los p-subgrupos de Sylow y sea la acción de P en Entonces E p  {P}
 de manera que
mediante la conjugación, lleva a
1
en xP T E x Tx Como E  E p  1(mod p )

Por el teorema (1) E  E p (mod p ) • Vemos que el número de p-subgrupos de Sylow es

congruente en 1 módulo P.
Además T  N [T ]

Como P y T son p-subgrupos de Sylow de G.

También son p-subgrupos de Sylow de N [T ]

UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN

 UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE
MATEMÁTICA
Ahora bien, sea G actuando en E por conjugación. Como
todos los p-subgrupos de Sylow son conjugados, entonces
hay sólo una órbita en E bajo G.
Teorema (Primer Teorema de Sylow)
Si P  E , entonces G p  N [ P]  Sea G un grupo finito y sea G  p, ndonde
m 1 p
, yndonde
no divide a m,i entonces G tiene un subgrupo de orden , para cada
Teorema 16.3
Teorema 16.3 (Libro:
(Libro: John
John B.
B. Fraleigh)
Fraleigh) donde p 1  i  n.
Sea X un
Sea un G-conjunto sea x  X .. Entonces
G-conjunto yy sea Entonces xG  (G : Gx ).
Teorema (Segundo Teorema de Sylow)
Entonces E  órbita de P  (G : G p )
Sean P1y Pp-subgrupos
2 de Sylow de un grupo finito G. Entonces
Pero como (G : G p )es un divisor de G modo que el
, de y son subconjuntos
P1 P2 conjugados de G.
número de p-grupos de Sylow divide a G.
Teorema (Tercer Teorema de Sylow)
Si G es un grupo finito y p divide a |G|, entonces el número de
p-subgrupos de Sylow es congruente con 1 módulo y divide a |
G|.

UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN

 UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE
Ejemplo: Sea el grupo de S3 3!=6 elementos. Sea MATEMÁTICA
Veamos los p-subgrupos de de
A  {1,2,3} . Lístese las permutaciones de A y cada una
S3  21.3
asígnese una letra griega con subíndice.
1 2 3 
0  
1 2 3 
1  
En efecto podemos ver que:
 
1 2 3  1 3 2 

 1 2 3  1 2 3
1    2   
 2 3 1  3 2 1

1 2 3  1 2 3
2    3   
3 1 2  2 1 3

Tabla de multiplicación.

Un subgrupo de orden 2: { 0 , 1}

Así podemos determinar lo siguiente:

H1  { 0 , 1}, H 2  { 0 , 2 }, H 3  { 0 , 3}
Son los 2-subgrupos de Sylow de S3
UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN
 UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE
Nótese que hay tres subgrupos es decir: Se ve que se cumple { 0 , 1}i2  { 2 1 0  2 MATEMÁTICA
,  2 11 2}
el tercer teorema de Sylow.
3 1 2 3 1 2
3  1(mod 2)  21  
1 2 3 
 21   
1 2 3
1 2 3 
Además 3 divide a S3  6 0  
1
2 3
2 3 
1
1   
1 3 2 
1 2 3 1 2 3
2    2   
Verifiquemos el teorema 2 de Sylow de conjugación. 3 1 2 3 1 2

Es decir: xi j  (  j ) x  j
1
 1 2 3   1 2 3  
{ 0 , 1}i2    , 
 1 2 3   2 1 3 
{ 0 , 1}i1  {11 0 1, 1111}
{ 0 , 1}i1  { 0 , 3}
 2 3 1  2 3 1
11    11   
 1 2 3  1 2 3 Lo cual ilustra que todos ellos son conjugados. Además son
1 2 3 
0  
1 2 3  subgrupos de S3 .
 1   
1 2 3  1 3 2 
 1 2 3  1 2 3
1    1   
 2 3 1  2 3 1
 1 2 3   1 2 3  
{ 0 , 1}i1    ,  3 2 1
 1 2 3   
{ ,  }i  { ,  }
UNIVERSIDAD 1 1 JORGE 0BASADRE
0 NACIONAL 2 GROHMANN
 UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN FACULTAD DE CIENCIAS - ESCUELA PROFESIONAL DE
MATEMÁTICA

GRACIAS

UNIVERSIDAD NACIONAL JORGE BASADRE GROHMANN