Teor a de Galois Curso 2011-2012

3o de Matem aticas 11 de Octubre de 2011 Examen Parcial 1

Apellidos y Nombre D.N.I. Firma

1) (4 puntos) Si K ()/K es una extensi on de grado tres, calcular [K (2 ) : K ]. Suponiendo que es una ra z de x3 + x 1, decidir si x3 + 2x2 + x 1 es el polinomio m nimo de 2 . 2) (3 puntos) Dar razonadamente en cada apartado un ejemplo de un cuerpo L que tenga la propiedad indicada o demostrar que tal ejemplo no existe. a) L/Q( ) es algebraica y de grado mayor que 1. b) L/Q es de grado 4 y L R. c) Q L R, [L : Q] = 21 y L contiene alg un irracional construible con regla y comp as. 3) (3 puntos) Consideramos el cuerpo K = F3 [x]/x2 + 1. Sea = x + 2 K . Calcular 2011 .

1) De K (2 ) K () se deduce que [K (2 ) : K ] divide a [K () : K ] = 3. S olo hay dos 2 2 posibilidades: [K ( ) : K ] = 3 y [K ( ) : K ] = 1. La segunda es imposible porque si 2 = k K entonces es ra z de x2 k K [x] y [K () : K ] 2 contradice el enunciado. Sean P y Q los polinomios del enunciado, respectivamente. Un c alculo prueba que P (x)|Q(x2 ). As pues, Q(x2 ) = P (x)R(x) y sustituyendo x = se tiene que 2 es ra z de Q. Sabemos que el polinomio m nimo de 2 tiene grado [K (2 ) : K ] = 3 entonces este debe ser Q (es m onico, tiene 2 como ra z y grado m nimo). 2) a) L = Q(i, ). Claramente i Q( ), por tanto [L : Q( )] = 1 y la extensi on es algebraica 2 porque i es ra z de x + 1. 4 b) L = Q(i 2). El polinomio m nimo de i 4 2 es x4 2 por el criterio de Eisenstein, as pues [L : Q] = 4. c) No existe tal cuerpo porque si L, es construible con regla y comp as [Q() : Q] = 2n , con n n 1 si es irracional. Pero 2 no divide a [L : Q] = 21, contradiciendo que Q() L. 3) Se tiene 2 = x2 + 4x + 4 = x donde se ha usado que x2 = 1 y la aritm etica m odulo 3. 4 2 Elevando una vez m as al cuadrado = x = 1. Entonces ( 2011 = 4 )502 2 = x x + 2 = x2 + 2x = 2x 1 = 2x + 2.