DOCENTE:
UNIVERSIDAD DE CRDOBA
a ) H es un subgrupo de ndice 2
b ) Considerando a G como espacio vectorial sobre Z2 , el espacio cociente G/H es isomorfo
al campo Z2
c ) dimZ2 H = n 1
|G/H| = (G : H) = 2
G/H
= Z2
b c Supongamos que
G
= Z2
H
= Zk2
1
Sea p un primo y n Z+ si E y E son dos campos de tamao pn entonces,
E
=E
2
Teorema*:
Sea V un espacio vectorial sobre un campo F de dimensin n, entonces
V
=F
n
As,
|G| 2n
2 = (G : H) = = k
|H| 2
de donde, 2k = 2n1 . En consecuencia, k = n 1.
H
= Zn1
2
De esa forma,
|G| 2n
(G : H) = = n1 = 2
|H| 2
As, H es un subgrupo de G de ndice 2.
Demostracin. Debemos elegir n1 vectores tales que el conjunto {u1 , u2 , . . . , un1 } sea lineal-
mente independiente. Como |G| = 2n y 0
/ {u1 , u2 , . . . , un1 }, entonces tenemos 2n 1 posibi-
lidades para elegir a u1 . Debemos elegir u2 de tal manera que, u2
/ Span{u1 } = {0, u1 }. De ese
modo, tenemos 2n 2 posibilidades para elegir a u2 . Supongamos que hemos elegido los vecto-
res, u1 , u2 , . . . , uk . Necesitamos elegir el vector uk+1 de tal forma que, uk+1
/ Span{u1 , . . . , uk }.
Sabemos que el conjunto, {u1 , . . . , uk } genera un subespacio de tamao 2k , pues
Span {u1 , . . . , uk }
= Zk2 .
n2
(2n 2k )
k=0
(n 1)!
bases.
Debemos elegir n 1 vectores tales que el conjunto {v1 , v2 , . . . , vn1 } sea linealmente indepen-
diente. Como |H| = 2n1 y 0
/ {v1 , v2 , . . . , vn1 }, entonces tenemos 2n1 1 posibilidades
para elegir a v1 . Debemos elegir v2 de tal manera que, v2
/ Span{v1 } = {0, v1 }. De ese modo,
tenemos 2n1 2 posibilidades para elegir a v2 . Supongamos que hemos elegido los vectores,
v1 , v2 , . . . , vk . Necesitamos elegir el vector vk+1 de tal forma que, vk+1
/ Span {v1 , . . . , vk }.
Sabemos que el conjunto, {v1 , . . . , vk } genera un subespacio de tamao 2k , pues
Span {v1 , . . . , vk }
= Zk2 .
es decir, H tiene,
n2
(2n1 2k )
k=0
(n 1)!
bases.
4. Demuestre que G tiene exactamente 2n 1 hiperplanos y que por lo tanto G, como grupo, tiene
2n 1 subgrupos de ndice 2.
n2
(2n 2k )
k=0
(n 1)!
Ahora, como char Q = 0, entonces Q es perfecto y dado que K es una extensin nita sobre Q,
concluimos que K es separable.
De ese modo,
n
n
[K : Q] = [Ki : Ki1 ] 2 = 2n
i=1 i=1
es decir, [K : Q] 2n .
2. Sean i1 < i2 < < ik y j1 < j2 < < js dos sucesiones diferentes de enteros en {1, . . . , n}.
Demostrar que Q( pi1 pik ) = Q( pj1 pjs ). Deduzca que hay al menos 2n 1 campos
intermedios Q E K de grado 2 sobre Q.
Demostracin. Sean i1 < i2 < < ik y j1 < j2 < < js dos sucesiones diferentes de enteros
en {1, . . . , n} dadas. Entonces existe m {1, . . . , k} tal que im = jn para algn n {1, . . . , s}.
Supongamos sin prdida de generalidad que s < k.
pi1 pik = a + b pj1 pjs
Note que si a = 0, entonces pi1 pik = b2 (pj1 pjs ). Como b Q, entonces b = m/n
donde m, n Z. Luego, pi1 pik = (m2 /n2 )(pj1 pjs ), dado que pi1 pik Z+ , entonces
n2 = 1 o pj1 pjs |n2 . Si n = 1, entonces por la Armacin 1 obtenemos una contradiccin y
pj1 pjs |n2 no puede ocurrir pues, pjl = pjr para todo l = r, vemos as que en cualquier caso
se llega a una contradiccin. Por consiguiente a = 0, as
= 2(2k 1) + 1 = 2k+1 1
De ese modo, por la Armacin 2 y por lo probado anteriormente concluimos que hay al
menos 2n 1 campos intermedios de Q E K de grado 2 sobre Q.
K
y
..
.
y
Q( pi1 pik )
y
..
.
y
Q( p1 )
y
Q
G(K/Q)
= Zr2
Utilizando los resultados del ejercicio 1. demuestre que en realidad r = n y concluya que
[K : Q] = 2n .
Demostracin. Veamos que para todo G(K/Q) se tiene que 2 = id, donde id es el
automorsmo identidad de K . En efecto, sea G(K/Q) dado. Por Teorema visto sabemos
que ( pj ) = pj para todo j {1, . . . , n}. Ntese que Jn = {1, . . . , n} = A B , donde
A = {j Jn : ( pj ) = pj }
y
B = {j Jn : ( pj ) = pj }
De ese modo,
Si j A, entonces ( )( pj ) = (( pj )) = ( pj ) = pj
si j B , entonces ( )( pj ) = (( pj )) = ( pj ) = ( pj ) = pj
G(K/Q)
= Zr2 .
Sea,
M = {Q E K : E es un campo y [E : Q] = 2}
Ahora bien, por el ejercicio 1 tenemos que hay 2r 1 subgrupos de G(K/Q) de ndice 2. Dado
que K es normal sobre Q entonces por el Teorema fundamental de la Teora de Galois se sigue
que |M | = 2r 1 y por la parte 2. de este ejercicio tenemos que |M | 2n 1, as,
2n 1 |M | = 2r 1 2n 1
2n = |G(K/Q)| = [K : Q] 2n
En consecuencia, [K : Q] = 2n .
4. Describa los 2n elementos de G(K/Q) mostrando como actan sobre los elementos pi , i
{1, . . . , n}
Ntese que en la colecin {A }AJn estn todos los elementos de G(K/Q). Por ejemplo, si
elegimos A = , entonces A = id. Notemos adems que estos automorsmos estn en corres-
pondencia biunvoca con los subconjuntos de Jn , de ese modo se conrma que,
|G(K/Q)| = 2n
Demostracin. Sean 1 , 2 , . . . , n Q r {0} dados y sean s = 1 p1 + 2 p2 + + n pn .
Fijemos G(K/Q) r {id}, entonces = A para algn A Jn . Luego,
A (s) s = 2 j pj = 0.
jA
En consecuencia, G(K/Q(s)) = {id}. Notemos que, Q Q(s) K . Como K es normal sobre
Q, entonces K es normal sobre Q(s). De esta forma,
[K : Q(s)] = |G(K/Q(s))| = 1
es decir, K = Q(s).