UNIVERSIDAD NACIONAL DE SAN AGUSTIN

FACULTAD DE CIECIAS NATURALES Y FORMALES

ESCUELA PROFESIONAL DE MATEMATICAS

EXPOSICION

Extensiones
Galoisianas
Tema:

Alumnos:

SALAS MAMANI, JAIME

ELME SIVANA, SAUL

Docente:

Mg. Roger Edwar Mestas Chaves

Curso:

Teora de Galois

AREQUIPAPERU
2014

Av. Independencia s/n

Preliminares
Extensiones galoisianas
Definicin 1
Diremos que una extensin de campos es galoisiana si fuera normal y separable.
(Endler, teora dos corpos)

Extensiones normales
Proposicin 5.4
Para toda extensin algebraica
i)

LK

ii)

RP

iii)

/Q

LK , las siguientes condiciones son

equivalentes:

es normal
L
para todo L

Para todo polinomio irreducible

RP L

p K [ x ] , o

es vaco o

RP L

(Endler, teora dos corpos)

Extensiones separables
Lema 3.2
Para todo

F K [ x ] {0}

i)

F es separable

ii)

Para todo

L K

iii)

Para todo

L K

iv)

Existe

un

las siguientes condiciones son equivalentes:

y todo

G L [ x ]

no divide F (en

y todo L tenemos que m(, F)1

campo

a K {0} tales que

MK ,

elementos

distintos

1, , F M

F=a ( x 1 ) (x F )

En este caso, iv) es vlido para todo campo

MK

tal que

M [x ] en polinomios lineales. (Endler, teora dos corpos)

Lema 3.9

L[x] )

se factoriza en

 ser separable sobre

P/ K

si y solamente si fuera algebraico sobre

fuera separable. (Endler, teora dos corpos) Ejercicios

pruebe que Q ( 2 , 3 )Q

es una extensin galoisiana.

Solucin
Para probar el ejercicio utilizaremos la definicin1:
a.

Q ( 2 , 3 )Q

Para lo cual probemos que

es normal, primero mostremos

Q ( 2 , 3 )=Q ( 2+ 3 ) , en efecto

que

Q ( 2+ 3 ) Q ( 2 , 3 )

i.

2, 3 Q ( 2, 3 )

2+ 3 Q ( 2 , 3 ) ,

Luego

Q ( 2+ 3 ) Q ( 2 , 3 )

entonces

Q ( 2 , 3 ) Q ( 2+ 3 )

ii.

1
2+ 3 Q ( 2+ 3 ) , entonces ( 2+ 3 ) Q ( 2+ 3 )
1

( 2+ 3 ) =

1
= 2 3 Q ( 2+ 3 )
2+ 3

2 3=( 3+ 2 )+ ( 3 2 ) Q ( 2+ 3 )

2 2=( 3+ 2 ) ( 3+ 2 ) Q ( 2+ 3 )

Entonces

1
3= (2 3) Q ( 2+ 3 )

Similarmente
Por lo tanto

2 Q ( 2+ 3 )

as

Q ( 2 , 3 )=Q ( 2+ 3 )

Ahora calcularemos el polinomio minimal de

Sabemos que

Q ( 2 , 3 ) Q ( 2+ 3 )

[ Q ( 2 , 3 ) :Q ]=4,

pues

Q ( 2 , 3 )

[ Q ( 2 ) :Q ]=2

y adems

[ Q ( 2 , 3 ) :Q (2)]=2

, entonces

[ Q ( 2 , 3 ) :Q ]=[ Q ( 2, 3 ) :Q( 2)] [ Q ( 2 ) :Q ]=2 2=4

De aqu el grado del polinomio ser de grado 4,

4

sea

x +ax +bx + cx +d

digamos

= 2+ 3
4

, entonces
3

P/Q ( )=0
2

( 2+ 3 ) +a ( 2+ 3 ) +b ( 2+ 3 ) +c ( 2+ 3 ) + d=0
Desarrollando:
5 b+d +11 2 a+9 3 a+ 2 c+ 3 c +20 2 3+2 2 3 b+ 49=0

( 49+5 b+ d ) + ( 11 a+c ) 2+ ( 9 a+c ) 3+ (20+ 2b ) 6=0

De aqu
49+5 b+ d=0,
11 a+c =0 ,

9 a+ c=0,
20+2 b=0

Resolviendo este sistema de ecuaciones obtenemos:

a=0 , b=10 , c=0 , d=1
P/Q =x 4 10 x 2 +1

Por lo tanto,

Luego calculemos las races de

P/Q

P/Q =x 4 10 x 2 +1=( x 22 2 x1)( x2 +2 2 x1)

[ ( x 2 ) 3 ][ ( x+ 2 ) 3 ]
2

[ ( x 2 ) ( 2) ][ ( x + 2 ) ( 3)
2

( x 23)(x 2+ 3)(x+ 23)(x + 2+ 3)

( x( 2+ 3 ) )( x( 2 3 ) )( x( 2+ 3 ))(x ( 23 ))
As,
RP ={( 2+ 3 ) , ( 2 3 ) , ( 2+ 3 ) , ( 2 3 ) } ,
/Q

por lo tanto, aplicando la proposicin 5.4 ii i

(otto endler)

Q ( 2 , 3 )Q es normal.

b. Ahora probemos que

Sea Q ( 2 , 3 )

Q ( 2 , 3 )Q
4

P/Q =x 10 x +1

es separable
separable, pues

P/Q =(x ( 2+ 3 ))(x( 23 ))(x (2+ 3 ) )( x( 2 3 ) ) , aplicando el lema

3.2 iv i (otto endler ),
P/Q

es separable, adems

es algebraico, pues

aplicando el lema 3.9 (otto endler), es separable.

As

Q ( 2 , 3 )Q

es separable

Por lo tanto, de a) y b) concluimos que Q ( 2 , 3 )Q

es galoisiana.

P/Q ( )=0 ,

luego

Referencia
Teoria dos corpos (Endler,otto)