Extensión algebraica, extensiones finitas y grado de

una extensión
Macotela Marco
25 de julio de 2022

1. Extensión finita
Definición 1.1- Se dice que la extensión E de F es finita si E como espacio vectorial sobre F es de
dimensión finita.
En caso contrario decimos que la extensión es infinita.

1.1. Grado de una extensión

Definición 1.1.1- Sea E una extensión finita de F . Se dice que E tiene grado n sobre F y escribimos
[E : F ] = n si E tiene dimensión n como espacio vectorial sobre F .
Proposición 1.1.1-Sea E una  extensión de un campo F y sea α ∈ E un elemento algebraico de grado
n sobre F , entonces F (α) : F = n.
Prueba
Como F (α) = {f (α) : f (x) ∈ F [x]} (proposición)
= {a0 + a1 α + · · · + an−1 αn−1 : ai ∈ F }
Donde la representación de los elementos de F (α) es única.
Veamos que 1, α, α2 , . . . , αn−1 es una base para F (α) sobre F .
Tenemos que {1, α, α2 , . . . , αn−1 } genera a F (α).
Veamos que {1, α, α2 , . . . , αn−1 } es linealmente independiente.
Supongamos que es linealmente dependiente, entonces existen escalares no todos nulos tal que:
c0 + c1 α + · · · + cn−1 αn−1 = 0
Entonces α es una raı́z del polinomio g(x) sobre F dado por:
g(x) = c0 + c1 x + · · · + cn−1 xn−1


Sin embargo grd g(x) = n − 1 < n, por hipótesis n es el grado de un polinomio mı́nimo para α sobre
F (α ∈ E un elemento algebraico). Esta contradicción nos afirma que {1, α, α2 , . . . , αn−1 } es linealmente
independiente y por lo tanto es una base de F (α) sobre F , entonces:
 
F (α) : F = n (dimF (F (α)) = n)
√
Ejemplo: Q(α). El número 2 ∈ C es algebraico de grado 2 sobre Q, pues p(x) = x2 − 2 es el polinomio
mı́nimo, entonces: √
[Q( 2) : Q] = 2

1
 Extensión algebraica, extensiones finitas y grado de una extensión
Semana 11 (Clase 1)
√
Similarmente [Q( 3 2) : Q] = 3
Pues:
√
α = 3 2 ∈ C =⇒ α3 = 2 =⇒ α3 − 2 = 0
Luego p(x) = x3 − 2 es el polinomio mı́nimo.

2. Extensión algebraica
Definición 2.1- Sea E una extensión del campo F . Decimos E es una extensión algebraica de F si todo
elemento de E es algebraico sobre F . Si E no es una extensión algebraica sobre F , decimos que E es una
extensión trascendente sobre F .
Teorema 2.1- Toda extensión de campos finita es algebraica.
Prueba
Sea E una extensión finita de F con [E : F ] = n. Sea α ∈ E un elemento cualquiera. El conjunto
{1, α, . . . , αn } es linealmente dependiente, pues [E : F ] = dimF (E) = n.
Por tanto existen elementos a0 , a1 , . . . , an ∈ F no todos nulo tales que:

a0 · 1 + a1 α + a2 α 2 + · · · + an α n = 0

Entonces α es una raı́z del polinomio p(x) = a0 + a1 x + · · · + an xn , entonces α es algebraico sobre F , como
α ∈ E es arbitrario entonces la extensión E de F es extensión algebraica.
Corolario 1: Sea E una extensión de F y α ∈ E un elemento algebraico sobre F . Entonces F (α) es una
extensión algebraica de F .
Prueba
  
Por proposición 1.1.1 F (α) es una extensión finita de F F (α) : F = n y por el teorema 2.1, F (α) es
una extensión algebraica sobre F .
Corolario
  Sea E una extensión de F y α ∈ E. Entonces α es algebraico de grado n sobre F si y solo
2:
si F (α) : F = n.
Teorema 2.2- Sea K una extensión finita de E y sea E una extensión finita de F . Entonces K es una
extensión finita de F y [K : F ] = [K : E] · [E : F ].
Prueba
Sea B1 = {x1 , x2 , . . . , xn } una base para K sobre E y sea B2 = {y1 , y2 , . . . , ym } una base para E sobre F .
Probaremos que B3 = {xi yi : i = 1, . . . , n , j = 1, . . . , m} es una base para K sobre F .
Sea α ∈ K arbitrario, entonces existen escalares bi ∈ E tales que α = b1 x1 + b2 x2 + · · · + bn xn además,
para cada bi ∈ E, existen escalares aij ∈ F tales que:

bi = ai1 · y1 + ai2 · y2 + · · · + aim · ym

Xm
bi = aij · yj
j=1

Sustituyendo obtenemos:
m
X m
X m
X
α= a1j · yj · x1 + a2j · yj · x2 + · · · + anj · yj · xn
j=1 j=1 j=1

Macotela Marco 2
 Extensión algebraica, extensiones finitas y grado de una extensión
Semana 11 (Clase 1)
n X
X m
α= aij · yj · xi
i=1 j=1
X
α= aij (yj · xi )
i,j

Luego B3 es un conjunto generador de K.

Veamos que B es linealmente independiente.
Supongamos que cij ∈ F tales que: X
cij (yj xi ) = 0
i,j

Entonces: !
n
X m
X
cij · yj xi = 0
i=1 j=1

Como m
X
cij · yj ∈ E
j=1

y B1 = {x1 , x2 , . . . , xn } es l.i, entonces:

m
X
cij · yj = 0 , ∀ i
j=1

Similarmente cij ∈ F y B2 = {y1 , y2 , . . . , ym } es l.i, entonces cij = 0, ∀ i = 1, . . . , n, ∀ j = 1, . . . , m

Por lo tanto hay n · m elementos en B3 , luego:

[K : F ] = n · m
[K : F ] = n · m = [K : E] · [E : F ]

Corolario 3: Sean F1 , . . . , Fn campos donde Fi+1 es una extensión finita de Fi . Entonces Fn es una
extensión finita de F1 y [Fn : F1 ] = [Fn : Fn−1 ] · [Fn−1 : Fn−2 ] · . . . · [F2 : F1 ]
Corolario 4: Sea E una extensión de F y α ∈ E un elemento algebraico de grado n sobre F . Entonces,
si β ∈ F (α), el grado de β sobre F divide a n.
Teorema 2.3- Sea E una extensión algebraica de F . Entonces E = F (α1 , . . . , αn ), para algunos αi ∈ E
si y solo si E es una extensión finita de F .
Corolario 5: Si K es una extensión algebraica de E y E es una extensión algebraica de F , entonces K
es una extensión algebraica de F .

Macotela Marco 3