Resumen

Surgimiento del resultado

Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

El Teorema de Schur-Zassenhaus

Emanuel Portilla Cruz

Universidad Veracruzana

6 de Mayo del 2015

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Contenidos

1 Resumen
2 Surgimiento del resultado

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Contenidos

1 Resumen
2 Surgimiento del resultado
3 Requisitos previos a la prueba
Argumento de Frattini
Extensiones de grupos

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Contenidos

1 Resumen
2 Surgimiento del resultado
3 Requisitos previos a la prueba
Argumento de Frattini
Extensiones de grupos
4 Demostracion del teorema con N abeliano
Existencia
Conjugacion

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Contenidos

1 Resumen
2 Surgimiento del resultado
3 Requisitos previos a la prueba
Argumento de Frattini
Extensiones de grupos
4 Demostracion del teorema con N abeliano
Existencia
Conjugacion
5 Demostracion del teorema para el caso general
Existencia del caso general

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Contenidos

1 Resumen
2 Surgimiento del resultado
3 Requisitos previos a la prueba
Argumento de Frattini
Extensiones de grupos
4 Demostracion del teorema con N abeliano
Existencia
Conjugacion
5 Demostracion del teorema para el caso general
Existencia del caso general
6 Conjugacion
Caso en que G/N es un grupo soluble
Caso en que N es un grupo soluble
Caso general

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Contenidos

1 Resumen
2 Surgimiento del resultado
3 Requisitos previos a la prueba
Argumento de Frattini
Extensiones de grupos
4 Demostracion del teorema con N abeliano
Existencia
Conjugacion
5 Demostracion del teorema para el caso general
Existencia del caso general
6 Conjugacion
Caso en que G/N es un grupo soluble
Caso en que N es un grupo soluble
Caso general
7 Aplicaciones

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Contenidos

1 Resumen
2 Surgimiento del resultado
3 Requisitos previos a la prueba
Argumento de Frattini
Extensiones de grupos
4 Demostracion del teorema con N abeliano
Existencia
Conjugacion
5 Demostracion del teorema para el caso general
Existencia del caso general
6 Conjugacion
Caso en que G/N es un grupo soluble
Caso en que N es un grupo soluble
Caso general
7 Aplicaciones

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Resumen

En esta charla abordare el Teorema de Schur-Zassenhaus, una prueba y aplicaciones.

Schur-Zassenhaus, 1937
Sea N un subgrupo normal de un grupo finito G. Asumiendo que |N | = n y
[G : N ] = m con n y m primos relativos. Entonces G contiene al menos un subgrupo
de orden m y cualesquiera dos de ellos son conjugados en G.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

La historia del resultado

En teora de grupos, el Teorema de Schur-Zassenhaus, debido a Issai Schur y a

Hans Julius Zassenhaus, es un teorema concerniente a los complementos de ciertos
subgrupos de grupos finitos.
Este teorema, demostrado por Schur en el caso particular donde N es cclico, en
Untersuchungen uber die Darstellungen der endlichen Gruppen durch gebrochen
lineare Substitutionen, Journal fur die reine und angewandte Mathematik, 132
(1907), 84-137. Como un resultado intermedio en el artculo, paso desapercibido en
la historia.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Hasta que el teorema fue generalizado para un subgrupo de Hall por Zassenhaus
en 1937, esto en su mas conocida publicacion H. J. Zassenhaus, Lehrbuch der
Gruppentheorie, Leipzig, 1937; el cual es un libro de texto inspirado en sus lecciones
con Emil Artin. Siendo el mismo Zassenhaus quien menciona a Schur como autor
del resultado. Ademas, el dice:
Fue conjeturado que cualesquiera dos complementos de N son conjugados en G
Zassenhaus da la prueba para los casos en que N es abeliano, N es soluble, G/N es
soluble.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Argumento de Frattini
Demostracion del teorema con N abeliano
Extensiones de grupos
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Requisitos previos a la prueba

 Un lema, conocido como el Argumento de Frattini.

 Extensiones de grupos
 Teorema 1
Si G es un grupo finito soluble, entonces todo subgrupo normal minimal
es un p-subgrupo abeliano elemental.
 Proposicion 1
Sea G un grupo y un conjunto de primos.
Si H es un -subgrupo normal de G, entonces H O (G).
O (G) es la interseccion de todos los -subgrupos normales de G.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Argumento de Frattini
Demostracion del teorema con N abeliano
Extensiones de grupos
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Argumento de Frattini

Lema
Si N E G y P Sylp (N ) entonces G = N NG (P ). En particular, si P E N
entonces P E G

Prueba:
Escogemos g G. Ya que P N y N E G, se tiene que

hN h1 N h G

Entonces conjugando P con g obtenemos que

gP g 1 gN g 1 N.

Por lo tanto, P, gP g 1 Sylp (N ).

Ahora, por el segundo teorema de Sylow aplicado al grupo N , n N tal que

nP n1 = gP g 1 . Asi obtenemos

n1 gP g 1 n = P

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Argumento de Frattini
Demostracion del teorema con N abeliano
Extensiones de grupos
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Con lo cual
n1 gP (n1 g)1 = P
Como N G entonces n1 g NG (P ). Asi g nNG (P ), es decir

g N NG (P )

Concluyendo que G N NG (P ). Nos falta demostrar que N NG (P ) G.

Como N G y NG (P ) G, entonces N NG (P ) G.

Concluimos que G = N NG (P ).

En particular, si P N entonces N NG (P ).
Por lo tanto G = N NG (P ) = NG (P ). Es decir, P E G


Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Argumento de Frattini
Demostracion del teorema con N abeliano
Extensiones de grupos
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Extensiones de grupos

Definicion
Una extension de G por A es un sucesion exacta corta
i
1A
E
G1 (1)

y supongamos que A es abeliano y un G-modulo.

Podemos definir una funcion s : G E tal que

s
G
E
G

que cumple
s = 1G
Elegimos
s(1) = 1 (2)

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Argumento de Frattini
Demostracion del teorema con N abeliano
Extensiones de grupos
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Veamos que existe

f :GG A
(g, h) 7 f (g, h)
donde
s(g) s(h) = gh
es decir, existe x i(A) tal que

s(g)s(h) = xs(gh)

definimos
i(f (g, h)) = x
A f se le llama conjunto factor asociado a (1) y s. Ahora existe una biyeccion

:AG E
(a, g) 7 i(a)s(g)

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Argumento de Frattini
Demostracion del teorema con N abeliano
Extensiones de grupos
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Dado g G y a A
i(g a) := i(ag ) E
es conjugado a i(a) E. Por lo tanto

i(ag ) = gi(a)g 1 = s(g)i(a)s(g)1

De aqu podemos observar:

Regla de conmutacion

i(ag )s(g) = s(g)i(a)

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Argumento de Frattini
Demostracion del teorema con N abeliano
Extensiones de grupos
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Luego al conjunto A G queremos darle la estructura de un monoide para ello

definimos una operacion entre elementos de A G,

(a, z) (b, x) := i(a)s(z)i(b)s(x)

i(a)s(z)i(b)s(x) = i(a)i(bz )s(z)s(x)

= i(abz )i(f (z, x))s(zx)
= i(abz f (z, x))s(zx)
Que es equivalente a
(a, z) (b, x) = (abz f (z, x), zx)
Debemos ver:
 Esta bien definida.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Argumento de Frattini
Demostracion del teorema con N abeliano
Extensiones de grupos
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Luego al conjunto A G queremos darle la estructura de un monoide para ello

definimos una operacion entre elementos de A G,

(a, z) (b, x) := i(a)s(z)i(b)s(x)

i(a)s(z)i(b)s(x) = i(a)i(bz )s(z)s(x)

= i(abz )i(f (z, x))s(zx)
= i(abz f (z, x))s(zx)
Que es equivalente a
(a, z) (b, x) = (abz f (z, x), zx)
Debemos ver:
 Esta bien definida.
 Existencia del neutro unico.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Argumento de Frattini
Demostracion del teorema con N abeliano
Extensiones de grupos
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Luego al conjunto A G queremos darle la estructura de un monoide para ello

definimos una operacion entre elementos de A G,

(a, z) (b, x) := i(a)s(z)i(b)s(x)

i(a)s(z)i(b)s(x) = i(a)i(bz )s(z)s(x)

= i(abz )i(f (z, x))s(zx)
= i(abz f (z, x))s(zx)
Que es equivalente a
(a, z) (b, x) = (abz f (z, x), zx)
Debemos ver:
 Esta bien definida.
 Existencia del neutro unico.
 Asociatividad de la operacion.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Argumento de Frattini
Demostracion del teorema con N abeliano
Extensiones de grupos
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Luego al conjunto A G queremos darle la estructura de un monoide para ello

definimos una operacion entre elementos de A G,

(a, z) (b, x) := i(a)s(z)i(b)s(x)

i(a)s(z)i(b)s(x) = i(a)i(bz )s(z)s(x)

= i(abz )i(f (z, x))s(zx)
= i(abz f (z, x))s(zx)
Que es equivalente a
(a, z) (b, x) = (abz f (z, x), zx)
Debemos ver:
 Esta bien definida.
 Existencia del neutro unico.
 Asociatividad de la operacion.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Argumento de Frattini
Demostracion del teorema con N abeliano
Extensiones de grupos
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Cociclo identidad

Una consecuencia de la asociatividad de la operacion que se definio es la relacion

conocida como:

Cociclo identidad

f (z, x)f (zx, y) = f (x, y)z f (z, xy) (3)

Dicho resultado sera de utilidad para la demostracion del teorema.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Existencia
Demostracion del teorema con N abeliano
Conjugacion
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Existencia

Prueba:
Sea Q = G/N . Puesto que N es abeliano, este puede ser convertido en un Q-modulo
via la accion bien definida por

q a := aNg = N gag 1 N := gag 1 ,

donde q = N g. De esto sabemos que para todos x, y y z Q se cumple (3). Ahora

consideremos un elemento de N , digamos d(x) definido como
Y
d(x) = f (x, y)
yQ
Q
Aplicando f (x, y) a (3) obtenemos
yQ

f (z, x)m d(zx) = d(x)z d(z)

d(zx) = d(x)z d(z)f (z, x)m (4)

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Existencia
Demostracion del teorema con N abeliano
Conjugacion
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Luego como (m, n) = 1 existe e(y) N tal que e(y)m = d(y)1 , para demostrarlo
considerese
d(y)d(y)1 = 1
Y
f (y, z)d(y)1 = 1
zQ

Luego
1
Y
1
d(y) = f (y, z)
zQ

As Y
d(y)1 = f (y, z)1
zQ

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Existencia
Demostracion del teorema con N abeliano
Conjugacion
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

como (m, n) = 1, tenemos ms + nt = 1

Y
d(y)1 = f (y, z)msnt
zQ
Y
d(y)1 = f (y, z)ms f (y, z)nt
zQ

Pero f (y, z)n = 1

Y
m
d(y)1 = f (y, z)s (f (y, z)n )t
zQ

Y
m
d(y)1 = f (y, z)s (1)t
zQ
Y
m
d(y)1 = f (y, z)s
zQ
Q Q
Definamos e(y) = f (y, z)s y sabiendo que f (y, z) N
zQ zQ

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Existencia
Demostracion del teorema con N abeliano
Conjugacion
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

dado que f (y, z) N , e(y) N tal que e(y)m = d(y)1 . Sustituyendo en (4) se
obtiene
e(zx)m = (e(x)z e(z)f (z, x))m
simplificando la expresion

e(zx) = e(x)z e(z)f (z, x) (5)

Digamos ahora que existe

: Q = G/i(N ) G
x 7 x = e(x)s(x)

Vamos a demostrar que es un homomorfismo.

z x = e(z)s(z)e(x)s(x) = e(z)e(x)z s(z)s(x)

= e(z)e(x)z f (z, x)s(zx)

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Existencia
Demostracion del teorema con N abeliano
Conjugacion
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

utilizando la identidad (5)

= e(zx)s(zx) = zx
Por lo tanto es un homomorfismo.
Ahora x = 1 implica que x N y x = N = 1Q . Por lo tanto es inyectiva,
Im()
= Q. Finalmente |Im()| = m.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Existencia
Demostracion del teorema con N abeliano
Conjugacion
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Conjugacion

Prueba:
Supongamos H y H dos subgrupos de orden m. Entonces G = HN = H N y
H N = {1} = H N . Sea x Q mapea a ux y ux respectivamente bajo el

homomorfismo canonico.
U : HN/N H
U : H N/N H

HN HN
xQ= =
N N
x = nhN = hN, ux = h
x = nh N = h N, ux

= h
x N h N h
n1 , n2 N
tal que
x = n1 h = n2 h

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Existencia
Demostracion del teorema con N abeliano
Conjugacion
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

de aqui
n1
2 n1 h = h

Sea n1
2 n1 = a(x), el cual cumple a(x) N . Entonces

ux = a(x)ux

pero
uy = a(x)ux a(y)uy = a(x)a(y)x ux uy

uxy = ux
Ademas

uxy = a(xy)uxy
de lo anterior
a(x)a(y)x uxy = a(xy)uxy
por lo tanto se obtiene la relacion

a(xy) = a(x)a(y)x (6)

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Existencia
Demostracion del teorema con N abeliano
Conjugacion
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Q
Definimos b = a(y), aplicando lo anterior a (6)
yQ

b = bx a(x)m (7)

Puesto que (m, n) = 1, sabemos que ms + nt = 1

b = bms+nt = bms bnt = (bs )m (bn )t

Pero bn = 1 b = (bs )m (1)t = (bs )m . Sea c = bs , con ello se obtiene

b = cm

con c N Ahora por (7)

cm = cmx a(x)m
simplificando
c = cx a(x)

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Existencia
Demostracion del teorema con N abeliano
Conjugacion
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

despejando a(x) = cx c. Mas aun

ux = cx cux = ccx ux

Por estar c N , luego recordando la regla de conmutatividad

s(z)e(x) = e(x)z s(z)

tenemos
ux c1 = (c1 )x ux
As

ux = c(c1 )x ux = cux c1
Por lo tanto podemos concluir que

H = cHc1

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano Existencia del caso general
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Existencia del caso general

Prueba:
Nosotros haremos induccion sobre |G|. Suponemos el resultado para grupos de
orden menor a |G|.
Sean P Sylp (N ), con p|n, definamos el grupo L := NG (P ) y C = Z(P ) 6= 1 por
ser un p-grupo. Luego, L NG (C) := M por ser un subgrupo C char P .
Ahora, utilizando el Argumento de Frattini tenemos que G = LN , mas aun, se tiene
que G = M N de esto, |M | = mr con (m, r) = 1.
Definamos N1 := N M E M el cual cumple

[G : N ] = |G/N | = |M N/N
= M/M N = M/N1 | = [M : N1 ]

y sabemos que [G : N ] = m. Por otro lado, tenemos

|M N | = |M ||N |/|N M |

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano Existencia del caso general
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

de lo anterior
|N M | = |M ||N |/|M N | = mrn/mn = r
Ahora, consideremos al grupo M/C debido a que |M | 6 |G| y |C| =
6 1 tenemos que
|M/C| < |G| y C N1 .
Por lo tanto
|M/C| = |M/N1 |[N1 : C]
con (|M/N1 | = m, [N1 : C]) = 1 puesto que [N1 : C] | r, ya que (r, m) = 1 ademas
N1 /C E M/C.
Por lo cual podemos aplicar la hipotesis de induccion al grupo M/C. As obtenemos
X/C M/C con |X/C| = [X : C] = m
Pero C N con (|N | = n, m) = 1.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano Existencia del caso general
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Por lo cual (|X/C| = m, |C|) = 1 y C E N con C abeliano.

Ahora podemos aplicar el caso abeliano al grupo X con el subgrupo normal C para
obtener que
KX M G
tal que |K| = m.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba Caso en que G/N es un grupo soluble
Demostracion del teorema con N abeliano Caso en que N es un grupo soluble
Demostracion del teorema para el caso general Caso general
Conjugacion
Aplicaciones

Caso en que G/N es un grupo soluble

Prueba:
Sean = {p con p un numero primo : p | m} y R = O (G), donde O (G) es la
interseccion de todos los -subgrupos que son normales al grupo G, en smbolos
\
O (G) = A
AEG

As R E G. Sean H y K -subgrupos de Hall de G como podemos hacer el paso al

cociente G/R mediante el teorema de correspondencia podemos suponer que R = 1.
Sea L/N E G/N normal minimal recordando el Teorema 1 se tiene que L/N es un
p-grupo abeliano elemental (i.e. L/N
= Zp . . . Zp ) para algun p .

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba Caso en que G/N es un grupo soluble
Demostracion del teorema con N abeliano Caso en que N es un grupo soluble
Demostracion del teorema para el caso general Caso general
Conjugacion
Aplicaciones

Luego, S := H L, es un p-subgrupo de L. Donde S = SN/N L/N y HL/H =

L/H L implica que [L : S] = [HL : H] es un p -numero, es decir, es un numero
que no es divisible por p. Concluimos que H L es un p-subgrupo de Sylow de L.
De manera analoga K L es un p-grupo de Sylow de L, ahora por el segundo
teorema de Sylow, existe un g L tal que

H L = (K L)g = K g Lg

Por lo tanto, H L = K g L pero por ser L normal se tiene

H L = Kg L

Afirmamos que S = H L E hH, K g i := J, es decir, que para cualquier w hH, K g i,

se cumple que S w = S. Basta con probar que es lo que sucede si w H o w K g .
Para el caso en que w H

(H L)w = H w Lw

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba Caso en que G/N es un grupo soluble
Demostracion del teorema con N abeliano Caso en que N es un grupo soluble
Demostracion del teorema para el caso general Caso general
Conjugacion
Aplicaciones

puesto que w H y L E G as

(H L)w = H L

Para el caso w = gkg 1 con k K, entonces

  g
1 k
 g
(H L)w = (H L)g = (K L)k = (K L)g = H L

As
(H L)w = H L y S E J

Ahora supongamos que J = G, entonces S E G. Pero como S -subgrupo maximal

de G, por la Proposicion 1 S O (G) = 1 implica que S = 1. Por lo tanto, L no
tiene -subgrupos pero p | |L| con p , lo cual es una contradiccion. Concluimos
que necesariamente J 6= G.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba Caso en que G/N es un grupo soluble
Demostracion del teorema con N abeliano Caso en que N es un grupo soluble
Demostracion del teorema para el caso general Caso general
Conjugacion
Aplicaciones

Procediendo por induccion sobre |G|, obtenemos que H y K g son conjugados en J.

Es decir, existe w J tal que H = (K g )w = K wg .
Por lo tanto H y K son conjugados en G.


Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba Caso en que G/N es un grupo soluble
Demostracion del teorema con N abeliano Caso en que N es un grupo soluble
Demostracion del teorema para el caso general Caso general
Conjugacion
Aplicaciones

Caso en que N es un grupo soluble

Prueba:
Sean H, K G con |H| = |K| = m, entonces HN /N y KN /N son subgrupos
de G/N donde
|HN /N | = |KN /N | = m
 
n n
y N/N E G/N abeliano de orden con m, = 1.
|N | |N |
Podemos ver que se cumplen las hipotesis del caso abeliano as se tiene que HN /N
y KN /N son conjugados en G/N . Por lo tanto existe gN G/N tal que

gN
HN /N = KN /N

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba Caso en que G/N es un grupo soluble
Demostracion del teorema con N abeliano Caso en que N es un grupo soluble
Demostracion del teorema para el caso general Caso general
Conjugacion
Aplicaciones

es decir, gN (HN )g 1 N = KN y N normal implica que

gHg 1 N = KN

asi H g KN .
Resumiendo, tenemos que G/N es un grupo con L(N )=L(N )1 donde H g , K son
subgrupos de KN con |H g | = |K| = m aplicando induccion sobre L(N ) tenemos
que H g y K son conjugadas en KN , es decir, existe w KN tal que

(H g )w = K

por lo tanto
H wg = (H g )w = K
con wg G, por lo tanto H y K son conjugados en G.


Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba Caso en que G/N es un grupo soluble
Demostracion del teorema con N abeliano Caso en que N es un grupo soluble
Demostracion del teorema para el caso general Caso general
Conjugacion
Aplicaciones

Caso general

Prueba:
Puesto que los enteros m y n son primos relativos al menos uno de ellos es impar,
entonces por el Teorema de Feit-Thompson se tiene que alguno de los grupos N o
G/N es soluble, que son precisamente los casos que ya se estudiaron. Por lo tanto,
cualesquiera dos subgrupos de orden m son conjugados.


Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Aplicaciones

Teorema
Sea G un grupo soluble de orden mn donde (m, n) = 1 . Entonces
G posee al menos un subgrupo de orden m
Dos subgrupos cualesquiera de orden m son conjugados
Cualquier subgrupo cuyo orden m divide a m esta contenido en un subgrupo
de orden m
El numero hm de subgrupos puede ser expresada como un producto de
factores, cada uno de los cuales (a) es congruente a 1 modulo algun factor
primo de m y (b) es una potencia de un primo y divide a uno de los factores
principales de G.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Teorema

Sea A un -grupo de automorfismos del -grupo de G, y supongamos que G o A
es soluble. Entonces para cada primo p en , nosotros tenemos
A deja invariante algun p-subgrupo de Sylow de G
Cualesquiera dos p-subgrupos de Sylow A-invariante de G son conjugados por
un elemento de CG (A).
Cualquier p-subgrupo A -invariante de G esta contenido en un p-subgrupos de
Sylow A-invariante de G.
Si H es cualquier subgrupo normal A-invariante de G, entonces CG/H (A) es
la imagen de CG (A) en G/H

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Proposicion
Si A es un p-grupo de automorfismos de G con la propiedad CG (A) = 1 entonces

G es un p -grupo.

Teorema
Sea G un grupo actuando sobre el conjunto y sea K un subgrupo normal de G.
Supongamos que
(|K|, |G/K|) = 1
K o G/K son solubles y
K actua transitivamente sobre
Entonces para todo complemento H de K en G
1 C (H) 6=
2 CK (H) actua transitivamente sobre C (H)

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus

 Resumen
Surgimiento del resultado
Requisitos previos a la prueba
Demostracion del teorema con N abeliano
Demostracion del teorema para el caso general
Conjugacion
Aplicaciones

Teorema
Supongamos que la accion de A sobre G es coprima. Sea U un subgrupo
A-invariante de G y g G tal que (U g)A = U g. Entonces existe c CG (A) tal
que U g = U c.

Proposicion
Si G es un grupo soluble finito, un conjunto de primos y A un -subgrupo de G,
entonces
Existe un -subgrupo de Hall de G contenido en A
Cualesquiera -subgrupos de Hall de G son conjugados.

Emanuel Portilla Cruz Teorema de Schur-Zassenhaus