Está en la página 1de 11

Real Berm udez Jes us M.

June 16, 2003


1.
2.
3.
4.
1
Real Berm udez Jes us M.
5. Teoremas de Sylow
5.1. Acciones de Grupo
Denicion 5.1
Sea G un grupo y X un conjunto no vaco. Decimos que G act ua en X si existe un homomorsmo
: G S
X
El Homomorsmo es llamado una representacion permutacional de G en X.
Si : G S
X
es un homomorsmo, entonces:
g G (g) S
X
(g) : X X biyecci on x X, (g)(x) X
Denotemos g G,

g
:= (g) x X,
g
(x) = (g)(x)
, por lo tanto : G S
X
es homomorsmo. Por lo tanto
g
: X X biyeccion. Mas a un, denotemos: g G, forallx X

g
(x) = g x X.
Propiedades 5.2
1. g, g
1
G (gg
1
) = (g)(g
1
) es decir
gg1
=
g

g1
.
O sea x X
(gg
1
) x = g (g
1
x)
2. (e) = e
X
es decir,
e
= e
X
x X, e x = x.
3. g G, (g
1
) = (g)
1
es decir,
g
1 =
1
g
o equivalentemente
g
1
g
= e
X
=
g

g
1 g
1
(g x) = x =
g (g
1
x) x X.
4. G y x, y X si y = g x
1
x.
5. g G y x, y X si g x = g y x = y.
6. g G, entonces g X = X donde g X = {g x|x X}(ya que
g
: X Xessuprayectiva)
g
(x) = X, donde

g
(x) = {
g
(x)|x X}
= {g x|x X}
= g X.
(1)
Ejemplo
Sea G grupo, y sea X = G. Sea : G S
G
dada por g G, (g) =
g
donde
g
: X X dada por
g
(x) = g x :=
gxg
1
, es decir,
g
es un automorsmo interior de G.
Se tiene en efecto que:
: G S
G
es un homomorfismo
es decir, g, g
1
G
(gg
1
) = (g)(g
1
);
o sea

gg1
=
g

(
g
1
)
2
equivalentemente x G
gg
1
x = g (g
1
x)
= (gg
1
) (gg
1
)
1
= g(g
1
g
1
1
)g
1
= g(g
1
x)g
1
= g (g
1
x)
(2)
En este caso, es llamada la accion de conjugacion.
Sea : G S
X
una representacion permutacional o una accion. Denimos la relacion sobre X: x, y X x y
existe g G tal que y = g x. Tenemos que es una relacion de equivalencia sobre X.
1. Reexiva.- Si x y, x x, x X pues x = e x.
2. Simetrica.- Si x y existe g G tal que y = g x x = g
1
y y x.
3. Transitiva.- Si x y y y z existe g G tal que g = g x y existe g
1
G talq ue z = g
1
y z = g
1
y =
g
1
(g x) = (g
1
g) x x z
As esta relacion de equivalencia induce una particion en X por las clases de equivalencia llamadas orbitas de G en X.
Si x X, denotamos a su orbita como O(x) donde:
y O(x) y y
existe g G tal que y = g x
y G x
(3)
donde G x = {g x|g G} =orbita, es decir,
O(x) = G x
.
Luego, y G x G x = G y o y / G x G x G y = .
Sea {x
i
|i I} un conjunto completo de representantes bajo esta relacion, entonces:
X =
iI
G X
i
= uni on disjunta.
Si la relacion de equivalencia consta de una orbita, entonces decimos que la relacion es transitiva, es decir; x, y X
x y.
Denicion 5.3
Pra cada x X, se dene el estabilizador de x como: G
X
:= {g G|g x = x}, notemos que: x X e x = x e
G
X
(G
X
= ).
Denotemos por:
X
G
:= {x X|g x}
= {x g G} G
= conjunto de puntos fijos
(4)
x X
G
g x = xg G G x = {x}. As si |x| < +. Tenemos que x =
iI
G x
i
donde {x
i
}
iI
representa un
conjunto completo de representantes en las orbitas de G en X
|x| =

iI
|G x
i
|
= |x
G
| +

iI y xi / x
G
|G x
i
| = |x
G
| +

iI y xi / x
G
[G : G
xi
]
(5)
Por lo tanto |x| = |x
G
| +

iI y xi / x
G[G : G
xi
], si ademas |G| < +, entonces:
|x| = |x
G
| +

iI y xi / x
G
|G|
|G
x
i
|
(6)
En particular, si consideramos la accion de conjugacion:
|G| = |Z| +

iI y xi / x
G
|G|
|N
G
(x
i
)|
(7)
3
Ejmeplo
Sea G grupo. Entonces, la relacion de conjugacion, x, y, g G
g x = gxg
1
y
y x y = gxg
1
G x = C(x)
= {gxg
1
|g G}
(8)
G
X
= {g G|gxg
1
= x}
= {g G|gx = xg}
= N
G
(x)
(9)
x X
G
= G
G
gxg
1
= x g G
gx = xg g G
x Z
(10)
Por lo tanto X
G
= Z
Proposicion 5.4
Para todo x X, G
X
< G
Demostracion
Sean g, g
1
G
X
. Veamos que gg
1
1
G
X
. Tenemos que g x = x = g
1
x g
1
1
x = x.
Por lo tanto gg
1
1
x = g (g
1
1
x) = g x = x gg
1
1
G
X
Por lo tanto G
X
< G
q.e.d.
Corolario
Para todo x G, N
G
(x) < G.
Proposicion 5.5
Para todo x G;
|G x| = [G : G
X
]
En particular, si G es nito entonces |G x| =
|G|
|G
X
|
.
Demostracion
Sea : G x G/
I
G
X
1. esta bien denida:
Si g, g
1
tal que g x = g
1
x (g
1
1
) x = x g
1
1
g G
X
gG
X
= g
1
G
X
.
2. es inyectiva:
(g x) =

varphi(g
1
x) entonces gG
X
= g
1
G
X
g
1
1
g G
X
g
1
1
g x = x g x = g
1
x.
3. es suprayectiva (es inmediata).
por lo tanto |G x| = [G : G
X
].
q.e.d.
4
Corolario
Para toda x G, |c(x)| = [G : N
G
(x)]
Proposicion 5.6
Si G es grupo con |G| = p
n
con p primo y n 1 entonces Z =< e >.
Demostracion
Bajo la notacion anterior, tenemos que si Z = G existe i I tal que x
i
/ Z
|G|
|Ni(xi)|||G|=p
n
p|
|G|
|N
G
(xi)|

p|

iI y xi / x
G
|G|
|N
G
(xi)|
|G| = |Z| |Z| > 1 z =< e >.
q.e.d.
Observacion
G es Abeliano si y solo si G = Z
Proposicion 5.7
Supongase que G es nito con |G| = p
n
con ngeq1, p primo. Si x es nito no vaco y G act ua en X, entonces:
|x| |x
G
| mod p
Demostracion
Tomemos {x
i
|i I} un conjunto completo de representantes en las orbitas de G en X, entonces:
|x| = |x
G
| +

xiX
G
G
Gx
i
puesto que p|
|G|
|Gxi|
con x
i
/ X
G
p|

xi
/ X
G
|G|
|Gxi|=|x||X
G
| mod p
.
q.e.d.
Teorema 5.8 (de Cauchy)
Si G es un grupo nito y p es un n umero primo tal que p||G|, entonces existe a G, a = e tal que a
p
= e
Demostracion
Sea X = {(a
1
, ..., a
p
) GG... G = G
p
|a
1
...a
2
= e}.
Notemos que: X = pues (e, ..., e) X. Denotemos por n = |G| tenemos:
1. |X| = n
p1
. Denimos h : X G
p1
dada por h(a
1
, ..., p) = (a
1
, ..., p 1) (a
1
, ..., a
p
) X. Entonces h es
biyeccion:
a) h es inyectiva:
h(a
1
, ..., a
p
) = h(b
1
, ..., b
p
) (a
1
, ..., a
p1
) = (b
1
, ..., b
p1
) a
i
= b
i
i {1, 2, ..., p 1} donde a
1
... a
p
=
e = b
1
... b
p
a
p
= b
p
.
Por lo tanto (a
1
, ..., a
p
) = (b
1
, ..., b
p
)
b) h es suprayectiva:
Sea (a
1
, ..., a
p1
) G
p1
, ap = a
1
p1
... a
1
1
G h(a
1
, ..., a
p
) = (a
1
, ..., a
p1
).
Por lo tanto |X| = |G
p1
| = n
p1
, en particular p||X|.
Consideremos el grupo cclico H = Z/pZ de p elementos.
Redenimos a X como:
X = {(a
[1]
, ..., a
[p]
)|a
[1]
... a
[p]
= e}
donde [k] H (k Z). Denimos [k] H,
[k]
: X X dada por
[k]
(a
[1]
, ..., a
[p]
) = (a
[k+1]
, ..., a
[p+k]
).
5
2.
[k]
esta bien denida:
Sea k

[k] k k

mod p k + i k

+ i mod p, i Z (a
[1+k]
, ..., a
[p+k]
) = (a
[1+k

]
, ..., a
[p+k

]
)

k
(a
[1]
, ..., a
[p]
) =
k
(a
[1]
, ..., a
[p]
). Ademas [k] H.
a
[1+k]
a
[p+k]
= a
[1]
a
[i+1]
a
[p]
a
[1]
a
[i1]
= e donde 1 i p y [i] = [1 + k]
3.
[k]
es inyectiva:

[k]
(a
[1]
, ..., a
[p]
) =
[k]
(b
[1]
, ..., b
[p]
) (a
[1+k]
, ..., a
[p+k]
) = (b
[1+k]
, ..., b
[p+k]
) a
[i+k]
= b
[i+k]
, i i p a
[i]
=
b
[i]
, 1 i p.
4.
k
es suprayectiva:
Sea (b
[1]
, ..., b
[p]
) X. Sea a
[1]
= b
[1k]
, a
[2]
= a
[2k]
, ..., a
[p]
= b
[pk]
, entonces tenemos que :
a
[1]
a
[p]
= b
[1k]

[p k] = e
y
(a
[1]
a
[p]
) = (b
[1]
b
[p]
)
Por lo tanto
[k]
es biyeccion.
Ahora bien, sea : H S
x
dada por:

[k]
:=
[k]
.
Se tiene que esta bien denida:
Si k

[k] k

= k mod p,
k
=
k
. Ademas es homomorsmo, es decir, [k], [k

] H
([K] + [K]i) =
[k]

[K]i
En efecto :
(
[k]

[k

]
)(a
[1]
, ..., a
[p]
) = (
[k

]
(a
[1]
, ..., a
[p]
))
=
[k]
(a
[1+k

]+...+a
[p+k]
)
= (a
[i+k+k

]
, ..., a
[1+k+k

]
)
=
[k+k

]
(a
[1]
, ..., a
[p]
) X
(11)
Por lo tanto
[k+k

]
=
[k]+[k

]
=
[k]

[k

]
.
De aqu que:
|X| = |X
H
| +

xX
H
|H|
|Hx|
la suma variando en un conjunto de representantes completo de las orbitas de H en X con xX
H
.
Notemos que si x / X
H
, (x X)
|H|
|Hx|
> 1 y
|H|
|Hx|
||H| = p
|H|
|Hx|
= p, con x / X
H
. Teniendo que
|x| = n
p1
, obtenemos n
p1
= |X
H
|+tp, t N como p|n
p1
p||X
H
| en particular |X|
H
> 1. pero (a
[1]
, ..., a
[p]
)
X
H
[k] (a
[1]
, ..., a
[p]
) = (a
[1]
, ..., a
[p]
), [k] K (a
[1+k]
, ..., a
[p+k]
) = a
[1]
, ..., a
[p]
, k Z a
[1]
= ... = a
[p]
.
As X
H
= {(a
1
, ..., a
p
) G
p
|a
p
= e} como |X
H
| > 1 con (e
1
...e) X
H
existe a G, a = e tal que a
p
= e
q.e.d.
Observacion
La cantidad de elementos de G de orden p es |X
H
| 1, donde |X
H
| 1 = (pt 1) + n
p1
= n
p1
pt 1, por lo
tanto |X
H
| 1 1 mod p.
Denicion 5.9
Sea G un grupo y p un n umero primo. Decimos que G es un p grupo si g G, |g| = p
m
para alg un m 0.
Proposicion 5.10
Sea G un grupo nito y p u n umero primo. Entonces G es p primo si y solo si |G| = p
n
para alg un n 0
Demostracion
6
Supongamos que G es un p-grupo; con |G| = m. Si m = 1 m = p
0
. Supongamos que m > 1. Sea q n umero primo
tal que: q|m = |G|, por el teorema de Cauchy existe a G, a = e tal que |a||q |a| = q, pero por hipotesis |a| = pt con
t 1 q = pt q = p y t = 1.
Por lo tanto m = p
n
,con n 1.
Recprocamente, supongase que |G| = p
n
con n 0. Sea g G |g|||G| = p
n
|g| = p
2
, con t 0.
Por lo tanto G es p grupo.
q.e.d.
Denicion 5.11
Sea G grupo y H < G. Si p es n umero primo, decimos que H es psubgrupo de G si H es p subgrupo.
Proposicion 5.12
Sea H un p subgrupo de G con G nito. Entonces
[G : H] [N
G
(H) : H] mod p
Demostracion
Sabemos que : G S
X
dada por (g) =
g
donde
g
(xH) = gxH, x G, es un homomorsmo de G en S
X
con
X = G/
I
H = |
H
: H S
X
es un homomorsmo. As que H act ua sobre X con
h (xH) = hxH, h H, x G
Sea x G, xH X
H
h xH = xH
1
h H hxH = xh, h H x
1
hxH = H, h H x
1
hx H, h
H x
1
Hx H x
1
Hx = H N
G
(x) N
G
(H)/
I
H
Por lo tanto X
H
= N
G
(H)/
I
H [G : H] = |X| = |X
H
| +

x/ X
H
|H|
|H
X
|
= [N
G
(H) : H] + tp
Por lo tanto [G : H] = [N
G
(H) : H] mod p.
q.e.d.
5.2. Teoremas de Sylow
Teorema 5.13 (Primer Teorema de Sylow)
Sea G un grupo nito con |G| = p
n
m donde n 1, m 1, p es n umero primo y (p, m) = 1. Entonces, para cada
0 k < n existe un subgrupo de orden p
k
con 0 k < n es normal en un subgrupo de orden p
k+1
.
Demostracion
Si k = 0 basta tomar H
0
=< e >. Para k = 1, considerando el Teorema de Cauchy, tenemos que existe a G, a = e
tal que a
p
= e |a| = p
1
:=< a > es tal que |H
1
| = p y H
0
H
1
por induccion, supongase construdos subgrupos
H
0
H
1
...H
k
tales que |H
i
| = p
i
, 0 i k con k < n, construyamos un subgrupo H
k+1
de G tal que |H
k+1
| = p
k+1
y H
k
H
k+1
como |H
k
| = p
k
, entonces: [G : H
k
] [N
G
(H
k
) : H
k
] mod p, donde [G : H
k
] =
|G|
|h
k
|
= p
nk
m (n k >
0) p|[N
G
(H
k
) : H
k
] = |N
G
(H
k
)/H
k
|.
Por el teorema de Cauchy existe [H] < N
G
(H
k
)/H
k
tal que |[H]| = p. Por el teorema de correspondencia, existe
H
k+1
< N
G
(H
k
) con H
k+1
H
k
tal que [H] = H
k+1
/H
k
p = |[H]| = |H
k+1
/H
k
| =
|H
k+1
|
|H
k
|
=
|H
k+1
|
p
k
|H
k+1
| = p
k+1
.
Finalmente, como H
k
< H
k+1
< N
G
(H
k
) H
k
H
k+1
con |H
k+1
| = p
k+1
q.e.d.
Corolario
En las condiciones del teorema anterior, se tiene que existe P < G tal que |P| = p
n
.
Lema de Zorn 5.14
7
Sea (x, <) parcialmente ordenado tal que toda cadena de X tiene una cota superior en X entonces X tiene un maxi-
mal.(Una cadena es: C XtalquetodoelementoenCest arelacionado)
Denicion 5.15
Sea G grupo, y sea p n umero primo.Un p-subgrupo de G maximal es llamado p-subgrupo sylow de G.
Observaciones
Aplicando el Lema de Zorn; se prueba que todo grupo tiene p-subgrupos Sylow para cada primo p.
Proposicion 5.16 G grupo nito con |G| = p
n
m, con n, m 1, p primo y (p, m) = 1, entonces para P =< e >
p-subgrupo de G se tienen las siguientes equivalencias:
1. P es p-subgrupo Sylow.
2. P=p
n
(|P|, [G : P]) = 1
Demostracion
1) 2). Se tiene que P es p-subgrupo maximal , es decir, si H es p-subgrupo de G tal que P < H P = H. Si
|P| = p
t
con t < n, por el primer Teorema de Sylow, se tiene que H < G tal que P H y |H| = p
t+1
lo cual es una
contradiccion. Por lo tanto |P| = p
n
.
ii) iii). Si |P| = p
n
[G : P] = m con (p, m) = 1 (|p|, [G : P]) = 1
iii) i). Sea t 0 tal que |P| = p
t
. Puesto que (p
t
, p
nt
m) = 1 t = 0 o t = n. Si t = 0 P =< e > lo cual
no puede ser t = n |P| = p
n
. Ademas, P es p-subgrupo Sylow, ya que en caso contrario, existira H < G tal que
|H| = p
k
con P < H, P = H p
n
< p
k
p
k
|p
n
m, lo cual es una contradiccion.
3. q.e.d.
Denicion 5.17
Sea H y K subgrupos de G.Decimos que H y K son conjugados si existe x G tal que H = xKx
1
Observaciones
Si G es grupo y H < G. Entonces:
1. x G, xHx
1
< G
2. |H| = |xHx
1
| x G.
Proposicion 5.18
Si G grupo nito con |G| = p
n
m y P es p-subgrupo Sylow de G. Entonces, todo conjugado de P es un p-subgrupo
Sylow de G.
Demostracion
Es inmediata deniendo
H xHx
1
h xhx
1
q.e.d.
Proposicion 5.19
Sea G grupo nito con |G| = p
n
m (n, mgeq1, p primo y (p, m) = 1). Sea P un p-subgrupo Sylow de G. Entonces si P
es el unico p-subgrupo Sylow de G entonces P G.
Demostracion
Por demostrar que x G P = xPx
1
. Si x G xPx
1
es un p-subgrupo Sylow de G entonces xPx
1
= P.
Por lo tanto P G.
8
q.e.d.
Segundo Teorema de Sylow 5.20
Sea G grupo nito con |G| = p
n
m con n, m 1, p n umero primo y (p, m) = 1. Sea P un p-subgrupo Sylow de G, y
sea H un p-subgrupo de G. Entonces existe x G tal que H < xPx
1
. En particular, los p-subgrupos Sylow de G son
conjugados.
Demostracion
Sabemos que
: G S
X
g
g
donde X = G/
I
P y g G
g
: X X dada por
g
(xP) = gxP x G es un homomorsmo.
Restringiendo a H, tenemos que la funcion : |
H
: H S
X
es un homomorsmo. As H act ua sobre X como:
h (xP) = hxPh H y x G. Como H es p-subgrupo de G, se tiene que:
|x| |x
H
| mod p
donde |x| = [G : P] = m p |x
H
|. En particular, x
H
= . Sea x G
xP
H
hxP = x = H
x
1
hxP = Ph H
x
1
h

Ph H h xPx
1
h H H < xP
1
x
Por lo tanto x
H
= {xP|H < xP
1
x} = existe x G tal que H < xPx
1
. En particular, si |H| = p
n
|H| =
p
n
|xPx
1
| |H| = xPx
1
q.e.d.
Corolario
En las mimas condiciones del teorema anterio. Sea p un p-subgrupo Sylow de G. Entonces P G si y solo si P es el
unico p-subgrupo Sylow de G.
Demostracion
Seupongamos que P G. Sea G un p-subgrupo Sylow de G. Por el Segundo Teorema de Sylow, existe x G talque
Q = xPx
1
. Como P Q = xPx
1
.
Por lo tanto P es el unico p-subgrupo Sylow de G.
Recprocamente si x G xPx
1
es p-subgrupo Sylow de G. Por unicidad xPx
1
= P P G
q.e.d.
Corolario
En las mimas condiciones del Teorema anterior. Sea P un p-subgrupo Sylow de N
G
(P); ademas P es el unico p-subgrupo
Sylow de N
G
(P)
Demostracion
Tenemos que |p| = p
n
. si Q fuera p-subgrupo sylow de N
G
(P) |Q| = p
k
para alg un kgeq0 donde p
k
= |Q|||N
G
(P)| y
|N
G
(P)||G| p
k
||G| = p
n
m p
k
|p
n
0 k n.Como P N
G
(P) y |P| = p
n
P es un p-subgrupo Sylow de N
G
(P).
Por el corolario anterior, P debe ser el unico p-subgrupo Sylow en N
G
(P)
q.e.d.
9
Corolario
En las condiciones anteriores. Si P es p-subgrupo Sylow de G, entonces N
G
(N
G
(P)) = N
G
(P)
Demostracion
Es claro que N
G
(P) N
G
(N
G
(P)). Sea k=N
G
(P).Pordemostrarque :N
G
(K) K xKx
1
= K como P < K
xPx
1
< xKx
1
= K donde xPx
1
es p-subgrupo Sylow de G P = xPx
1
x K.
Por lo tanto N
G
(K) K, por lo que N
G
(K) = K.
q.e.d.
Tercer Teorema de Sylow 5.21
Sea G grupo nito con |G| = p
n
m con n, m 1, p n umero primo y (p, m) = 1. Sea P un p-subgrupo Sylow de G.
Denotemos por n
p
alacantidaddep-subgrupos Sylow de G.Entonces :
1. n
p
= [G : N
G
(p)]
2. n
p
||G|
3. n
p
1 mod p
Demostracion
Sea X el conjunto de los p-subgrupos Sylow de G. Es decir:
X = {xPx
1
|x G}
ademas n
p
= |X|. Notemos que si x, y G entonces xPx
1
= yPy
1
y
1
xP(y
1
x)
1
= y
1
xPxy = P y
1
x
N
G
(P) xN
G
(P) = yN
G
(P) o equivalentemente xPx
1
= yPy
1
N
G
(P) = yN
G
(P).
Por lo tanto n
p
= [G : N
G
(P)]. Esto Prueba 1).
2) n
p
= [G : N
G
(P)] =
|G|
|N
G
(P)|
||G|.
3) Sea : P S
X
dada como sigue: Sea g P y sea
g
: X X dada por
g
(Q) = gQg
1
X. Se tiene que
esta bien denida y determina una accion de P en X.
Como P es p-subgrupo Sylow, bajo esta accion, se tiene que: |X| |X
p
| mod p, es decir; n
p
|X
p
| mod P.
Veamos que |X
p
| = 1. Notemos que p n
p
= [G : N
G
(P)] X
p
= .
Sea Q X entonces
Q X
p
gQg
1
= Qquad P
P < N
G
(a)
Q = P
Por lo tanto X
p
= {p} |X
p
| = 1. Por lo tanto n
p
1 mod p.
q.e.d.
Ejemplos
1. Sean p,q n umeros primos con p < q y sea G un grupo de orden pq. Entonces:
a) Un q-subgrupo Sylow es normal en G. En particular G no es simple.
b) Si p (q 1), entonces G es cclico.
Solucion
i) Tenemos que n
q
||G| = pq, de donde n
q
1 mod q q n
q
n
q
1, p donde n
q
1 mod q.
Puesto que q (p 1). Por lo tanto n
q
= 1, por lo que un q-subgrupo Sylow de G debe ser normal.
10
Tenemos que n
p
||G| = pq y n
p
1 mod p p n
p
, n
p
= 1, q.
Puesto que p (q 1) n
p
= 1.Por lo tanto Un p-subgrupo Sylow y q-subgrupos Sylow de G P G, QG con
PQ G y |PQ| =
|p||Q|
|PQ|
|PQ| = pq (Pues si a P Q |a|||p| = p y |a|||Q| = q |a| = 1 y a = e.
P Q =< e >).
Por lo tanto G = PQ y P Q =< e >, con P, QG G

= P Q

= Z/pZ Z/qZ, entonces G

= Z/qpZ =grupo
cclico de orden pq.
q.e.d.
2. Encuentre los 2 y 3 subgrupos
Solucion
S
3
= {e, ,
2
, , , ,
2
} donde || = 2, || = 3 y =
2
.
Como |S
3
| = 3! = 2 3. Por el ejemplo anterior, un 3-Sylow de S
3
debe ser Normal, es decir; n
3
= 1, como || = 3
entonces G =< > es un 3-subgrupo Sylow de S
3
. Si P es un 2Sylow, PQ =< e >. Notemos que n
2
1 mod 2
y n
2
|6 n
2
= 1 o 3 P
1
=< > es un 2-subgrupo Sylow de S
3
. Tambien ()
2
= =
2
=
2

3
= e
Por lo tanto || = 2 P
2
=< > es un 2-subgrupo Sylow de S
3
.
Finalmente
2

2
=
2
=
2
=
2
= = e.
Por lo tanto |
2
| = 2 P
3
=<
2
> es un 2-subgrupo Sylow de S
3
3. Sea G un grupo con |G| = 21. Analizando el grupo G se tiene que:
a) G no es simple. Sea Q un 7-subgrupo Sylow de G Q = G con |G| = 21 [G : Q]! = 3! = 6.
Por un corolario, G no es simple, mas a un se establece que existe N G tal que N es el maximo subgrupo
Normal de G contenido en Q.
Puesto que |Q| = 7 y N =< e >, entonces N = Q QG y n
7
= 1.
b) N
3
= 1 o 7, si n
3
= 1 un 3-subgrupo Sylow de G es normal. Luego G sera cclico de orden 21, i.e., G

= Z/21Z.
Si n
3
= 7, entonces G no es Abeliano, ademas si P es un 3-Sylow de G, entonces PQ < G y P Q =< e >
|PQ| = |P||Q| = 21 G = PQ.
Por lo tanto si P =< a > y Q =< b >|a| = 3, |b| = 7 y
G = {e, a, a
2
, b, b
2
, b
3
, b
4
, b
5
, b
6
, ab, ab
2
, ab
3
, ab
4
, ab
5
, ab
6
, a
2
b, a
2
b
2
, a
2
b
3
, a
2
b
4
, a
2
b
5
, a
2
b
6
}
11

También podría gustarte