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

SESIÓN 34

Prof. Lic. Segundo Basilio Correa Erazo

M.Sc
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.
Definición. Un isomorfismo de un campo sobre si mismo es
llamado un Automorfismo de campo.

Ejemplo. El aurtomorfismo  2,− 2

: ( 2 ) → ( 2 ) , definido
por:
 2,− 2 (a + b 2 ) = a − b 2 ,a,b 

Definición. Si  es un isomorfismo de un campo E en algún

campo, decimos que un elemento a  E queda fijo bajo  si se
verifica que:
 (a) = a
Para el ejemplo anterior:

Sea  = 2,− 2
: ( 2 ) → ( 2 ) , cualquier elemento a 
queda fijo bajo .

 2,− 2
(3) =  2,− 2 (3 + 0 2 ) = 3 − 0 2 = 3−0 = 3

 2,− 2 (3 + 2 ) = 3 − 2 ( 3 + 2 no queda fijo)

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

Observación. No olvidar que un elemento queda fijo cuando al

evaluar en la función respectiva su imagen es la misma que el
elemento.
¿Qué elementos de quedan fijos bajo f ( x ) = x 2 ?
Respuesta: x=0, 1.

Observación:
Una colección S =  1, 2 , , n  de isomorfismos de E deja fijo
a un subcampo F de E si a  E queda fijo bajo toda i  S.

Afirmación. La colección S de automorfismos que dejen fijo a

un subcampo F de E forman un grupo.

Notación. El conjunto formado por todos los elementos de E

que quedan fijos bajo  i , se denota y se define mediante:

Ei = a  E :  i ( a ) = a 
Ejemplo. Considere 
2,− 2
: ( 2 ) → ( 2 ) . Entonces:

( 2 )  2 ,− 2 
=

Teorema. Sea  i : i  I una colección de automorfismos de un

campo E. E i  forma un subcampo de E:

Demostración. Basta probar que dados a,b  E i , se verifica

que:
a
( a  b ) ,a  b,  E i
b
Universidad Nacional de Piura -2- Segundo B. Correa Erazo M.Sc
 Escuela Profesional de Matemática Teoría de Campos y Cuerpos

En efecto:

i)  i ( a  b ) =  i (a)   i (b) = a  b  ( a  b )  E  I

ii)  i ( a  b ) =  i (a)   i (b) = a  b  a  b  E  I

iii)  i ( a / b ) =  i (a) /  i (b) = a / b  a / b  E  I

iv)  i (0) = 0
a
v)  i (1) =  i   =  i ( a ) /  i ( a ) = 1
a  

Observación. El campo E i  del teorema anterior es el campo

fijo de  i : i  I .

Observación. La composición de isomorfismos es de nuevo un

isomorfismo, la cual se define por:

(  )( a ) =   ( a ) 

Teorema. El conjunto de todos los automorfismos de un

campo E es un grupo bajo la composición de funciones.

Demostración. Trivial
Elemento neutro: Automorfismo identidad “ i ”
Elemento inverso: Automorfismo inverso “
−1
”

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

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

Notación importante:
Al conjunto de todos los automorfismos de un campo E que
dejan fijo a un subcampo F de E se le denota y se le define
por:

G (E / F ) =  : E → E :  (F ) = F

Teorema. Sea E un campo y sea F un subcampo de E.

Entonces el conjunto G(E/F) forma un subgrupo del grupo de
todos los automorfismos de E. Más aún, se tiene que:

F  EG(E/F )
Demostración.

i) Sean  ,  G (E / F ) ,a  F . Entonces:
(  )( a ) =   ( a )  =  ( a ) = a     G (E / F )

Por lo tanto G (E / F ) es cerrado bajo la composición de

funciones.

ii) Sea el automorfismo identidad “ i ” del conjunto de todos

los automorfismos de E. Es evidente que i  G(E / F) ,
pues i (a) = a .

iii) Si   G(E / F)   ( a ) = a   −1  ( a )  =  −1(a) .

Luego a =  −1 ( a )   −1  G(E / F) .
Luego G(E / F) es un subgrupo del conjunto formado por
todos los automorfismos de E.

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

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

Además, todo elemento de F queda fijo bajo todo

elemento de G(E / F) . Entonces:

EG(E/F) = a  E :  (a) = a,   G(E / F)

Contiene a F.

Observación. El grupo G(E / F) del teorema anterior es el

grupo de automorfismos de E que dejan fijo a F o
simplemente “el grupo de E sobre F”.

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