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

SESIÓN 35

Prof. Lic. Segundo Basilio Correa Erazo

M.Sc
EJERCICIOS DE CAMPOS FIJOS
…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.
Ejemplo. Considere:

( 2, 3 = ) ( ( 2 )) ( 3 ) = a + b 2 + c 3 + d 6 : a,b,c,d  
Y considere los automorfismos:

1. 
2, − 2
: ( ( 3 )) ( 2 ) → ( ( 3 )) ( 2 ) , definido por:

 2, − 2 (a + b 2 ) = a − b 2 ,a,b  ( 3)
¿A quién deja fijo?
Veamos: Algunas evaluaciones son:

a)  2, − 2 (3 + 5 2 ) = 3 − 5 2


 2 ,− 2 (1+ 6 ) =  (1) +  ( 6 )
2 ,− 2 2 ,− 2

b)

 2 ,− 2 (1+ 6 ) = 1+  ( 3  2 )
2 ,− 2


 2 ,− 2 (1+ 6 ) = 1− 3  2 = 1− 6
 Escuela Profesional de Matemática Teoría de Campos y Cuerpos

c)

Conclusión: E
 2,− 2 
= ( 3)
2. 
3 ,− 3
: ( ( 2 )) ( 3 ) → ( ( 2 )) ( 3 ) , definido por:

 3 ,− 3 (a + b 3 ) = a − b 3 ,a,b  ( 2)
¿A quién deja fijo?

Veamos: Algunas evaluaciones son:

a)  3 ,− 3 (3 + 5 2 ) = 3 + 5 2


 3 ,− 3 (1+ 6 ) =  (1) +  ( 6 ) 3 ,− 3 3 ,− 3

b)

 3 ,− 3 (1+ 6 ) = 1+  ( 2  3 ) 3 ,− 3


 3 ,− 3 (1+ 6 ) = 1− 2  3 = 1− 6
c)  3 ,− 3 (2 − 3 ) = 2 + 3

Conclusión: E
 3 ,− 3 
= ( 2)

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

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

Los automorfismos que podemos definir en el campo

( 2, 3 ) son:
i : Automorfismo identidad
 = 
 1 2 ,− 2
 = 
 2 3 ,− 3
 =   2 , − 2 =  1 2
 3 3 ,− 3

Una base para ( 2, 3 ) es 

 = 1, 2 , 3 , 6 , luego

algunas evaluaciones son:

a) (
1 ) 2 =− 2
b)  (13) = 3
c)  (16) = − 6
d)  (3 6 ) =   ( 6 ) =  (− 6 ) = 6
1 2 1

e)  ( ( a + b 2 ) ) =  ( a − b 2 ) = a + b
1 1 1 2

La tabla de operaciones para el grupo de automorfismos

definidos anteriormente es:

i 1 2 3
i i 1 2 3
1 1 i 3 2
2 2 3 i 1
3 3 2 1 i

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

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

Ejercicio:
Considere el campo Q ( 2, 3, 5 ) y los automorfismos:
2 =  2 ,− 2 ( (
: Q 3, 5 )) ( 2 ) → (Q ( 3, 5 )) ( − 2 )
3 =  3,− 3
: (Q ( 2, 5 )) ( 3 ) → (Q ( 2, 5 )) ( − 3 )

5 =  5,− 5
: (Q ( 2, 3 )) ( 5 ) → (Q ( 2, 3 )) ( − 5 )
Determine:

a) (3 ) (
2 − 2 5 3 = 3 3 2 − 2 5 = 3 2 − 2 5 )
b)

( ) ( 2 + 45 ) =   ( − 2 + 45 )
2 + 45 2 3 5 2 = 5 2 3 2 5
2
3

( 2 + 45 )    =   ( − 2 + 3 5 ) =  ( − 2 + 3 5 )
2 3 5
2
5
2
3 5
2

( 2 + 45 )    =   ( − 2 + 3 5 ) =  ( − 2 − 3 5 )
2 3 5
2
5 5 5

 ( 2 + 45 )    = − 2 + 3 5 = − 2 + 45
2 3 5
2

 2 −5 3   2−5 6   5  5
c) 2  =
 2  = 2 1 − 6  = 1+ 6
 2   2   2  2

d)


 ( ) ( 30 )     =   ( 2 − 3 ) +   ( 30 )
2 − 3 5 + 5 2 3 3 5 2 5


 (
2 − 3 )  + ( 30 )     =   2 − 3 +  ( − 30 ) 
5
  5 2 3
 3 2


 (
2 − 3 )  + ( 30 )     =  ( 2 − 3 + 30 ) = 2 + 3 −
5
 5 2 3 3 30

¡Ojo !:     ( a + b 3 ) =     (  (  ( a + b 3 ) ) ) 
2
5 3 2 5
 5
3 3 2 5

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