Prueba

Supongamos primero que no hay un polinomio no nulo f en K [ X ] tal que f (α)=0

. (Esto significa en particular que α /∈ K , ya que en ese caso podemos tomar f como
X −α .) Luego hay un mapeo ϕ : K ( X )→ K (α ) dado por

ϕ ( gf )=f (α )/g(α ),
(ya que asumimos que g(α )=0 solo si g es el polinomio cero). Es rutina para verificar
que φ es un homomorfismo, y se asigna claramente a K (α ) . Para ver que está bien
definido y es uno a uno, supongamos que f , g , p , q son polinomios, con g , q ≠ 0 .
Entonces

φ( f / g)=φ ( p/q)⇐ ⇒ f (α )q (α )− p( α )g (α )=0∈ L

⟺ fq− pg=0∈K [ X ]
⟺ f /g= p/q∈K ( X) .
Ahora suponga que existe un polinomio no nulo g tal que g(α )=0 . De hecho,
supongamos que g es un polinomio con el menor grado de tener esta propiedad. Si a es
el coeficiente principal de g , entonces g/a es un polinomio monico. Denote g/a
por m . Ciertamente m(α )=0 .

Está claro que f (α )=0 si m∨f . A la inversa, supongamos que f (α )=0 . Entonces,
por el teorema 2.12, f =qm +r , donde ∂ r <∂ m . Ahora

0=f ( α)=q (α ) m(α )+ r (α )=0+r ( α )=r (α ) .

Como ∂ r <∂ m , esto da una contradicción a menos que r sea el polinomio cero. Por lo
tanto f =qm , y así m∨F .

Para mostrar que m es único, suponga que m es otro polinomio con las mismas
propiedades. Entonces m(α)=m' (α )=0 y así m∨m ' y m' ∨m . Ya que ambos
polinomios son monicos, concluimos que m ' =m .

Para mostrar que m es irreductible, supongamos, para una contradicción, que existe
polinomios p y q tales que pq=m , con ∂ p ,∂ q <∂ m . Entonces
p(α) q (α )=m(α )=0 , y por lo tanto p(α)=0 o q (α )=0 . Esto es imposible, ya
que ambos p y q son de menor grado que m .

Luego, considere un elemento típico f (α )/ g( α ) en K (α ) , donde g(α )=0 . Luego

m no divide g , y sigue, ya que m no tiene divisores más que sí mismo y 1 , que el
mayor divisor común de g y m es 1 . Por lo tanto, por el teorema 2.15, existen
polinomios a , b tales que ag+ bm=1 , y así, sustituyendo α por X , tenemos
a ( α ) g (α )=1 . Así
f ( α)
=f ( α )a(α )∈ K [α ].
g (a)
Finalmente, suponga que ∂ m=n , y que p(α ) ∈ K [α ]=K (α ) , donde p es a
polinomio. Entonces p=qm +r , donde ∂ r <∂ m=n . De ello se deduce que
 p(α)=r (α ) , y así existen c 0 , c1 , .. . c n−1 (los coeficientes de r , algunos de los
n−1
cuales pueden, de por supuesto, sea cero) en K tal que p(α)=c 0 +c 1 α +· ··+c n−1 α
. Por lo tanto {1, α , . . ., α n−1 } es un conjunto de expansión para K [α ] .
n−1
Por otra parte, el conjunto {1, α , . . ., α } es linealmente independiente sobre K , por
n−1
si elementos a0 , a1 , .. . , an−1 de K es tal que a0 + a1 α +· ··+ an−1 α =0 , entonces
a0 =a1=· · ·=a n−1=0 , ya que de lo contrario tendríamos un valor distinto de cero
polinomial p=a0 +a1 X +· ··+ an−1 X n−1 de grado como máximo n−1 tal que
p(α)=0 . Entonces { 1, α , . .. , α n−1 } es una base de K (α ) sobre K , por lo que
[K (α ) : K ]=n .
El polinomio m definido anteriormente se llama el polinomio mínimo del elemento α .