Pn K[x]

Sea z = x ∈ E, ϕf (z) = i=0 a¯i x̄i = f¯ = 0 en E = hf i luego

ϕf ∈ [y] , z ∈ E es raiz de ϕf
T
Sea S un conjunto tal que |S| = |E \ ϕ (K)| y S K = φ.
Definimos F = S ∪ k y extendemos ϕ : K → E a una biyección ϕ. b Definimos una estructura de
cuerpo en F copiando la estructura de E vía ϕ:b
Si a, b ∈ F , definimos:

b−1 (ϕ(a)
a+b=ϕ b + ϕ(b))
b
b−1 (ϕ(a)
a·b=ϕ b · ϕ(b))
b
De esta forma F es un cuerpo y ϕb : F → E es un isomorfismo de cuerpos.
Como ϕ : K → E es un morfismo de cuerpos y ϕ b |k = ϕ, entonces las operaciones de F restringidas
a K coinciden con las de K; por ejemplo si a, b ∈ K, es:
     

ϕ
b a + b = ϕ(a)
b + ϕ(b) b a + b ⇒ a + b = a + b
b = ϕ(a) + ϕ(b) = ϕ a + b = ϕ
| {z } | {z } | {z } b | {z } | {z }
enF enK enK ϕ
b biy enF enK
.
Luego F ⊃ K es una extensión.
Sean
n
X   n
X
−1
u = ϕ̂ (z) ∈ F ⇒ ϕ̂(u) = z ⇒ ϕ̂(f (u)) = ϕ̂ ai ϕ̂(u)i = ϕ(ai )z i ⇒
∈K | {z }
i=0 i=0 =āi

b (u)) = ϕf (z) = 0 ⇒ f (u) = 0 en F con u ∈ F

ϕ(f
ϕ
biso
nP o P
m m
Como E = K[x] i

i
hf i = i=O bi x : bi ∈ K∀i = 1, ..., m i=0 bi x : bi ∈ K∀i = 1, ..., m =
Pm i
Pm i

= i=0 bi z : b1 ∈ K∀i = 1, ..., m = i=i ϕ(bi )z : bi ∈ K∀i = 1, ..., m

= {ϕg(z) : g ∈ K [x]} = ϕ(K) [z]

−1 −1
b−1 (ϕ(k)) ϕ
 −1 
F =ϕ
b (E) = ϕ
b (ϕ(K) [z]) = ϕ b (z) = K [u] =
|{z} = K(u)
u alg. sobre K

⇒ f = K(u)
iii) Se deduce de la proposición 4.5
Corolario 4.11 Sea K un cuerpo y f ∈ K [x], gr(f ) = n Entonces existe una extensión simple
f = K(u) de K tal que:
i) u ∈ F es raíz de f ii) [K(u) : K] ≤ n y vale la igualdad si f es irreducible.