4-Automorfismos de Campos PDF

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 5

Escuela Profesional de Matemática Teoría de Campos y Cuerpos

SESIÓN 32

Prof. Lic. Segundo Basilio Correa Erazo


M.Sc
AUTOMORFISMOS DE CAMPOS
…Los únicos bienes intangibles son los que acumulamos en el cerebro y
en el corazón, cuando uno de ellos falta, ningún tesoro los sustituye…

José Ingenieros.

I. RECORDEMOS
1. Un campo de extensión E de F es un campo de
extensión algebraica si todo elemento de E es
algebraico sobre F.
Ejemplo.
es una extensión algebraica de , pues todo
elemento de es algebraico sobre .
2. Cerradura algebraica. Sea E un C.E de F. La
cerradura de F en E se denota y se define por:
FE =   E :  es algebraico sobre F
es un campo de extensión de .
= −  ,e,cualquier combinación de  ,e
3. Un campo F está algebraicamente cerrado si todo
polinomio p(x) que pertenece a F[x] tiene un cero en
F.
es un campo algebraicamente cerrado.
4. Si E es un C.E de F, dos elementos conjugados  ,
de E son conjugados sobre F, si se verifica que:
irr ( ,F ) = irr (  ,F )
Escuela Profesional de Matemática Teoría de Campos y Cuerpos

Ejemplos:
1.  =3− 2 y  =3+ 2  ( 2 ) son conjugados
sobre Q.
2.  = a + bi y  = a − bi  son conjugados sobre R.

II. ISOMORFISMO BÁSICO DE LA TEORÍA DE CAMPOS

Teorema. Sea F un campo y  ,  algebraicos sobre F,


con grad ( ,F ) = n . La transformación:

  , ( c 0 + c1 + c 2 2 + )
+ cn−1 n−1 = c 0 + c1 + c 2  2 + + cn−1 n−1

Con ci  F es un isomorfismo de F( ) sobre F(  ) si y solo


si  y  son conjugados.
Demostración.
  Si   , : F ( ) → F (  ) es un isomorfismo entonces
,  son conjugados.
En efecto.
Sea irr ( ,F ) = a0 + a1x + + an xn , como  es
algebraico sobre F. Entonces:
 ( a0 + a1x + + an x n = 0)
 a0 + a1 + + an n = 0
(
   , a0 + a1 + )
+ an n =   , ( 0 )
 a0 + a1 + + an  n = 0
 irr (  ,F ) divide a irr ( ,F )

Universidad Nacional de Piura -2- Segundo B. Correa Erazo M.Sc


Escuela Profesional de Matemática Teoría de Campos y Cuerpos

Actuando de forma análoga, pero con


  , : F (  ) → F ( ) se concluye que irr ( ,F ) divide a
irr (  ,F ) . Así pues:

( ) (
irr  ,F = irr  ,F )
Luego y son conjugados.

 Si y son conjugados, entonces

  , : F ( ) → F (  ) es un isomorfismo.
Si  y  son conjugados, entonces se verifica que:
irr ( ,F ) = irr (  ,F ) = p ( x )
Luego los homomorfismos de evaluación:

 : F[x] → F ( ) ,  : F[x] → F (  )
Tienen el mismo Kernel Ker ( ) = Ker ( ) = p(x)
Y por el teorema fundamental del homomorfismo, existen dos isomorfismos
canónicos:

  : F[x] / p(x) →  (F[x] ) = F ( )


  : F[x] / p(x) →  (F[x] ) = F (  )
Esquemáticamente, se tiene:

F[x]
 

F ( ) F( )
 

F[x] / p(x)
 −1

Universidad Nacional de Piura -3- Segundo B. Correa Erazo M.Sc


Escuela Profesional de Matemática Teoría de Campos y Cuerpos

Como   ,  son isomorfismos entonces   −1 es un


isomorfismo y la composición
  , =     −1 : F ( ) → F (  ) también es un
isomorfismo.
Además grad ( ,F ) = n , entonces cualquier elemento de

F ( ) , se puede escribir como:


 = c 0 + c1 + + cn−1 n−1
Así pues:

  , ( c 0 + c1 + ) (
+ c n−1 n−1 =     −1 c 0 + c1 + + c n −1 n−1 )
  , ( c 0 + c1 + + c n−1 n−1 ) =   (c + c  +
 
−1
0 1 + c n −1 n−1 )
  , ( c 0 + c1 + + c n−1 n−1 ) =  (c + c x + + c
 0 1 n −1 x n−1 + p(x) )
  , ( c 0 + c1 + + c n−1 n−1 )=c +c  + +c 
0 1 n −1
n −1

Corolario. Sea f ( x )  [x] . Si f ( a + bi ) = 0 , para

( a + bi)  , donde a,b  . Entonces f ( a − bi ) = 0 .


Demostración.
Se sabe que = (i) = ( −i) , pues:
irr(i, ) = irr ( −i, ) = x 2 + 1
Luego “i”, “-i” son elementos conjugados sobre R. Entonces
 i,−i : → , definido mediante:

 i,−i ( a + bi ) = a − bi
Es un isomorfismo. Así pues:

Universidad Nacional de Piura -4- Segundo B. Correa Erazo M.Sc


Escuela Profesional de Matemática Teoría de Campos y Cuerpos

f ( a + bi ) = a0 + a1 ( a + bi ) + + an ( a + bi ) = 0
n

 i,−i  f ( a + bi )  =  i,−i a0 + a1 ( a + bi ) + + an ( a + bi )  = 0


n

 
 a0 + a1 ( a − bi ) + + an ( a − bi ) = 0
n

 f ( a − bi ) = 0

Universidad Nacional de Piura -5- Segundo B. Correa Erazo M.Sc

También podría gustarte