Álgebra, Grado en Matemáticas

JUNIO DE 2015. SEGUNDA SEMANA

ENUNCIADOS Y SOLUCIONES
No se permite el uso de material impreso
(libros, apuntes), ni ningún tipo de calculadora.
Todas las soluciones tendrán que darse suficientemente razonadas.

Defina los siguientes conceptos: (2 puntos)

(1) Dominio euclídeo.
Se dice que un DOMINIO DE INTEGRIDAD  es un DOMINIO
EUCLIDEO si existe una aplicación

||  || :  →  ≡ {  ∈  |  ≥ 0 } 

tal que
() ||  || = 0 si y solamente si  = 0
() ||  ·  || = ||  || · ||  || para todos   ∈ 
() Si   ∈ ∗ =  − { 0 } existe  ∈   tal que

 divide a ( − )  y , ||  ||  ||  || 

(Así,  −  =  ·  con  ∈  donde  se denomina cociente

y  se denomina resto de la división de  entre )
(2) Cuerpo de funciones racionales en  indeterminadas con
coeficientes en un cuerpo 
El cuerpo de funciones racionales en  indeterminadas con coeficientes
en un cuerpo  es el cuerpo de fracciones del anillo de polinomios
[1  2    ] siendo 1  2    las indeterminadas. Es
conocido que este anillo de polinomios [1  2    ] es un
dominio de integridad. El cuerpo de funciones racionales se denota por
(1  2    )  y sus elementos son las "fracciones"

1
 



con   ∈ [1  2    ]   6= 0

 1
Las fracciones   son iguales si y solamente si  1 = 1 
 1
(3) Elemento primitivo de una extensión.

Se dice que  es un elemento primitivo de una extensión    si

 ∈  y  = () No toda extensión de cuerpos tiene elemento
primitivo.
(4) Extensión de Galois.

La extensión finita    se denomina extensión de Galois si

orden (( : )) = [ : ]

siendo ( : ) el grupo de automorfismos de la extensión finita

 
Sabemos que, en general,

orden (( : )) ≤ [ : ]

Ejercicio 1: (2 puntos)

En el anillo  de los números enteros, resuelva la ecuación

diofántica

11  + 7  = 5

2
SOLUCIÓN:

En este caso,

 = 11  = 7 son los coeficientes de la ecuación diofántica dada.

Calculamos mcd ( ) Tenemos:

 =  + 4 de donde 4 =  − 

 = 7 = 4 + 3 de donde 3 =  − 4

4 = 3 + 1 de donde 1 = 4 − 3

3 = 3 · 1 + 0

por tanto

mcd ( ) = 1 (ALGORITMO DE EUCLIDES).

Además,

1 = 4 − ( − 4) = 2 · 4 −  =

2( − ) −  = 2 − 3

(IDENTIDAD DE BEZOUT).

La ecuación diofántica dada puede escribirse como sigue:

 +  = 5 donde 2 = 1 + 3 es decir, −3 = 1 − 2

3
Multiplicando la ecuación anterior por 2 se obtiene

2 + 2 = 10

y sustituyendo 2 por 1 + 3 se deduce que

(1 + 3)  + 2 = 10

es decir,

 + (3 + 2) = 10 de donde  = 10 − (3 + 2)

Multiplicando ahora la ecuación  +  = 5 por (− 3) obtenemos

−3 − 3 = −15

y sustituyendo −3 por 1 − 2 deducimos que

−3 + (1 − 2) = −15 es decir,  + (−3 − 2) = −15

de donde

 = −15 + (3 + 2)

Así, si hacemos  = 3 + 2   ∈  resulta que las soluciones en

 de la ecuación diofántica dada son precisamente

4
  = 10 −  = 10 − 7

 = −15 +  = −15 + 11

para todo  ∈  ¤

Ejercicio 2: (3 puntos)
Demuestre que [ ] ( 2 + 3) y [ ] ( 2 +  + 1) son
cuerpos isomorfos.

SOLUCIÓN:

 2 + 3 es irreducible en [ ] pues  2 + 3 ∈ [ ]  es un

DFU, y se utiliza el Criterio de Eisenstein para el primo en   = 3

Asímismo,  =  2 +  + 1 es irreducible en [ ] pues

 2 +  + 1 ∈ [ ] tiene grado 2 ≤ 3 y si tuviera alguna raíz

 en  entonces, al ser un polinomio mónico,  sería una raíz de

 en  y, entonces  sería un divisor en  de 1 con lo que

(  = 1) o bien ( = −1) Pero (1) = 3 6= 0; (−1) = 1 6= 0

Luego  no tiene raíces en  y, en consecuencia, (  ≤ 3 )  es

irreducible en [ ]

Como [ ] es un DIP, se deduce que ( 2 + 3) y ( 2 +  + 1) son

ideales maximales, y, por consiguiente,

[ ] ( 2 + 3) y [ ] ( 2 +  + 1) son cuerpos.

5
 Utilizaremos las Observaciones y Ejemplos (1 14) y el punto (22) del

Capítulo de Extensiones de Cuerpos, del libro Anillos y Cuerpos

Conmutativos de los autores Gamboa y Ruiz.

En  si hacemos 2 + 3 = 0 obtenemos 2 = −3 es decir,

√ √
 = ± − 3 = ± 3

Y si hacemos 2 +  + 1 = 0 obtenemos, al ser una ecuación de

segundo grado,

√
−1 ± 1 − 4 1 1√ 1 1√
 = = − ± −3 = − ± 3
2 2 2 2 2

Utilizando los resultados citados más arriba, tenemos que

√ √ √
[ ] ( 2 + 3) ∼
= ( ± − 3 ) = ( ± 3) = ( 3)
1 1√ √ √
[ ] ( 2 +  + 1) ∼
= ( − ± 3) = ( ± 3) = ( 3)
2 2

de donde se deduce que

[ ] ( 2 + 3) ∼
= [ ] ( 2 +  + 1) 

y, así, son cuerpos isomorfos. ¤

Ejercicio 3: (3 puntos)
Sea  =  4 − 10  2 + 5 ∈ [ ] y sea  un número complejo
tal que  () = 0
Determine el polinomio mínimo de  sobre 
Calcule el grado de la extensión de cuerpos () 
Determine una base de () como espacio vectorial sobre 

6
SOLUCIÓN:

El polinomio  ∈ [ ] es mónico y tal que  () = 0

Si probamos que  es irreducible en [ ]  entonces  será el

polinomio mínimo de  sobre 

En efecto,  = 5 es primo en  y tal que

 | 5  | (− 10)  no divide a 1 y 2 = 25 no divide a 5

luego, por el Criterio de Eisenstein, con  = 5  es irreducible en

[ ] y en [ ] 

Entonces, el grado de la extensión ()  es

[() : ] = grado () = 4

Además, por una proposición de teoría,

{ 1  2  3 }

es una base de () sobre  ¤