Anda di halaman 1dari 11

TRABAJO 2 DE TEORA DE GALOIS

JUAN DAVID BARAJAS CALONGE

DOCENTE:

DR. JERSON MANUEL BORJA SOTO

DEPARTAMENTO DE MATEMTICAS Y ESTADSTICA

FACULTAD DE CIENCIAS BSICAS

UNIVERSIDAD DE CRDOBA

Montera - Crdoba, 24-10-2017


Ejercicio 1.
Sea G = Zn2 . Sabemos que G es un grupo bajo la suma componente a componente. Adems, G puede
verse como un espacio vectorial de dimensin n sobre Z2 = {0, 1} considerado como campo con la
suma y multiplicacin que conocemos para Z2 . Queremos determinar el nmero de subgrupos de
ndice 2 del grupo G.

1. Demuestre que las siguientes son equivalentes,

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

De esta forma un hiperplano en G est completamente determinado por un conjunto linealmente


independiente de n 1 vectores, {v1 , v2 , . . . , vn1 }

Demostracin. a b Supongamos que (G : H) = 2. Consideremos a G como espacio vectorial


sobre Z2 . Luego G puede verse como un campo con la suma y multiplicacin usual en Z2 ,
entonces el cociente G/H es un campo de tamao 2, pues

|G/H| = (G : H) = 2

Por tanto, por Teorema visto1 se sigue que,

G/H
= Z2

b c Supongamos que
G
= Z2

y sea k = dimZ2 H , entonces por Teorema*2

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.

b a Supongamos que dimZ2 H = n 1. Entonces por Teorema*,

H
= Zn1
2

De esa forma,
|G| 2n
(G : H) = = n1 = 2
|H| 2
As, H es un subgrupo de G de ndice 2.

2. Con un argumento de conteo, demuestre que G tiene exactamente


(2n 1)(2n 2)(2n 22 ) (2n 2n2 )
(n 1)!

cojuntos linealmente independientes de tamao n 1.

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 .

Entonces existen 2n 2k posibilidades para elegir el vector vk+1 .

De ese modo, vemos que hay a lo ms



n2
(2n 2k )
i=0

conjuntos de G linealmente independientes de tamao n 1. Pero, es posible que el conjunto


{u1 , u2 , . . . , un1 } pueda ser obtenido eligiendo el primer vector como ui , para algn i = 1 en
vez de u1 , y repitiendo el proceso anterior. Ahora, bien tal conjunto puede ser obtenido de
tantas maneras como permutaciones hay en el conjunto de subndices, {1, 2, . . . , n 1}, esto es,
puede ser obtenido de (n 1)! maneras distintas. En consecuencia, la cantidad de conjuntos de
G linealmente independientes y de tamao n 1 es,


n2
(2n 2k )
k=0
(n 1)!

3. Demuestre que un hiperplano H de G tiene exactamente,


(2n1 1)(2n1 2)(2n1 22 ) (2n1 2n2 )
(n 1)!

bases.

Demostracin. Sea H un hiperplano de G, entonces H es un subespacio vectorial de G tal


que dim H = n 1. Si {v1 , v2 , . . . , vn1 } es un conjunto linealmente independiente de H ,
entonces {v1 , v2 , . . . , vn1 } es una base para H , pues, |{v1 , v2 , . . . , vn1 }| = n = dim H . De ese
modo, para determinar el nmero de bases de H , debemos determinar el nmero de conjuntos
linealmente independientes de H de tamao n 1. Procedemos como en 2):

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 .

Entonces existen 2n1 2k posibilidades para elegir el vector vk+1 .

De ese modo, vemos que hay a lo ms



n2
(2n1 2k )
k=0

conjuntos de H linealmente independientes de tamao n 1. Pero, es posible que el conjunto


{v1 , v2 , . . . , vn1 } pueda ser obtenido eligiendo el primer vector como vi , para algn i = 1 en
vez de v1 , y repitiendo el proceso anterior. Ahora, bien tal conjunto puede ser obtenido de
tantas maneras como permutaciones haya en el conjunto de subndices, {1, 2, . . . , n 1}, esto
es, puede ser obtenido de (n 1)! maneras distintas. En consecuencia, la cantidad de conjuntos
de H linealmente independientes y de tamao n 1 es,

n2
(2n1 2k )
k=0
(n 1)!

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.

Demostracin. Sea {u1 , . . . , un1 } un conjunto linealmente independiente de G. Entonces,


Span {u1 , . . . , un1 } es un hiperplano de G. Luego, por 2) tenemos que hay a lo ms,


n2
(2n 2k )
k=0
(n 1)!

hiperplanos. Pero por 3) sabemos que cada hiperplano H de G tiene



n2
(2n1 2k )
k=0
(n 1)!
bases. Por lo tanto, la cantidad de hiperplanos de G es,

n2
(2n 2k )

n2
k=0
(2n 2k )
(n 1)! k=0
=

n2
n2
(2n1 2k ) (2n1 2k )
k=0 k=0
(n 1)!

n2
(2n 1) 2(2n1 2k1 )
k=1
=
n1
n2
(2 2k )
k=0

n2
(2n1 2k1 )
2n2 (2n 1) k=1
=
2n1 1 n1
n2
(2 2k )
k=1

2n2 (2n 1) 2n1


n2
2k1
=
2n1 1 2n1 2k
k=1
2n2 (2n 1) 1
2n1
=
2n1 1 2 n1 2n2
= 2n 1

Y por 1) se sigue que G tiene 2n 1 subgrupos de ndice 2.

Ejercicio 2. Sean p1 , p2 , . . . , pn , n primos distintos (positivos). Considere el campo K = Q(p1 , p2 , . . . , pn ).

1. Mostrar que K es una extensin normal de Q y que [K : Q] 2n

Demostracin. Veamos que K es normal sobre Q. En efecto, consideremos el polinomio p(x) =



(x2 p1 )(x2 p2 ) (x2 pn ) Q[x]. Los ceros de p(x) son,
p1 , p1 , . . . , pn , pn . Por

consiguiente el campo de descomposicin de p(x) es por denicin, Q( p1 , p1 , . . . , pn , pn ) =

Q( p1 , p2 , . . . , pn ) = K . Por tanto, K es un campo de descomposicin.

Ahora, como char Q = 0, entonces Q es perfecto y dado que K es una extensin nita sobre Q,
concluimos que K es separable.

As, K es una extensin normal de Q.

Ahora bien, para i {0, 1, . . . , n} denimos, Ki como,




Q, si i = 0
Ki =

Q(p , . . . , p ),
1 i si i {1, . . . , n}
Por la multiplicidad del grado tenemos que,

n
[K : Q] = [Ki : Ki1 ]
i=1

Sea i {0, 1, . . . , n} jo. Ntese que Ki = (Ki1 )( pi ). Adems, pi satisface el polinomio
x2 pi Ki1 [x]. Por lo tanto,

[Ki : Ki1 ] = deg( pi , Ki1 ) = deg(irr( pi , Ki1 )) 2

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.

Armacin 1: pi1 pik = bpj1 pjs para todo b Z+ .



En efecto, si pi1 pik = b pj1 pjs para algn b Z+ , entonces pi1 pik = b2 (pj1 pjs ).
As, pjl |pit para algn l {1, . . . , s} y algn t {1, . . . , k}, es decir, pjl = pit para algn
l {1, . . . , s} y algn t {1, . . . , k}, sin prdida de generalidad supongamos que pjl = pil para
todo l {1, . . . , s}. De ese modo, pj1 pj2 pjs pis+1 . . . pik = pi1 pik = b2 (pj1 pjs ). De ah

que, pis+1 . . . pik = b2 . Lo cual es imposible. De ese modo, pi1 pik = b pj1 pjs para todo
b Z+ .

Ahora bien, supongamos que Q( pi1 pik ) = Q( pj1 pjs ). Note que, pj1 pjs satisface
el polinomio x2 pj1 pjs Q[x] el cual es irreducible por el criterio de Eisenstein con p = pjn .
Ya que, pjn |pj1 pjs y como pjr = pjl para todo r = l, entonces p2jn no divide a pj1 pjs .

De ese modo, [Q( pj1 pjs ) : Q] = 2. Ahora bien, dado que pi1 pik Q( pi1 pik ) =

Q( pj1 pjs ), entonces existen a, b Q tales que


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

pi pik b2 (pj1 pjs )


pi1 pik = 1 Q
2a

Lo cual es imposible, por tanto, Q( pi1 pik ) = Q( pj1 pjs )

Probemos ahora la siguiente armacin,

Armacin 2: Sea n N. Consideremos el conjunto Jn = {1, . . . , n}. Entonces el nmero de


sucesiones nitas estrictamente crecientes de elementos de Jn es 2n 1.

Para n N, denamos el conjunto,

Tn = {i1 < i2 < < is : 1 s n, il Jn , para todo l Js }

es decir, debemos probar que |Tn | = 2n 1 para todo n N

Procedamos por inducin sobre n.

Caso base: Si n = 1, entonces Jn = {1}. As, la nica sucesin nita estrictamente


creciente de elementos de Jn es la sucesin 1, es decir, |T1 | = 1 = 21 1.

Paso inductivo: Supongamos que para n = k , |Tk | = 2k 1 Ahora, consideremos el


conjunto Jk+1 . Queremos contar el nmero de sucesiones nitas estrictamente crecientes
de elementos de Jk+1 . Para ello notemos que Jk+1 = Jk {k + 1}. Por lo tanto, Tk
Tk+1 . Adems, ntese que por cada elemento de Tk se puede conseguir un elemento en
Tk+1 r (Tk {k + 1}). En efecto, considere la funcin : Tk Tk+1 r (Tk {k + 1}) dada
por (i1 < i2 < < is ) = i1 < i2 < < is < ik+1 , para toda i1 < i2 < < is Tk .
Es claro que es una biyeccin y que Tk+1 = (Tk+1 r (Tk {k + 1})) (Tk {k + 1}).
Por lo tanto usando la hiptesis inductiva tenemos que,

|Tk | = |Tk+1 r (Tk {k + 1})| + |Tk | + |{k + 1}|

= |Tk | + |Tk | + 1 = 2|Tk | + 1

= 2(2k 1) + 1 = 2k+1 1

Lo cual termina la induccin.

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

3. Demuestre que existe r, 1 r n, tal que

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

De ese modo, 2 = id.

Por lo tanto, existe 1 r n tal que,

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

De ese modo, r = n y por consiguiente usando la parte 1 de este ejercicio obtenemos,

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}

Demostracin. Sea A Jn . Denotamos por A : K K al automorsmo de K tal que,



pi

, si i A

A ( pj ) =

p
i , si i Jn r A

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

5. Sean 1 , 2 , . . . , n racionales no nulos. Demuestre que,



K = Q(1 p1 + 2 p2 + + n pn )


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).

Anda mungkin juga menyukai