Polinomios

Captulo 2
El anillo de polinomios sobre un cuerpo

En este captulo pretendemos hacer un estudio sobre polinomios paralelo al que hicimos en el captulo
anterior sobre los nmeros enteros. Para esto, es necesario conocer la aritmtica de los polinomios, y, tal
y como se hizo en el captulo anterior, el algoritmo de la divisin.
Antes de adentrarnos en los polinomios, daremos algunos conceptos bsicos sobre anillos.
Definicin 12. Sea A un conjunto. Se dice que A tiene estructura de anillo conmutativo si en A tenemos
definidas dos operaciones, llamadas suma y producto, y denotadas por + y , que satisfacen las siguientes
propiedades:
La suma es asociativa. Para cualesquiera a, b, c A, a + (b + c) = (a + b) + c.
La suma es conmutativa. Para cualesquiera a, b A, a + b = b + a.
Elemento neutro de la suma. Existe un elemento 0 A tal que para cualquier a A se verifica que
a + 0 = a.
Elemento opuesto. Dado a A, existe b A tal que a + b = 0. Este elemento, que es nico, se
denota por a.
El producto es asociativo. Para cualesquiera a, b, c A, a (b c) = (a b) c.
El producto es conmutativo. Para cualesquiera a, b A, a b = b a.
Elemento neutro del producto. Existe un elemento 1 A tal que para cualquier a A se verifica
que a 1 = a.
Distributividad Para cualesquiera a, b, c A se verifica que a (b + c) = a b + a c.
Bsicamente un anillo es un conjunto en el que podemos sumar, restar y multiplicar. Si la multiplicacin es conmutativa, el anillo se dice conmutativo.
Ejemplo 2.0.1.
Son ejemplos de anillos conmutativos Z, Q, R, C y Zn .
No son anillos conmutativos, por ejemplo, N (pues no todo elemento tiene opuesto para la suma), 2Z
(pues no hay elemento neutro para el producto), M2 (Q) (pues el producto no es conmutativo).
Definicin 13. Sea A un anillo. Se define la caracterstica de A como sigue:

Tomamos el elemento neutro del producto 1 A, y definimos para cada nmero natural n 1 el
elemento de A siguiente:
33
EL ANILLO DE POLINOMIOS SOBRE UN CUERPO
34
n 1 = 1 + 1 + + 1
|
{z
}
n veces
Entonces:
Car(A) =
0
n
si n 1 6= 0 para cualquier n 1
si n es el menor nmero natural no nulo para el que n 1 = 0
Ejemplo 2.0.2. La caracterstica de Z, Q, R y C vale cero, mientras que la caracterstica de Zn vale n.

A continuacin, vamos a destacar dentro de un anillo, algunos elementos notables:
Definicin 14. Sea A un anillo conmutativo.
1.
Un elemento a A se dice divisor de cero, si existe b A, b 6= 0, tal que a b = 0.
2.
Un elemento u A se dice unidad si existe v A tal que u v = 1 (es decir, u es divisor de 1).
Denotaremos por U(A) al conjunto de las unidades del anillo A.

Ntese que un elemento no puede ser simultneamente unidad y divisor de cero.
Ejemplo 2.0.3.
1.
En cualquier anillo, a = 0 es un divisor de cero (pues 0 1 = 0, es decir, basta tomar b = 1) y u = 1

es una unidad (pues 1 1 = 1, es decir, basta tomar v = 1)
2.
Si un elemento u A es una unidad, entonces existe nicamente un elemento v A tal que uv = 1.

En tal caso, a v lo denotaremos como u1 .
Sin embargo, si a es un divisor de cero pueden existir varios elementos b A, distintos de cero,
tales que a b = 0. As, tomamos 8 Z12 . Este elemento es un divisor de cero, pues 8 6 = 0. Sin
embargo, tambin 8 9 = 0.
3.
U(Z) = {1, 1}, U(Q) = Q , U (R) = R , U (C) = C .

El nico divisor de cero de cada uno de los anillos anteriores es 0.
4.
Un elemento a Zn es unidad si, y slo si, mcd(a, n) = 1, como comprobamos en el captulo

anterior.
Un elemento a Zn es un divisor de cero si, y slo si, mcd(a, n) 6= 1.
Se tiene por tanto, que un elemento de Zn , o es unidad, o es divisor de cero. Esto ltimo no ocurre
en cualquier anillo, as, el elemento 2 Z no es unidad ni divisor de cero.
5.
Si u y v son unidades de un anillo conmutativo A, entonces uv es unidad de A y (uv)1 = u1 v 1
Definicin 15. Sea A un anillo conmutativo.

Se dice que A es un dominio de integridad si el nico divisor de cero es 0.
Se dice que A es un cuerpo si U(A) = A .
Ejemplo 2.0.4.
1.
Son dominios de integridad Z, Q, R, C y Zp cuando p es un nmero primo.

Departamento de lgebra
2.
2.1. Generalidades sobre polinomios

Son cuerpos Q, R, C y Zp cuando p es un nmero primo.
3.
Todo cuerpo es un dominio de integridad, pero el recproco no es cierto (Z).
35
Se deja como ejercicio demostrar que si A es un dominio de integridad, entonces su caracterstica, o

es igual a cero, o es igual a un nmero primo.
Visto ya esto, nos introducimos en el estudio de los polinomios.
2.1.
Generalidades sobre polinomios
Definicin 16. Sea A un anillo conmutativo, y x un elemento que no pertenece a A. Un polinomio con
coeficientes en A es una expresin de la forma
an xn + an1 xn1 + + a1 x + a0
donde n N y ak A.
Ejemplo 2.1.1. Son polinomios con coeficientes en Z
2x2 + 3x + (1); 2x5 + 2x4 + 2x3 + 2x2 + 2x + 2
En el primer caso n = 2, a2 = 2, a1 = 3 y a0 = 1, mientras que en el segundo n = 5 y a5 = a4 = a3 =
a2 = a1 = a0 = 2.
No son polinomios con coeficientes en Z
3x2 x + 2 + x1 ; sen(x) 3
Nota: La definicin que se ha dado no es muy rigurosa. De hecho, con esa definicin, la
expresin x2 + 1 no es un polinomio, pues no se ajusta a lo explicitado en dicha definicin,
ya que no est dicho quien es a1 ni a2 . S es un polinomio, de acuerdo con la definicin dada
1x2 + 0x + 1. Obviamente, al referirnos al polinomio 1x2 + 0x + 1 lo haremos como x2 + 1.
De la misma forma, el primer polinomio que aparece en el ejemplo anterior lo escribiremos
2x2 + 3x 1.
En general, si ak xk + + a1 x + a0 es un polinomio y ai = 0, entonces el polinomio dado
diremos que es igual a ak xk + + ai+1 xi+1 + ai1 xi1 + + a0 (salvo que el polinomio de
partida sea 0).
Tampoco se ajusta a la definicin que hemos dado de polinomio, por ejemplo, la expresin
5 + 2x + 3x2 . Deberamos escribir 3x2 + 2x + 5.
En lo que sigue no tendremos en cuenta estas deficiencias de la definicin dada.
Dado un anillo A denotaremos por A[x] al conjunto de todos los polinomios con coeficientes en A.
Definicin 17. Sea A un anillo.
1.
Sean p(x) = am xm + + a1 x + a0 y q(x) = bn xn + + b1 x + b0 dos elementos de A[x], y

supongamos que m n. Se define la suma de los polinomios p(x) y q(x) como el polinomio
p(x) + q(x) = bn xn + + bm+1 xm+1 + (am + bm )xm + + (a1 + b1 )x + (a0 + b0 )
2.
Sea k N, p(x) = am xm + + a1 x + a0 , q(x) = bk xk A[x] (si k = 0 entonces q(x) = b0 ). Se

define el producto de p(x) y q(x) como el polinomio:
p(x) q(x) = an bk xk+n + + a1 bk xk+1 + a0 bk xk
Sean ahora p(x) = am xm + + a1 x + a0 y q(x) = bn xn + + b1 x + b0 . Se define el producto de
p(x) y q(x) como
p(x) q(x) = p(x) qn (x) + + p(x) q1 (x) + p(x) q0 (x)
donde qk (x) = bk xk .
Jess Garca Miranda
36

Las dos operaciones definidas satisfacen las siguientes propiedades:
La suma de polinomios es asociativa, es decir, p(x) + (q(x) + r(x)) = p(x) + q(x)) + r(x). Ntese
que esta propiedad es necesaria para poder definir el producto tal y como se ha hecho aqu.
La suma de polinomios es conmutativa.
La suma tiene un elemento neutro. ste ser denotado por 0.
Dado p(x) A[x] existe q(x) A[x] tal que p(x) + q(x) = 0. Denotaremos como p(x) a este
polinomio.
El producto de polinomios es asociativo y conmutativo.
El producto tiene un elemento neutro. ste ser denotado por 1.
La suma es distributiva con respecto al producto.
Estas propiedades nos dicen que, si A es un anillo conmutativo, entonces A[x] es tambin un anillo
conmutativo.
Adems, podemos identificar A como los elementos de A[x] de la forma p(x) = a, en cuyo caso A es
un subanillo de A[x].
Ejemplo 2.1.2. Sea A = Z12 , y sean p(x) = 2x3 + 3x2 + 7x + 9 y q(x) = 6x2 + 5x + 4. Entonces:
p(x) + q(x) = 2x3 + (3 + 6)x2 + (7 + 5)x + (9 + 4) = 2x3 + 9x2 + 1
p(x) q(x)
= p(x) (6x2 ) + p(x) (5x) + p(x) 4

= (0x5 + 6x4 + 6x3 + 6x2 ) + (10x4 + 3x3 + 11x2 + 9x) + (8x3 + 0x2 + 4x + 0)
= 4x4 + 5x3 + 5x2 + x
Normalmente, para efectuar la multiplicacin dispondremos los datos de la siguiente forma:

p(x)
q(x)
p(x) 4
p(x) 5x
p(x) 6x2
p(x) q(x)
3
6
8 0
10 3 11
0 6 6 6
0 4 5 5
7 9
5 4
4 0
9
1
luego el resultado final es 4x4 + 5x3 + 5x2 + x.

Daremos a continuacin algunos conceptos referentes a los polinomios:
Definicin 18. Sea A un anillo conmutativo y p(x) = an xn + an1 xn1 + a1 x + a0 A[x].
i) Si an 6= 0 entonces se dice que el polinomio p(x) tiene grado n (gr(p(x)) = n). Ntese que no se ha
definido el grado del polinomio 0. En ocasiones, consideraremos que el grado del polinomio 0 es 1.
ii) Al elemento ak A se le llama coeficiente de grado k, y a la expresin ak xk , trmino de grado
k.
iii) El coeficiente de grado n de un polinomio de grado n se llama coeficiente lder, y a la expresin
an xn trmino lder.
iv) El coeficiente de grado 0 de un polinomio se le llama trmino independiente.
v) Un polinomio cuyo coeficiente lder valga 1 se dice que es un polinomio mnico.
vi) Un polinomio que, bien tiene grado 0, o bien es el polinomio 0 se dice que es un polinomio constante.
2.1. Generalidades sobre polinomios

37
Ejemplo 2.1.3. Sean p(x) = 3x3 +5x+2 y q(x) = x4 +2x3 +3x2 +5x+8 dos polinomios con coeficientes
en Z11 . Entonces:
- g(p(x)) = 3 y gr(q(x)) = 4.
- El coeficiente de grado 2 de p(x) es 0, mientras que el coeficiente de grado 2 de q(x) es 3. El
coeficiente de grado 5 de q(x) es cero.
- El coeficiente lder de p(x) es 3, mientras que el coeficiente lder de q(x) es 1. Por tanto, q(x) es
mnico, mientras que p(x) no lo es.
- Los trminos independientes de p(x) y q(x) son 2 y 8 respectivamente.
- Ninguno de los dos polinomios son constantes.
Proposicin 2.1.1. Sean p(x), q(x) A[x]. Entonces:
gr(p(x) + q(x)) m
ax{gr(p(x), q(x)}
gr(p(x) q(x)) gr(p(x)) + gr(q(x))
La demostracin de ambos hechos es fcil. Podra pensarse que en el segundo caso se da siempre la
igualdad (gr(p(x) q(x)) gr(p(x)) + gr(q(x))). Sin embargo, el ejemplo 2.1.2 nos muestra un caso en el
que se da la desigualdad estricta.
Es fcil comprobar que si p(x) o q(x) es mnico, entonces se verifica que gr(p(x) q(x)) = gr(p(x)) +
gr(q(x)).
Terminamos esta seccin estudiando la evaluacin de un polinomio en un punto.
Definicin 19. Sea A un anillo, p(x) = an xn + + a1 x + a0 A[x] y a A. Se define la evaluacin
de p(x) en el punto a, Eva (p(x)) como el elemento de A:
Eva (p(x)) = an an + + a1 a + a0
Dicho de otra forma, Eva (p(x)) es el resultado de sustituir en la expresin de p(x) el smbolo x por
a. De esta forma tenemos definida una aplicacin (morfismo de anillos) Eva : A[x] A.
Normalmente, escribiremos p(a) en lugar de Eva (p(x)).
Proposicin 2.1.2. Dado A un anillo y p1 (x), p2 (x) A[x]
1.
Si q(x) = p1 (x) + p2 (x) entonces q(a) = p1 (a) + p2 (a) (es decir, Eva (p1 (x) + p2 (x)) = Eva (p1 (x)) +
Eva (p2 (x)).
2.
Si q(x) = p1 (x) p2 (x) entonces q(a) = p1 (a) p2 (a) (es decir, Eva (p1 (x) p2 (x)) = Eva (p1 (x))
Eva (p2 (x)).
Usando la aplicacin evaluacin, cada polinomio de A[x] determina una aplicacin A A, dada por
a 7 p(a).
Ejemplo 2.1.4.
1.
El polinomio x3 + 3x2 + 2x + 2 Z5 [x] determina la aplicacin Z5 Z5 siguiente:

0 7 2
2.
1 7 3
2 7 1
3 7 2
El polinomio x2 + x + 1 Z2 [x] determina la aplicacin

0 7 1
1 7 1
es decir, la aplicacin constante 1.

Jess Garca Miranda
4 7 2
38
2.2.
Mximo comn divisor y mnimo comn mltiplo
Definicin 20. Sean p(x), q(x) A[x]. Se dice que p(x) divide a q(x), o que q(x) es mltiplo de p(x), y
escribiremos p(x)|q(x), si existe c(x) A[x] verificando que q(x) = p(x) c(x).
Ejemplo 2.2.1.
1.
Sean p(x) = x2 1 y q(x) = 2x + 2 dos polinomios con coeficientes en Q. Entonces q(x)|p(x), pues
p(x) = q(x) ( 12 x 12 ). Sin embargo, si consideramos ambos polinomios en Z[x] entonces q(x) no
divide a p(x).
2.
En Z2 [x] se verifica que (x + 1)|(x2 + 1), ya que x2 + 1 = (x + 1)(x + 1).
3.
En Z3 [x] se verifica que (x + 1) 6 |(x2 + 1), pues si x2 + 1 = (x + 1) c(x), entonces gr(c(x)) = 1,

luego c(x) = c1 x + c0 . Operando resulta que c0 = 1, c0 + c1 = 0 y c1 = 1, lo cual es imposible.
4.
En Z4 [x] se verifica que (x+2)|(2x2 +x+2), pues 2x2 +x+2 = (x+2)(2x+1) y (2x2 +x+2)|(x+2)
pues x + 2 = (2x2 + x + 2)(2x + 1).
5.
Para cualquier p(x) A[x] se verifica que 1|p(x) y p(x)|0.
En lo que sigue nos centraremos en polinomios con coeficientes en un cuerpo, o con coeficientes en Z.
Recordemos que un cuerpo es un anillo conmutativo en el que cada elemento no nulo tiene un inverso
para el producto. Dicho de otra forma, es un conjunto en el que podemos sumar, restar, multiplicar y
dividir (salvo por 0). Ejemplos de cuerpos son Q, R, C o Zp , donde p es un nmero primo.
Veamos a continuacin algunas propiedades referentes a la relacin de divisibilidad de polinomios.
Proposicin 2.2.1. Sea K un cuerpo y p(x), q(x), r(x) K[x]. Entonces:
1.
p(x)|p(x).
2.
Si p(x)|q(x) y q(x)|p(x) entonces existe a K tal que q(x) = a p(x).
3.
Si p(x)|q(x) y q(x)|r(x) entonces p(x)|r(x).
4.
Si p(x)|q(x) y p(x)|r(x) entonces p(x)|(q(x) + r(x)).
5.
Si p(x)|q(x) entonces p(x)|q(x) r(x).

La demostracin de estas propiedades es casi inmediata.
Si trabajamos con polinomios con coeficientes en Z, todas las propiedades son iguales salvo la segunda.
Se pide estudiar que ocurre si tenemos dos polinomios p(x), q(x) Z[x] tales que p(x)|q(x) y q(x)|p(x).
Las propiedades 1,3,4,5 son igualmente vlidas para polinomios con coeficientes en un anillo conmutativo A. El ejemplo 2.2.1.4 nos dice que la propiedad 2 no es vlida en general.
Antes de estudiar el mximo comn divisor y el mnimo comn mltiplo de dos polinomios veamos
como dividir polinomios.
Teorema 2.2.1 (Algoritmo de la divisin). Sea K un cuerpo, y p(x), q(x) dos polinomios de K[x],
con q(x) 6= 0. Entonces existen nicos polinomios c(x), r(x) K[x] tales que:
p(x) = q(x) c(x) + r(x).
r(x) = 0 o gr(r(x)) < gr(q(x)).
2.2. Mximo comn divisor y mnimo comn mltiplo

Los polinomios c(x) y r(x) son llamados cociente y resto respectivamente.
39
Demostracin:
Demostraremos la existencia de los polinomios. La unicidad se deja como ejercicio.
La demostracin la haremos por induccin sobre el grado de p(x). El caso p(x) = 0 queda fuera de
esta demostracin, pues no tiene grado; claro que para p(x) = 0 basta tomar c(x) = r(x) = 0.
Procedamos ya a la induccin. Sea m = gr(q(x)) y n = gr(p(x)).
Paso 1 Para n = 0, 1, , m 1 se tiene que p(x) = q(x) 0 + p(x), y gr(p(x)) < gr(q(x)), luego ya
est hecho.
Paso 2 Supongamos que el resultado es cierto para todo polinomio de grado menor que n (incluimos
el polinomio 0). Si el coeficiente lder de p(x) es an y el coeficiente lder de q(x) es bm , entonces se tiene
que
p(x) an (bm )1 xnm q(x) es un polinomio de grado menor que n (por qu?), luego existen c1 (x) y
r(x) tales que
p(x) an (bm )1 xnm q(x) = q(x) c1 (x) + r(x)
gr(r(x)) < m r(x) = 0.
Basta entonces tomar c(x) = c1 (x)+an (bm )1 xnm , y los polinomios c(x) y r(x) satisfacen las condiciones
requeridas.
Ntese que si en lugar de considerar un cuerpo consideramos un anillo conmutativo cualquiera, y
p(x), q(x) son dos polinomios tales que el coeficiente lder de q(x) es una unidad, entonces podra repetirse
la demostracin.
Por tanto, si p(x), q(x) A[x] y q(x) es mnico, existe nicos c(x), r(x) A[x] tales que p(x) =
q(x) c(x) + r(x), y gr(r(x)) < gr(q(x)) o r(x) = 0.
Ejemplo 2.2.2. Calculemos el cociente y el resto de la divisin del polinomio p(x) = 2x4 + 3x3 + 5x + 1
entre q(x) = 3x3 + x + 6 en Z7 [x]. Lo haremos siguiendo los pasos hechos en la demostracin precedente.
Notemos en primer lugar que gr(p(x)) > gr(q(x)).
Calculamos 31 . Se tiene que 31 = 5.
Tomamos entonces el trmino 2 5 x43 = 3x.
Hallamos p1 (x) = p(x) 3xq(x) = p(x) + 4xq(x) = 3x3 + 4x2 + x + 1.
Dado que gr(p1 (x)) gr(q(x)) continuamos dividiendo. Tomamos el trmino 3 5x33 = 1
Hallamos p2 (x) = p1 (x) 1q(x) = p1 (x) + 6q(x) = 4x2 + 2.
Dado que gr(p2 (x)) < gr(q(x)) la divisin ha terminado. El cociente es c(x) = 3x + 1 y el resto
r(x) = 4x2 + 2.
Los clculos podemos disponerlos como sigue:
2 3 0 5 1 | 3 0 1 6
5 0 4 3
3 1
3 4 1 1
4 0 6 1
4 0 2
Si analizamos el estudio que hicimos de los nmeros enteros, podemos ver como el algoritmo de la
divisin result clave en el desarrollo posterior. A partir de l se pudo probar la existencia de mximo
comn divisor y calcularlo; encontrar los coeficientes de Bezout, que luego fueron la base para la resolucin
de congruencias.
Ahora, en K[x] tenemos tambin un algoritmo de divisin, luego todo lo dicho para nmeros enteros
vale ahora para polinomios. En lo que sigue, trasladaremos los resultados del tema anterior al caso de los
polinomios, incidiendo en las particularidades de stos.
Nota: Un anillo A, se dice que es un dominio eucldeo si en l tenemos definida una aplicacin grado,
g : A N satisfaciendo dos propiedades:
Jess Garca Miranda
40
g(ab) g(a) para b 6= 0

Para todo a, b A, b 6= 0, existen q, r A tales que a = bq + r y g(r) < g(a)
Es decir, un Dominio Eucldeo viene a ser un anillo en el que tenemos definida una divisin, con resto.
Tenemos entonces que Z y K[x] son dominios eucldeos (las funciones grado son, en el caso de Z el
valor absoluto, y en el caso de K[x] el grado).
En un dominio eucldeo se verifica el teorema de Bezout, el teorema chino del resto, el teorema de
factorizacin nica, etc.
Definicin 21. Sean p(x), q(x) K[x], con q(x) 6= 0. Se definen los polinomios p(x) md q(x) y
p(x) div q(x) como el resto y el cociente de dividir p(x) entre q(x).
Cuando p(x) md q(x) = 0, denotaremos por p(x)
q(x) al polinomio p(x) div q(x).
Ejemplo 2.2.3.
1.
En Z3 [x], se verifica que:

x5 + x4 + 2x3 + x2 + x + 1 md x2 + 2x + 1 = 2
x5 + x4 + 2x3 + x2 + x + 1 div x2 + 2x + 1 = x3 + 2x2 + 2.
2.
En Z5 [x]:
x5 + x4 + 2x3 + x2 + x + 1 md x2 + 2x + 1 = 6x
x5 + x4 + 2x3 + x2 + x + 1 div x2 + 2x + 1 = x3 + 4x2 + 3x + 1.
Definicin 22. Sea p(x) A[x] y a A. Se dice que a es una raz de p(x) si p(a) = 0.
Ejemplo 2.2.4. El polinomio p(x) = x5 + x4 + x3 + 2x2 + 1 Z3 [x] tiene a x = 1 por raz, pues
p(1) = 1 + 1 + 1 + 2 + 1 = 0. Sin embargo, 0 no es raz pues p(0) = 1 y 2 tampoco es raz pues
p(2) = 25 + 24 + 23 + 2 22 + 1 = 2 + 1 + 2 + 2 + 1 = 2.
El siguiente resultado es un conocido teorema referente a la divisin por el polinomio x a.
Teorema 2.2.2 (Teorema del resto). Sea p(x) A[x] y a A. Entonces el resto de dividir p(x) entre
x a es el resultado de evaluar p(x) en el punto a. Dicho de otra forma
p(x) md x a = p(a)
Demostracin: Si dividimos p(x) entre x a nos da un polinomio de grado menor que 1, luego debe
ser un polinomio constante. Se tiene entonces que p(x) = c(x) (x a) + r. Evaluando en a nos queda
que p(a) = c(a) (a a) + r, es decir, r = p(a).
Corolario 2.2.1 (Teorema del factor). Sea p(x) A[x] y a A. Entonces a es raz de p(x) si, y slo
si, (x a)|p(x).

41
En la siguiente proposicin veremos una forma rpida de calcular el cociente y el resto de la divisin
de un polinomio entre x a.
Proposicin 2.2.2. Sea p(x) A[x], a A. Supongamos que p(x) = an xn + + a1 x + a0 y que
p(x) = (bn1 xn1 + + b1 x + b0 )(x a) + r. Entonces:
bn1 = an
bi1 = ai + bi a para i = 0, 1, , n 1
r = a0 + b0 a
La demostracin se deja como ejercicio.

Esta proposicin proporciona el conocido mtodo de Ruffini (algoritmo de Horner) para dividir un
polinomio entre x a.
Para esto se disponen los datos conocidos como sigue:
an
an1
ai+1
ai
a1
a0
bn1
bn2
bi
bi1
b0
a
Para calcular los coeficientes bi se procede como sigue:
Se comienza por bn1 = an
Supuesto calculado bi se calcula bi1 como bi1 = ai + bi a.
Por ltimo, hallado b0 se calcula r como r = a0 + b0 a.
Para ordenar los clculos se coloca el valor bi a justo debajo del valor de ai , y se efecta la suma,
obtenindose as el valor de bi1 .
an
an1
ai+1
bn1 = an
bn2
bi
ai
bi a
bi1 = ai + bi a
a1
a0
b0
Ejemplo 2.2.5. Vamos a hallar el cociente y el resto de la divisin de x5 + x4 + x3 + 2x2 + 1 entre x 2

en Q[x]. Para ello procedemos a completar la tabla
1 1
2 0
2
Rellenando de izquierda a derecha.
2
1 1
1
2
0
1
2 = 1 2 6 = 3 2 14 = 7 2
32 = 16 2 64 = 32 2
1 3 = 1 + 2 7 = 1 + 6 16 = 2 + 14 32 = 0 + 32 65 = 1 + 64
La tabla quedara as
2
1 1 1 2 0 1
2 6 14 32 64
1 3 7 16 32 65
Ntese que x5 + x4 + x3 + 2x2 + 1 = (x4 + 3x3 + 7x2 + 16x + 32)(x 2) + 65, y que p(2) = 65.
Vamos a dividir ahora x5 + x4 + x3 + 2x2 + 1 entre x + 1 en Z3 [x]. Puesto que x + 1 = x 2, se tiene
que
Jess Garca Miranda
42
1 1 1
2 0
1 0 1
2
2
1
0
2
2
1
1
2
es decir, el cociente es x4 + x2 + x + 2 y el resto es 2.
Definicin 23. Sea p(x) A[x], y a A. Se dice que a es una raz de multiplicidad m si (x a)m |p(x)
y (x a)m+1 6 |p(x).
Ntese que decir que a es una raz de multiplicidad m es decir que p(x) = (x a)m c(x) con c(a) 6= 0.
A las races de multiplicidad 1 se les llama races simples; a las de multiplicidad 2, races dobles, a las
de multiplicidad 3, races triples, y as sucesivamente.
En ocasiones, si a no es una raz se dice que es una raz de multiplicidad 0.
Ejemplo 2.2.6. El polinomio x5 +x3 +x2 +1 Z2 [x] tiene a x = 1 como raz triple, pues x5 +x3 +x2 +1 =
(x + 1)3 (x2 + x + 1), y x2 + x + 1 no tiene a 1 como raz.
1
1
1
1
1 0
1
1 1
1
1 0
1
1 1
1
1 0
1
1
0
0
0
1
1
0
1
1
0
1
0
1
1
0
0
1
1
1
0
1
1
0
Aqu vemos las sucesivas divisiones por x + 1. Se aprecia como las tres primeras son exactas, mientras
que la cuarta da resto 1.
Definicin 24. Sea K un cuerpo, y p(x), q(x) K[x]. Se dice que d(x) K[x] es un mximo comn
divisor de p(x) y q(x) si:
1.
d(x)|p(x) y d(x)|q(x).
2.
Si c(x)|p(x) y c(x)|q(x) entonces c(x)|d(x).

Nota:
1. La primera condicin de la definicin nos dice que d(x) debe ser un divisor comn de p(x) y q(x).
La segunda condicin nos dice que este divisor comn es el "ms grande" de los divisores comunes.
2. Si d(x) es un mximo comn divisor de p(x) y q(x) y a K entonces ad(x) es tambin un mximo
comn divisor de p(x) y q(x). De hecho, cualquier polinomio que sea un mximo comn divisor de
p(x) y q(x) es de la forma a d(x). De todos estos, hay uno, y slo uno que es mnico. Denotaremos
por mcd(p(x), q(x)) al nico mximo comn divisor de p(x) y q(x) que es mnico.
3. La definicin anterior podra haberse hecho tomando coeficientes en un anillo. En el caso de A = Z,
si d(x) es un mximo comn divisor de p(x) y q(x), tambin lo es d(x), y no hay ms. Denotaremos
por mcd(p(x), q(x)) al que tenga coeficiente lder positivo.
4. Aqu se ha definido el mximo comn divisor de dos polinomios. Podra haberse definido de forma
anloga el mximo comn divisor de 3 ms.

43
Se deja como ejercicio dar la definicin de mnimo comn mltiplo.
Veremos a continuacin algunas propiedades referentes al mximo comn divisor. Supongamos que
tenemos p(x), q(x), r(x), d(x) K[x], y supondremos que los cuatro polinomios son mnicos.
Propiedades:
1. mcd(p(x), q(x)) = mcd(a p(x), q(x)) = mcd(p(x), a q(x)), donde a K .
2. mcd(p(x), 0) = p(x) y mcd(p(x), 1) = 1
3. Si p(x)|q(x) entonces mcd(p(x), q(x)) = p(x).
4. mcd(p(x), mcd(q(x), r(x)) = mcd(mcd(p(x), q(x)), r(x)) = mcd(p(x), q(x), r(x)).
5. mcd(p(x) r(x), q(x) r(x)) = mcd(p(x), q(x)) r(x)
p(x) q(x)
6. Si d(x)|p(x) y d(x)|q(x) entonces mcd d(x)
, d(x) =
mcd(p(x),q(x))
.
d(x)
Como ejercicio, se deja enunciar propiedades anlogas para el mnimo comn mltiplo, as como para
polinomios en Z[x].
Los siguientes resultados son anlogos a los dados para nmeros enteros.
Lema 2.2.1. Sean p(x), q(x) K[x]. Entonces, para cualquier c(x) K[x] se tiene que mcd(p(x), q(x)) =
mcd(q(x), p(x) c(x)q(x)).
Corolario 2.2.2. Sean p(x), q(x) K[x], con q(x) 6= 0. Entonces mcd(p(x), q(x)) = mcd(q(x), p(x) md q(x)).
Para calcular ahora el mximo comn divisor de dos polinomios procedemos de igual forma que a
la hora de calcular el mximo comn divisor de dos nmeros enteros. Vamos realizando divisiones hasta
obtener un resto nulo. En resto anterior es el mximo comn divisor.
p(x) = q(x) c1 (x) + r1 (x)
q(x) = r1 (x) c2 (x) + r2 (x)
r1 (x) = r2 (x) c3 (x) + r3 (x)
..............................
ri2 (x) = ri1 (x) ci (x) + ri (x)
.................................
rk2 (x) = rk1 (x) ck (x) + rk (x)
rk1 (x) = rk (x) ck+1 (x) + 0
Sin embargo, el polinomio rk (x) no tiene por qu ser mnico, luego el resultado final, rk (x), no sera
el mximo comn divisor de p(x) y q(x). Necesitamos multiplicar por el inverso del coeficiente lder para
obtener el mximo comn divisor.
El algoritmo EUCLIDES del captulo anterior vale ahora para el clculo del mximo comn divisor
de dos polinomios con coeficientes en un cuerpo. nicamente hay que incluir una sentencia, justo antes
de Devuelve p(x) que diga p(x) := (c.l.(p(x))1 p(x), donde c.l.(p(x)) denota el coeficiente lder del
polinomio p(x).
Ejemplo 2.2.7. Vamos a calcular en Q[x] el mximo comn divisor de x3 x + 3 y x3 + x2 + 1.

x3 x + 3 =
x3 + x2 + 1 =
x2 x + 2 =
2x + 1 =
(x3 + x2 + 1) 1
(x2 x + 2) (x)
1
(2x + 1) 1
2 x
4
8
4
9
4
9x + 9
Jess Garca Miranda
+ (x2 x + 2)
+
2x + 1
9
+
4
+
0

Luego un mximo comn divisor de x3 x + 3 y x3 + x2 + 1 es 94 . Multiplicamos por
que mcd(x3 x + 3, x3 + x2 + 1) = 1.
44
4
9
y obtenemos
El teorema de Bezout se tiene tambin en el caso de los polinomios.

Teorema 2.2.3. Sean p(x), q(x) K[x], y sea d(x) = mcd(p(x), q(x)). Entonces existen u(x), v(x)
K[x] tales que d(x) = p(x) u(x) + q(x) v(x)
La demostracin del teorema, as como el algoritmo para calcular u(x) y v(x) es anlogo al hecho en
el caso de los nmeros enteros. nicamente, antes de la sentencia Devuelve q(x), u(x), v(x) es necesario
hacer a := (c.l.(q(x)))1 y (q(x), u(x), v(x)) := (a q(x), a u(x), a v(x))
Ejemplo 2.2.8.
1.
Vamos a expresar mcd(x3 x + 3, x3 + x2 + 1) en funcin de los polinomios x3 x + 3 y x3 + x2 + 1.

p(x)
q(x)
r(x)
c(x)
x3 x + 3
x3 + x2 + 1
x2 x + 2
2x + 1
x3 + x2 + 1
x2 x + 2
2x + 1
x2 x + 2
2x 1
9
4
9
4
1
x
1
2 x
1
4
u(x)
1
0
1
x
1 2
1
2x + 4x + 1
v(x)
0
1
1
x + 1
1 2
x
+ 14 x
2
3
4
2 2
9x
2 2
9 x
3
9
+ 91 x +
4
9
+ 19 x
Las cuatro primeras columnas es claro como se obtienen a partir del ejemplo anterior. En cuanto
a las dos ltimas, se han obtenido como sigue:
1=110
x = 0 (x) 1
1
1
1
1 2
2x + 4x + 1 = 1
2 x 4 x
1 = 0 1 1
x + 1 = 1 (x) (1)
1
1 2
3
5
1
2 x + 4 x 4 = 1
2 x 4 (x + 1)
Ntese que se verifica que
1 = (x x + 3)
2.
2 2 1
4
x + x+
9
9
9
+ (x + x + 1)
2 2 1
3
x + x
9
9
9
Sean p(x) = x5 + 2x4 + x2 + 2x + 2, q(x) = x5 + 2x3 + x2 + x + 1 Z3 [x]. Vamos a calcular su

mximo comn divisor y a exprearlo en funcin de p(x) y q(x).
p(x)
q(x)
r(x)
c(x)
x5 + 2x4 + x2 + 2x + 2
x5 + 2x3 + x2 + x + 1
2x4 + x3 + x + 1
x5 + 2x3 + x2 + x + 1
2x4 + x3 + x + 1
2x2 + 2
x2 + 1
2x4 + x3 + x + 1
2x2 + 2
0
1
2x + 2
u(x)
1
0
1
x+1
v(x)
0
1
2
2x
2x + 2
Luego mcd(x5 + 2x4 + x2 + 2x + 2, x5 + 2x3 + x2 + x + 1) = x2 + 1 y

x2 + 1 = (x5 + 2x4 + x2 + 2x + 2)(2x + 2) + (x5 + 2x3 + x2 + x + 1)(x)
3.

45
En Z[x] se tiene que mcd(x, 2) = 1. Sin embargo no existen u(x), v(x) Z[x] tales que x u(x) + 2
v(x) = 1.
Los corolarios 1.3.2, 1.3.3 y 1.3.4, as como la proposicin 1.3.1 pueden ahora trasladarse al contexto
de polinomios con coeficientes en un cuerpo.
Tambin las proposiciones 1.4.1 y 1.4.2 son vlidas para polinomios.
Ms precisamente, sean a(x), b(x), c(x) K[x]. Entonces la ecuacin a(x)u(x) + b(x)v(x) = c(x) tiene
solucin si, y slo si, mcd(a(x), b(x))|c(x).
Si u0 (x), v0 (x) es una tal solucin, y d(x) = mcd(a(x), b(x)), entonces todas las soluciones son de la
forma:
b(x)
u(x) = u0 (x) + p(x) d(x)
p(x) K[x]
a(x)
v(x) = v0 (x) p(x) d(x)
Ejemplo 2.2.9. Vamos a hallar todas las parejas de polinomio u(x), v(x) Z3 [x] que satisfacen la
ecuacin
(x5 + 2x3 + 2) u(x) + (x5 + 2x4 + 2x3 + 1) v(x) = x4 + 2x2 + 2x + 2
Para esto, vemos en primer lugar si existe alguno. Esto ocurre si, y slo si, x4 + 2x2 + 2x + 2 es
mltiplo de mcd(x5 + 2x3 + 2, x5 + 2x4 + 2x3 + 1).
a(x)
x5 + 2x3 + 2
x5 + 2x4 + 2x3 + 1
x4 + 1
3
2x + 2x + 2
b(x)
x5 + 2x4 + 2x3 + 1
x4 + 1
3
2x + 2x + 2
2x2 + 2x + 1
r(x)
x4 + 1
2x3 + 2x + 2
2x2 + 2x + 1
0
c(x)
1
x+2
2x
luego mcd(x5 + 2x3 + 2, x5 + 2x4 + 2x3 + 1) = 2(2x2 + 2x + 1) = x2 + x + 2, y como x4 + 2x2 + 2x + 2 =

(x +x+2)(x2 +2x+1) sabemos que podemos encontrar parejas de polinomio u(x), v(x) que sean solucin
de la ecuacin anterior.
Buscamos dos polinomios u0 (x), v0 (x) que sean solucin
2
a(x)
b(x)
r(x)
c(x)
x5 + 2x3 + 2
x + 2x4 + 2x3 + 1
x4 + 1
3
2x + 2x + 2
x5 + 2x4 + 2x3 + 1
x4 + 1
2x3 + 2x + 2
2x2 + 2x + 1
x2 + x + 2
x4 + 1
2x + 2x + 2
2x2 + 2x + 1
0
1
x+2
2x
u(x)
1
0
1
2x + 1
2x2 + x + 1
v(x)
0
1
2
2x
x2 + 2
x2 + 2x + 2
2x2 + 1
Tomamos entonces
u0 (x) = (x2 + 2x + 2) (x2 + 2x + 1) =
x4 + x3 + x2 + 2
2
2
4
v0 (x) =
(2x + 1) (x + 2x + 1) = 2x + x3 + x2 + 2x + 2
Puesto que
(x5 + 2x3 + 2) div (x2 + x + 2) = x3 + 2x2 + x + 2
(x5 + 2x4 + 2x3 + 1) div (x2 + x + 2) = x3 + x2 + 2x + 2
tenemos que la solucin general es
u(x) =
x4 + x3 + x2 + 2
4
v(x) = 2x + x3 + x2 + 2x + 2
+
+
(x3 + x2 + 2x + 2) p(x)
2(x3 + 2x2 + x + 2) p(x)
Jess Garca Miranda
p(x) Z3 [x]
46
2.3.
Factorizacin de polinomios
En esta seccin veremos como los polinomios con coeficientes en un cuerpo se pueden factorizar como
producto de irreducibles.
Definicin 25. Sea p(x) K[x] no constante. Se dice que p(x) es irreducible si sus nicos divisores son
los polinomios constantes (no nulos) y los polinomios de la forma a p(x) : a K .
Sea p(x) Z[x], p(x) 6= 0, 1, 1. Se dice que p(x) es irreducible si sus ncios divisores son 1 y
p(x).
Si p(x) no es irreducible, se dice que es reducible.
Observacin: Ntese que si p(x) K[x] es reducible y gr(p(x)) = n entonces p(x) tiene un divisor
no constante de grado menor o igual que n2 .
Ejemplo 2.3.1.
1.
Cualquier polinomio de grado 1 en K[x] es irreducible. Sin embargo, el polinomio p(x) = 2x + 2 es

reducible en Z[x], pues 2|p(x) y x + 1|p(x).
2.
El polinomio x3 + x + 1 Z2 [x] es irreducible. Por la observacin anterior debe tener un divisor de

grado menor o igual que 23 . Los nicos polinomios en esas condiciones son x y x + 1, y ninguno de
ellos divide a x3 + x + 1.
3.
Dado p(x) = ax2 + bx + c R[x] entonces p(x) es irreducible si, y slo si, b2 4ac < 0.
Al igual que en el caso de Z se tiene ahora:

Proposicin 2.3.1. Sea p(x) K[x] no constante. Entonces:
p(x) es irreducible p(x)|q1 (x) q2 (x) = p(x)|q1 (x) p(x)|q2 (x)
Con esta proposicin estamos ya en condiciones de dar el teorema de factorizacin.

Teorema 2.3.1. Sea K un cuerpo, y p(x) K[x] no constante. Entonces p(x) se expresa de forma nica
como
p(x) = ap1 (x)p2 (x) pk (x)
donde a K y pi (x) es un polinomio mnico e irreducible.
En Z8 [x] se tiene que x2 + 7 = (x + 1)(x + 7) = (x + 3)(x + 5). Puesto que Z8 no es un cuerpo, este
ejemplo no est en contradiccin con el teorema.
En el caso de polinomios con coeficientes en Z[x] la situacin es algo diferente, pues en general no
es posible expresar un polinomio irreducible como una constante por un polinomio mnico. Por ejemplo,
2x2 + 4x + 1 es
irreducible. Si lo expresamos como una constante por un polinomio mnico nos queda
2 x2 + 2x + 21 que no pertenece a Z[x]. El papel de polinomio mnico lo juega aqu lo que se llama
polinomio primitivo.
2.3. Factorizacin de polinomios

47
Definicin 26. Sea p(x) Z[x] no nulo. Se llama contenido de p(x) al mximo comn divisor de sus
coeficientes. Es decir, si p(x) = an xn + + a1 x + a0 , entonces
c(p(x)) = mcd(a0 , a1 , , an )
Un polinomio se dice primitivo si su contenido vale 1.
Obviamente, dado p(x) Z[x], entonces p(x) se expresa como p(x) = c(p(x)) p1 (x), donde p1 (x) es
un polinomio primitivo. Ms en general, si p(x) Q[x], existe ab Q y p1 (x) Z[x] primitivo tal que
p(x) = ab p1 (x).
Ejemplo 2.3.2. El contenido del polinomio 6x3 + 9x2 15x + 12 es 3, pues mcd(6, 9, 15, 12) = 3. Se
tiene entonces que p(x) = 3 (2x3 + 3x2 5x + 4). Fcilmente se comprueba que 2x3 + 3x2 5x + 4 es
primitivo.
7
Consideramos el polinomio p(x) = 7x3 75 x2 + 14
3 x 3 Q[x]. Multiplicamos por el mnimo comn
mltiplo de los denominadores, que es 15, y nos queda:
p(x) =
1
(105x3 21x2 + 70x 35)
15
y como este ltimo polinomio tiene contenido igual a 7 resulta que

p(x) =
7
(15x3 3x2 + 10x 5)
15
Lema 2.3.1 (Lema de Gauss). Sean q1 (x), q2 (x) Z[x] dos polinomios primitivos. Entonces q1 (x)
q2 (x) es primitivo.
Demostracin: Supongamos que q1 (x) q2 (x) no es primitivo, y sea p un primo que divide a c(q1 (x)
q2 (x)).
Supongamos tambin que q1 (x) = an xn + + a1 x + a0 y que q2 (x) = bm xm + + b1 x + b0 . Puesto
que q1 (x) es primitivo, debe existir un coeficiente que no sea mltiplo de p. Supongamos que el primero
de ellos es ak . De la misma forma, sea bl el primer coeficiente de q2 (x) que no es mltiplo de p. Entonces
el coeficiente de grado k + l del polinomio q1 (x) q2 (x) es
a0 bk+l + + ak1 bl+1 + ak bl + ak+1 bl1 + + ak+l b0
Puesto que a0 , ak1 son todos mltiplos de p se tiene que a0 bk+l + + ak1 bl+1 es mltiplo de
p. Puesto que b0 , bl1 son mltiplos de p tambin lo es ak+1 bl1 + + ak+l b0 , y como el trmino de
grado k + l de q1 (x) q2 (x) es mltiplo de p deducimos que ak bl es mltiplo de p, lo cual no es posible,
pues ni ak ni bl lo son.
Corolario 2.3.1. Sean p(x), q(x) Z[x]. Entonces c(p(x) q(x)) = c(p(x)) c(q(x)).
Demostracin: Se tiene que p(x) = c(p(x)) p1 (x) y q(x) = c(q(x)) q1 (x), donde p1 (x) y q1 (x) son
primitivos. Entonces
p(x) q(x) = [c(p(x)) p1 (x)] [c(q(x)) q1 (x)] = [c(p(x)) c(q(x))] p1 (x) q1 (x)
y como p1 (x) q1 (x) es primitivo deducimos que
c(p(x) q(x)) = c(p(x)) c(q(x))
Ejemplo 2.3.3.
1.
Sean p(x) = 3x6 + 5x5 4x4 + 6x3 10x2 + 10x 20 y q(x) = 2x5 + 15x4 12x3 + 8x2 18x + 12.
Claramente, ambos polinomios son primitivos. Si los multiplicamos nos queda
Jess Garca Miranda
48
45
6 10
6 55
36
75
8
31
36
54
90
24
40
32
60
48
72
60
90 150
12 20
20
84 104 234
5
4
2
15
60
48
72 108
48
80
120 120
150 300
40
410 656
6
10
10
20
12
8
18
12
82 120
120 240
180 180 360
80 160
240
572
460 240 240
es decir,
p(x)q(x) = 6x11 +55x10 31x9 84x8 +104x7 234x6 +410x5 656x4 +572x3 460x2 240x240
que tambin es primitivo.
Si analizamos los coeficientes, vemos que el primer coeficiente de p(x) que no es mltiplo de 2 es el
de grado 5 (5x5 ), mientras que el primero de q(x) que no es de mltiplo de 2 es el de grado 4 (15x4 ).
Al multiplicar los dos polinomios, el primer coeficiente que no es mltiplo de 2 es el de grado 9.
Podemos apreciar como todos los sumandos que intervienen en los trminos de grado menor o igual
que 8 son mltiplos de 2, mientras que en los que intervienen en el de grado 9 todos son mltiplos
de 2 salvo uno.
2.
El polinomio 2x2 + 6x 4 tiene contenido igual a 2, mientras que el polinomio 12x2 18x + 30 tiene
contenido igual a 6. Su producto, que es 24x4 108x3 96x2 + 252x 120 tiene contenido igual a
12.
Teorema 2.3.2. Sea p(x) Z[x] no constante. Entonces p(x) es irreducible en Z[x] si, y slo si, p(x) es
primitivo y es irreducible en Q[x].
Demostracin: Sea p(x) Z[x] y supongamos que es irreducible. Claramente es primitivo, pues en
caso contrario tendramos que c(p(x))|p(x).
Si el polinomio fuera reducible en Q[x] tendramos una factorizacin en Q[x] de la forma p1 (x) p2 (x).
Ahora bien, p1 (x) = ab q1 (x) y p2 (x) = dc q2 (x) con q1 (x), q2 (x) Z[x] primitivos. Entonces
p(x) =
ac
q1 (x)q2 (x)
bd
ac
Como tanto p(x) como q1 (x)q2 (x) son primitivos, deducimos que ac
bd = 1 (o bd = 1) lo que nos dice que
p(x) = q1 (x)q2 (x) es una factorizacin en Z[x], en contra de la hiptesis de que p(x) es irreducible.
Recprocamente, si p(x) es primitivo e irreducible en Q[x], si tuviera algn divisor propio en Z[x] ste
no podra ser un polinomio constante, luego sera tambin un divisor propio en Q[x].
Ejemplo 2.3.4.
1.
Sea p(x) = 6x 4 Z[x]. Visto como polinomio en Q[x] es irreducible, pues es de grado 1. Sin
embargo, en Z[x] no es irreducible, pues 2|(6x 4) y (3x 2)|(6x 4).
2.
Sea p(x) = 6x3 19x2 8x + 12. Podemos ver que este polinomio no es irreducible en Q[x], pues
x = 23 es una raz, ya que
3

2
2
8
4
2
16 76 48 108
2
2
2
=6
+
=0
p
19
8 + 12 = 6 19 8 + 12 =
3
3
3
3
27
9
3
9
9
9
9
Dividimos por x
2
3
8
12
10 12
6
18
0
2
2
luego p(x) = x 3 (6x 15x 18) = 3 (3x 2) [3 (2x2 5x 6)] = (3x 2)(2x2 5x 6)
2
3
19
4
15
Vemos como el polinomio es reducible en Z[x].


El teorema de factorizacin de polinomios en Z[x] dice:
49
Teorema 2.3.3. Sea q(x) Z[x], q(x) 6= 0, 1, 1. Entonces q(x) se factoriza como
q(x) = p1 pr q1 (x) qs (x)
donde pi son nmeros enteros primos y qj (x) son polinomios primitivos irreducibles en Q[x].
Tenemos aqu los resultados generales referentes a la factorizacin de polinomios. Sin embargo, en
general no es fcil factorizar un polinomio como producto de irreducibles. A continuacin veremos algunos
resultados que nos ayudarn a encontrar la factorizacin de un polinomio.
En primer lugar, vamos a detectar cuando un polinomio tiene factores mltiples, es decir, en su
factorizacin aparece algn irreducible elevado a un exponente mayor que 1.
Ntese que decir que p(x) tiene factores mltiples es equivalente a decir que existe q(x), irreducible
tal que q(x)2 |p(x).
Esto da pie a la siguiente definicin:
Definicin 27. Sea p(x) K[x]. Se dice que p(x) es libre de cuadrados si no existe ningn polinomio
q(x) K[x] no constante tal que q(x)2 |p(x).
Para estudiar la existencia de factores mltiples vamos a necesitar el concepto de derivada de un
polinomio. En el caso de polinomios con coeficientes reales, este concepto recupera la derivada de la
funcin polinmica correspondiente. Sin embargo, en nuestro contexto no tiene ninguna relacin con
lmites ni con pendientes de curvas.
Definicin 28. Sea p(x) = an xn + + a1 x + a0 K[x]. Se define la derivada de p(x), y se denota
como D(p(x)) o p0 (x) al polinomio
D(P (x)) = p0 (x) = nan xn1 + + 2a2 x + a1
Ejemplo 2.3.5.
1.
Sea p(x) = 2x5 7x3 + 3x2 5x + 3 Q[x]. Entonces p0 (x) = 10x4 21x2 + 6x 5.
2.
Sea p(x) = x4 + x2 + 1 Z2 [x]. En este caso se tiene que p0 (x) = 0. Vemos como un polinomio no
constante puede tener derivada nula.
Las propiedades de la derivada de polinomios recuerdan a las conocidas para la derivada de funciones
reales. La demostracin se deja como ejercicio.
Proposicin 2.3.2. Sean p(x), q(x) K[x], y n N. Entonces:
D(p(x) + q(x)) = p0 (x) + q 0 (x)
D(p(x) q(x)) = p0 (x) q(x) + p(x) q 0 (x)
D(p(x)n ) = n p(x)n1 p0 (x)
La importancia de la derivada viene dada por el siguiente resultado.
Proposicin 2.3.3. Sea p(x) K[x]. Entonces p(x) es libre de cuadrados si, y slo si, mcd(p(x), p0 (x)) =
1.
Jess Garca Miranda

Demostracin:
Demostremos en primer lugar que si mcd(p(x), p0 (x)) = 1 entonces p(x) es libre de cuadrados, o,
equivalentemente, si p(x) no es libre de cuadrados entonces mcd(p(x), p0 (x)) 6= 1.
Si p(x) no es libre de cuadrados, entonces existen q(x), r(x) K[x] tales que p(x) = q(x)2 r(x). Se
tiene entonces que
p0 (x) = D(q(x)2 )r(x) + q(x)2 D(r(x)) = 2q(x)q 0 (x)r(x) + q(x)r0 (x) = q(x) 2q 0 (x)r(x) + q(x)r0 (x)
50
lo que implica que q(x)|p0 (x), y como q(x)|p(x) se tiene que q(x)|mcd(p(x), p0 (x)).
Recprocamente, supongamos que mcd(p(x), p0 (x)) 6= 1. Sea entonces q(x) un polinomio irreducible
divisor de mcd(p(x), p0 (x)). Se tiene entonces que p(x) = q(x)r(x). Derivamos:
p0 (x) = q 0 (x)r(x) + q(x)r0 (x)
Dado que q(x)|p0 (x) y q(x)|q(x)r0 (x) deducimos que q(x)|q 0 (x)r(x), y al ser q(x) irreducible tenemos
dos opciones:
q(x)|r(x). En este caso r(x) = q(x)h(x), de donde p(x) = q(x)2 h(x), es decir, p(x) no es libre de
cuadrados.
q(x)|q 0 (x). Pero esta posibilidad slo podra darse si q 0 (x) = 0. Sin embargo, veremos en un captulo
posterior que si q 0 (x) = 0 entonces q(x) no es irreducible.
Corolario 2.3.2. Sea p(x) K[x] y a K una raz de p(x). Entonces a es una raz mltiple de p(x) si,
y slo si, p0 (a) = 0.
Ejemplo 2.3.6.
1.
Sea p(x) = x9 + x8 + x6 + x5 + x4 + x3 + 1 Z2 [x]. Entonces p0 (x) = x8 + x4 + x2 . Para calcular

el mximo comn divisor de p(x) y p0 (x) empleamos el algoritmo de Euclides.
x9 + x8 + x6 + x5 + x4 + x3 + 1
x8 + x4 + x2
x8 + x4 + x2
x6 + x2 + 1
x6 + x2 + 1
0
luego mcd(p(x), p0 (x)) = x6 + x2 + 1. De hecho,

p(x) = (x6 + x2 + 1)(x3 + x2 + 1)
p0 (x) = (x6 + x2 + 1)x2
Si q(x) = x6 + x2 + 1 se tiene que q 0 (x) = 0. Ntese que q(x) no es irreducible, pues q(x) =
(x3 + x + 1)2 .
La factorizacin de p(x) es p(x) = (x3 + x + 1)2 (x3 + x2 + 1).
2.
Sea p(x) = x7 + 2x6 + x5 + x4 + x + 2 Z3 [x]. Su derivada vale p0 (x) = x6 + 2x4 + x3 + 1. Vamos

a calcular mcd(p(x), p0 (x)).
x7 + 2x6 + x5 + x4 + x + 2
x6 + 2x4 + x3 + 1
2x5 + 2x4 + x3
x4 + 1
x3 + x + 1
x6 + 2x4 + x3 + 1
2x5 + 2x4 + x3
x4 + 1
3
x +x+1
2x2 + 2x + 1
2x5 + 2x4 + x3
x4 + 1
3
x +x+1
2x2 + 2x + 1
0
x+2
2x + 1
2x + 2
x
2x + 1
Es decir, mcd(p(x), p0 (x)) = x2 + x + 2

A partir de esto es fcil ver que la factorizacin de p(x) es (x2 + x + 2)(x3 + 2x + 2).

51
Y antes de empezar a estudiar las factorizaciones en distintos cuerpos veamos un resultado muy til
en la prctica.
Proposicin 2.3.4. Sea p(x) K[x], gr(p(x)) = 2, 3. Entonces p(x) es irreducible si, y slo si, p(x) no
tiene races.
Si el polinomio es de grado mayor o igual que 4 entonces el que no tenga races no nos permite afirmar
que el polinomio sea irreducible.
Ejemplo 2.3.7.
1.
El polinomio p(x) = x3 + 2x + 2 Z3 [x] es irreducible. Al ser de grado 3 basta ver que no tiene
races. Evaluamos en los tres elementos de Z3 y vemos que p(0) = 2, p(1) = 2 y p(2) = 2.
2.
El polinomio p(x) = x4 + x3 + x + 2 Z3 [x] no tiene races (p(0) = 2, p(1) = 2 y p(2) = 1). Sin
embargo no es irreducible, pues p(x) = (x2 + 1)(x2 + x + 2).
3.
El polinomio p(x) = 6x3 19x2 8x + 12 Z[x] no tiene races en Z, sin embargo es reducible,
como pudimos comprobar previamente ya que p(x) = (3x 2)(2x2 5x 6).
Dicho polinomio es reducible en Q[x], pues x =
2
3
es una raz.
Factorizacin de polinomios en Zp [x]

Aunque existen algoritmos para factorizar polinomios en Zp [x] (algoritmo de Berlekamp), aqu emplearemos el mtodo de ensayo y error.
Supongamos que tenemos un polinomio q(x) Zp [x] de grado n. Si el polinomio es reducible, entonces
tiene un factor irreducible de grado menor o igual que n2 .
Comprobamos en primer lugar si tiene o no divisores de grado 1, es decir, comprobamos si tiene races.
A continuacin comprobamos si tiene divisores irreducibles de grado 2, y as sucesivamente.
Ejemplo 2.3.8.
1.
Sea q(x) = x3 + x + 1 Z2 [x]. Al ser de grado 3 nicamente hay que comprobar si tiene o no races.
Puesto que q(0) = q(1) = 1 podemos deducir que el polinomio es irreducible. De la misma forma se
comprueba que x3 + x2 + 1 es irreducible.
2.
Sea ahora q(x) = x5 + x4 + 1 Z2 [x]. En este caso q(0) = q(1) = 1, luego no tiene ningn divisor
de grado 1.
Probamos a dividir por x2 + x + 1, que es irreducible de grado 2, y nos queda que x5 + x4 + 1 =
(x2 + x + 1)(x3 + x + 1). Los dos polinomios que aparecen son irreducibles.
3.
Sea q(x) = x7 + x4 + x3 + x + 1 Z2 [x]. Entonces:

Evaluamos en x = 0 y x = 1. En ambos casos nos sale 1, luego q(x) no tiene divisores de grado 1.
Dividimos por x2 + x + 1, y nos queda q(x) = (x2 + x + 1)(x5 + x4 + x + 1) + x. Por tanto no tiene
divisores de grado 2.
Dividimos por x3 + x + 1 y x3 + x2 + 1. En el primer caso nos queda q(x) = (x3 + x + 1)(x4 +
x2 ) + (x2 + x + 1) y en el segundo q(x) = (x3 + x2 + 1)(x4 + x3 + x2 + x + 1).
Puesto que x4 + x3 + x2 + x + 1 no tiene divisores de grado 1 y grado 2 (ya que de tenerlos seran
tambin divisores de q(x) deducimos que x4 + x3 + x2 + x + 1 es irreducible.
La factorizacin de q(x) como producto de irreducibles es
x7 + x4 + x3 + x + 1 = (x3 + x2 + 1)(x4 + x3 + x2 + x + 1)
Jess Garca Miranda

Como vemos, para factorizar un polinomio en Zp [x] es conveniente conocer los polinomios irreducibles
mnicos de grado bajo, pues son por los que hemos de efectuar las divisiones. A continuacin calcularemos
algunos de estos irreducibles.
52
1. Polinomios irreducibles en Z2 [x]

Grado 1. Aqu, los irreducibles son todos, es decir,
x
x+1
Grado 2. Los no irreducibles son x2 , x(x + 1) = x2 + x y (x + 1)(x + 1) = x2 + 1. El nico que

queda es
x2 + x + 1
Grado 3. Tambin aqu los nicos que hay son los que no tienen races. Estos son:
x3 + x + 1
x3 + x2 + 1
Grado 4. Aqu hemos de eliminar todos los que tengan races y (x2 + x + 1)2 = x4 + x2 + 1.
Nos quedan entonces tres polinomios, que son:
x4 + x + 1
x4 + x3 + 1
x4 + x3 + x2 + x + 1
Grado 5. Los reducibles son los que tienen races y los dos que toman una factorizacin de la
forma (grado 2) (grado 3). Estos dos son (x2 + x + 1)(x3 + x + 1) = x5 + x4 + 1 y (x2 + x +
1)(x3 + x2 + 1) = x5 + x + 1.
Nos quedan entonces 6 polinomios que son:
x5 + x2 + 1
x5 + x3 + 1
x5 + x4 + x3 + x2 + 1
x5 + x4 + x2 + x + 1
x5 + x4 + x3 + x + 1
x5 + x3 + x2 + x + 1
2. Polinomios mnicos irreducibles en Z3 [x].

Grado 1. Al igual que antes, todos son irreducibles. Tenemos por tanto
x
x+1
x+2
Grado 2. Son aquellos que no tiene races. Hay un total de 3, que son:
x2 + 1
x2 + x + 2
x2 + 2x + 2
Grado 3. Son tambin los que no tienen races. En este caso hay 8.
x3 + 2x + 1
x3 + x2 + x + 2
x3 + 2x + 2
x3 + x2 + 2x + 1
x3 + x2 + 2
x3 + 2x2 + 1
x3 + 2x2 + x + 1
x3 + 2x2 + 2x + 2
De grado 4 hay 18 polinomios irreducibles.

Grado 1. Tenemos 5 irreducibles:
x
x+1
x+2
x+3
x+4
Grado 2. Los que no tienen races son 10.

x2 + 2
x2 + 2x + 4
x2 + 3
x2 + 3x + 3
x2 + x + 1
x2 + 3x + 4
x2 + x + 2
x2 + 4x + 1
x2 + 2x + 3
x2 + 4x + 2

53
Para grados mayores el nmero de polinomios es muy grande. As, de grado 3 la lista tendra
40 polinomios, mientras que la de grado 4 sera de 150.
Grado 1. Como siempre aqu son todos irreducibles.
x
x+1
x+2
x+3
x+4
x+5
x+6
Grado 2. Aqu la lista es ya muy grande. Tenemos un total de 21 polinomios.

x2 + 1
x2 + 2
x2 + 4
x2 + x + 3
x2 + x + 4
x2 + x + 6
x2 + 2x + 2
x2 + 2x + 3
x2 + 2x + 5
x2 + 3x + 1
x2 + 3x + 5
x2 + 3x + 6
x2 + 4x + 1
x2 + 4x + 5
x2 + 4x + 6
x2 + 5x + 2
x2 + 5x + 3
x2 + 5x + 5
x2 + 6x + 3
x2 + 6x + 4
x2 + 6x + 6
De grado 3 hay un total de 112 polinomios irreducibles.

Factorizacin de polinomios en Z[x] y en Q[x]
Los teoremas 2.3.2 y 2.3.3 nos dicen que dado un polinomio con coeficientes en Z y primitivo, es
equivalente encontrar una factorizacin en Z[x] a encontrarla en Q[x]. Puesto que todo polinomio con
coeficientes en Q se puede multiplicar por una constante para obtener un polinomio primitivo con coeficientes en Z, las factorizaciones de polinomios en Q[x] las haremos factorizando polinomios primitivos
en Z[x].
Ejemplo 2.3.9. El polinomio 6x4 x3 7x2 7x + 2 se factoriza en Q[x], de acuerdo con el teorema
2.3.1 como
5
1
3
6x4 x3 7x2 7x + 2 = 6 x2 x +
x2 x + 1
3
3
2
mientras que su factorizacin en Z[x] es
6x4 x3 7x2 7x + 2 = (3x2 5x + 1)(2x2 + 3x + 2)
Claramente, obtenida una de las factorizaciones es fcil obtener la otra y viceversa.
Veamos en primer lugar como encontrar las races de un polinomio.
Proposicin 2.3.5. Sea q(x) = an xn + + a1 x + a0 un polinomio con coeficientes en Z y primitivo, y
sea ab Q. Supongamos que mcd(a, b) = 1. Entonces, si ab es una raz se verifica que a|a0 y b|an .

Demostracin: Por ser ab una raz de q(x) se tiene que q ab = 0, es decir,
an
a n
b
+ + a1
a
+ a0 = 0 = an an + an1 an1 b + + a1 abn1 + a0 bn = 0
b
y de aqu se tiene, por una parte que

a0 bn = a(an an1 + an1 an2 b + a1 bn1
lo que implica que a|(a0 bn ), y por tanto a|a0 (ya que mcd(a, b) = 1); y por otra parte que
an an = b(an1 an1 + + a1 abn2 + a0 bn1
lo que implica que b|an .
Jess Garca Miranda

Ejemplo 2.3.10. Consideramos el polinomio q(x) = 2x3 + 3x2 5x + 1. Sus posibles races son 1 y
21 . Evaluamos en esos puntos y obtenemos:
54
q(1) = 1
q(1) = 7

1
1
=
2
2
1
2
=4
luego q(x) no tiene races racionales. Al ser de grado 3 deducimos que es irreducible en Q[x], y como es
primitivo es irreducible en Z[x].
Aunque esta proposicin nos acota bastante el nmero de posibles races, haciendo uso nicamente
de la proposicin este podra ser bastante elevado.
Ejemplo 2.3.11. Sea q(x) = 6x4 + 11x3 19x2 + 18x 8. Si nos atenemos a la proposicin 2.3.5 las
posibles races de q(x) son
Con denominador 1: 1, 2, 4, 8, 1, 2, 4, 8.
Con denominador 2: 21 , 1
2 (pues las otras ya las hemos considerado)
2 4 8
Con denominador 3: 31 , 23 , 43 , 83 , 1
3 , 3 , 3 , 3 .
1 1
Con denominador 6: 6 , 6 .
Y vemos que hay un total de 20 posibles races por las que hay probar.
El siguiente resultado nos acota bastante las posibles races de un polinomio con coeficientes en Z.
Proposicin 2.3.6. Sea q(x) = an xn + + a1 x + a0 Z[x]. Supongamos que
con mcd(a, b) = 1. Entonces, para cualquier c Z se verifica que (bc a)|p(c).
a
b
es una raz de q(x),
Demostracin: Por ser ab una raz, el polinomio (bx a) es un divisor de q(x) (ntese que bx a es
primitivo). Por tanto, para cualquier c se verifica que bc a es un divisor de p(c).
Si en la proposicin anterior tomamos c = 0 obtenemos que a|a0 .
Si tomamos c = 1 obtenemos que (b a)|p(1).
Si tomamos c = 1 obtenemos que (b + a)|p(1).
Ejemplo 2.3.12. Retomamos el polinomio q(x) = 6x4 + 11x3 19x2 + 18x 8 del ejemplo anterior.
Entonces q(1) = 8 y q(1) = 50.
Tenemos entonces que si ab es una raz de q(x) entonces b a es un divisor de 8. Podemos entonces
2 4 8 8 1 1
eliminar de la lista de posibles races las siguientes: 1, 4, 8, 2, 4, 8, 1
2 , 3 , 3 , 3, 3 , 6, 6 .
Nos quedan entonces:
1
1
1
2
4
2
3
3
3
3
Si ahora imponemos que a + b sea un divisor de 50 nos quedan nicamente dos posibles races, que
2
son 1
3 y 3.
2
19 18
8
6 11 19 18 8
76
2
3 22
4
10 6
8
3
9
3
148
6
15
9
12
0
6
22 76
3
9
2
3
de donde deducimos que q(x) = x 3 (6x + 15x2 9x + 12) = (3x 2)(2x3 + 5x2 3x + 4). Puesto
que 2x3 + 5x2 3x + 4 no tiene races (no es necesario realizar ninguna comprobacin) podemos concluir
que la anterior es la factorizacin de q(x) en Z[x] como producto de irreducibles.
1
3
11
2
9

55
Proposicin 2.3.7 (Criterio de Eisenstein). Sea q(x) = an xn + + a1 x + a0 Z[x] primitivo.
Supongamos que existe un nmero primo p tal que p|ai : i = 0, 1, n 1 y p2 6 |a0 . Entonces q(x) es
irreducible.
Demostracin: Hagamos la demostracin por reduccin al absurdo. Supongamos entonces que q(x)
fuera reducible. Entonces tendramos una factorizacin de la forma
q(x) = (bm xm + + b1 x + b0 )(ck xk + + c1 x + c0 )
Puesto que a0 = b0 c0 deducimos que p|b0 c0 , luego p divide a uno de los dos coeficientes. Adems no
puede dividir a los dos, pues en ese caso tendramos que p2 |a0 . Suponemos, por ejemplo, que p|b0 (y por
tanto que p 6 |c0 ).
Supongamos ahora que p|b0 , p|b1 , , p|bi . Vamos a demostrar que p|bi+1 . Se tiene que
ai+1 = b0 ci+1 + b1 ci + + bi c1 + bi+1 c0
Todos los sumandos, salvo quiz el ltimo son mltiplos de p. Tambin la suma total (ai+1 ) es mltiplo
de p. Por tanto, tenemos que bi+1 c0 es mltiplo de p. Como c0 no lo es, deducimos que bi+1 es mltiplo
de p.
De esta forma demostramos que todos los coeficientes de bm xm + + b1 x + b0 son mltiplos de p, lo
que implicara que an = bm ck sera mltiplo de p, lo cual no es posible.
Ejemplo 2.3.13.
1.
El polinomio x2 + 4x + 4 satisface todas las hiptesis del criterio de Eisenstein para el primo p = 2
salvo la que afirma que p2 6 |a0 . Vemos que este polinomio es reducible, pues x2 + 4x + 4 = (x + 2)2 .
2.
El polinomio x2 +4x+8 satisface tambin todas las hiptesis del criterio de Eisenstein para el primo
p = 2 salvo la que afirma que p2 6 |a0 . En este caso el polinomio es irreducible.
3.
El polinomio 5x5 + 6x4 12x2 + 18x 24 satisface las hiptesis del criterio de Eisenstein para p = 3.
Por tanto es irreducible. Ntese que para p = 2 no es posible aplicar el criterio.
4.
Para cualquier primo p, los polinomios xn + p y xn p son irreducibles.
Proposicin 2.3.8 (Reduccin mdulo un primo). Sea q(x) Z[x], y p un nmero primo. Denotemos por q(x) al polinomio en Zp [x] cuyos coeficientes son los de q(x) que se han reducido mdulo p.
Entonces, si gr(q(x)) = gr(q(x)) y q(x) es irreducible podemos asegurar que q(x) es irreducible.
Este criterio se suele enunciar diciendo que si q(x) es irreducible en Zp [x] entonces q(x) es irreducible
en Z[x].
Demostracin: Demostraremos el contrarrecproco, es decir, si q(x) es reducible en Z[x] entonces q(x)
es reducible en Zp [x].
Ahora bien, si q(x) es reducible en Z[x] se tiene que q(x) = q1 (x) q2 (x), de donde q(x) = q1 (x) q2 (x)
en Zp [x]. Esta ltima afirmacin es cierta pues si ai = b0 ci + + bi c0 en Z entonces ai = b0 ci + + bi c0
en Zp para cualquier primo p.
Tenemos por tanto que toda factorizacin en Z[x] da lugar a una factorizacin en Zp [x].
Aunque no se haya mencionado en la demostracin, la hiptesis de que gr(q(x)) = gr(q(x)) es importante. Analiza en que momento de la demostracin es necesaria. En el siguiente ejemplo puedes encontrar
alguna ayuda.
En lo que sigue, denotaremos por q(x) tanto al polinomio con coeficientes en Z como al polinomio con
coeficientes en Zp .
Jess Garca Miranda
56
Ejemplo 2.3.14.
1.
Sea q(x) = 2x3 15x2 + 19x 7. Si reducimos el polinomio mdulo 2 nos queda q(x) = x2 + x + 1,
que sabemos que es irreducible. Sin embargo, q(x) es reducible, pues q(x) = (2x 1)(x2 5x + 7).
2.
El polinomio x5 + 4x4 7x3 + 12x2 10x + 9 es irreducible en Z[x], y por tanto en Q[x] pues al
reducirlo mdulo 2 nos queda x5 + x3 + 1, que es irreducible.
3.
Consideramos el polinomio x4 4x3 +3x2 +7x5. Si lo reducimos mdulo 2 nos queda x4 +x2 +x+1
que es reducible, pues x = 1 es una raz. De hecho x4 + x2 + x + 1 = (x + 1)(x3 + x2 + 1)
Si reducimos mdulo 3 nos queda q(x) = x4 +2x3 +x+1. Evaluamos q(x) en los diferentes puntos de
Z3 y comprobamos que no tiene races (q(0) = 1, q(1) = 2, q(2) = 2). Dividimos por los polinomios
irreducibles de grado 2, y nos sale:
x4 + 2x3 + x + 1 = (x2 + 1)(x2 + 2x + 2) + 2x + 2
x4 + 2x3 + x + 1 = (x2 + x + 2)(x2 + x) + x + 1
Por tanto q(x) es irreducible en Z3 . Deducimos entonces que x4 4x3 + 3x2 + 7x 5 es irreducible
en Z[x].
4.
El polinomio q(x) = x5 + 3x4 + 3x3 4x + 3 es reducible en Z[x] y su factorizacin como producto

de irreducibles es (x2 + 2x + 3)(x3 + x2 2x + 1). Si lo reducimos mdulo 2 nos queda
q(x) = x5 + x4 + x3 + 1 = (x + 1)2 (x3 + x2 + 1)
Obviamente, al reducir q(x) mdulo 2 nos debe quedar un polinomio reducible. Adems, la factorizacin que tenemos en Z[x] pasa a una factorizacin en Z2 [x]. Luego puede ocurrir que los factores
sean reducibles mdulo 2. En el caso que nos ocupa, uno de los factores (x2 + 2x + 3) es reducible
(x2 + 2x + 3 = x2 + 1 = (x + 1)2 ), mientras que el otro (x3 + x2 2x + 1 = x3 + x2 + 1) es irreducible.
Este mtodo, en principio slo puede ser aplicado cuando encontramos un primo p donde el polinomio
de partida es irreducible en Zp [x]. Sin embargo, profundicando un poco ms en la idea que subyace a este
criterio (toda factorizacin en Z[x] se mantiene al reducir el polinomio mdulo p) podemos afinar algo
ms a la hora de aplicar el criterio. Antes de explicar como funcionara veremos algunos ejemplos.
Ejemplo 2.3.15.
1.
Sea q(x) = x4 2x3 + 3x2 + x 1. Reducimos mdulo 2 y factorizamos:

x4 + x2 + x + 1 = (x + 1)(x3 + x2 + 1)
y en principio no podemos deducir nada. Reducimos entonces mdulo 3.
x4 + x3 + x + 2 = (x2 + 1)(x2 + x + 2)
y el polinomio resulta ser tambin reducible.
Ahora bien, si q(x) fuera reducible, la factorizacin suya se mantendra al reducir q(x) mdulo 2.
Puesto que en Z2 [x] se tiene que q(x) es producto de un polinomio de grado 1 por uno de grado 3
deducimos que si q(x) es reducible, entonces se factoriza como un polinomio de grado 1 por uno de
grado 3.
Pero tambin la factorizacin de q(x) se mantendra al reducirlo mdulo 3. Sin embargo, en Z3 [x],
el polinomio q(x) no tiene ninguna raz, luego no podemos tener una factorizacin de q(x) de la
forma (grado 1)(grado 3).
Deducimos entonces que q(x) es irreducible.
En este caso se dice que las factorizaciones de q(x) mdulo 2 y mdulo 3 son incompatibles.
2.

57
En el ejemplo precedente, una vez vista la factorizacin en Z2 [x] bastara comprobar que no tiene
races en Q. Puesto que q(1) = 2 y q(1) = 4 podemos deducir que q(x) es irreducible.
3.
Sea q(x) = x4 + 4x3 + 6x2 + x 4. Si reducimos mdulo 2 obtenemos:

x4 + x = x(x + 1)(x2 + x + 1)
mientras que al reducir mdulo 3 nos da
x4 + x3 + x + 2 = (x2 + 1)(x2 + x + 2)
En este caso tenemos dos factorizaciones distintas, sin embargo no son incompatibles, pues en ambos
casos tenemos una posible factorizacin (grado 2)(grado 2).
De hecho, este polinomio es reducible, pues x4 + 4x3 + 6x2 + x 4 = (x2 + 3x + 4)(x2 + x 1).
Definicin 29. Sea q(x) Z[x], y p un nmero primo tal que al reducir q(x) mdulo p no disminuye el
grado. Definimos el conjunto Dp (o Dp (q(x))) como el conjunto formado por los grados de los divisores
propios de q(x) en Zp [x].
Si p1 , , pk son nmeros primos, se define el conjunto Dp1 , ,pk como
Dp1 , ,pk = Dp1 Dpk
Ejemplo 2.3.16.
1.
Si q(x) = x4 2x3 + 3x2 + x 1 entonces D2 = {1, 3}, pues sus divisores son x + 1 y x3 + x2 + 1, que
tienen grados 1 y 3 respectivamente. Por otra parte, D3 = {2}, pues cualquier divisor suyo tiene
grado 2.
Por tanto se tiene que D2,3 = .
2.
Si q(x) = x4 + 4x3 + 6x2 + x 4 entonces D2 = {1, 2, 3}.

Son divisores de grado 1, x y x + 1.
Son divisores de grado 2, x(x + 1) y x2 + x + 1.
Son divisores de grado 3, x(x2 + x + 1) y (x + 1)(x2 + x + 1).
Mientras que D3 = {2}. Por tanto D2,3 = {2}.
Claramente se tiene que q(x) es irreducible en Zp [x] si, y slo si, Dp = .

Por otra parte, se tiene que si existen primos p1 , , pk tales que Dp1 , ,pk = entonces q(x) es
irreducible.
Por ltimo, decir que de este criterio nunca se podr deducir que un polinomio es irreducible. Como
ejemplo, decir que para q(x) = x4 + 1 se verifica que 2 Dp para cualquier primo p, y sin embargo q(x)
es irreducible (encuentra el por qu).
Salvo que un polinomio con coeficientes en Z tenga races, los criterios que hemos dado slo nos sirven
en el caso de que el polinomio sea irreducible (y no siempre). Existen mtodos y algoritmos que nos
permiten, dado un polinomio q(x) Z[x], encontrar su factorizacin como producto de irreducibles. Sin
embargo, estos mtodos se escapan de los objetivos de estas notas.
Factorizacin de polinomios en C[x]
Si q(x) C[x] es un polinomio de grado n, entonces el teorema fundamental del lgebra nos dice que
q(x) se puede factorizar en la forma
q(x) = a(x 1 )(x 2 ) (x n )
Jess Garca Miranda

donde 1 , 2 , , n C, y son las races de q(x). Sin embargo, en general no hay manera de encontrar
las races complejas de un polinomio.
Dicho de otra forma, los polinomios irreducibles complejos son nicamente los polinomios de grado 1.
58
Factorizacin de polinomios en R[x]

Los polinomios irreducibles reales son, bien los de grado 1, bien los de grado 2 que no tienen races
reales, es decir, los polinomios de la forma ax2 + bx + c con b2 < 4ac.
Si q(x) R[x] y C es una raz de q(x), entonces es tambin una raz de q(x) (donde denota
el conjugado de ).
Si = a+bi es una raz de q(x) y b 6= 0, entonces (x)|q(x) y (x)|q(x), luego (x)(x)|q(x).
Es fcil comprobar que (x )(x ) = (x a)2 + b2 , que es un polinomio con coeficientes reales e
irreducible.
Ejemplo 2.3.17. Sea q(x) = x3 1. Entonces = cos 3 + isen 3 es una raz de q(x). Fcilmente se
3
comprueba que = 1
+
i
2
2 .
Podemos ver que (x )(x ) = x2 + x + 1, luego (x2 + x + 1)|q(x). La factorizacin de q(x) como
producto de irreducibles es
x3 1 = (x 1)(x2 + x + 1) en R[x]
2.4.
x3 1 = (x 1)(x )(x ) en C[x]
Anillos cocientes de polinomios. Cuerpos finitos
Al igual que construimos los anillos Zn a partir de la relacin de congruencia en Z, vamos a construir
a continuacin, dado un cuerpo K, los anillos K[x]m(x) apoyndonos en la relacin de congruencias para
el caso de polinomios.
La definicin de congruencias con polinomios y sus propiedades son anlogas a las que se tenan con
los nmeros enteros.
Definicin 30. Sea K un cuerpo y a(x), b(x), m(x) K[x]. Se dice que a(x) es congruente con b(x)
mdulo m(x), y se escribe a(x) b(x)(md m(x)) si m(x)|(b(x) a(x)). Es decir:
a(x) b(x)(md m(x)) si existe c(x) K[x] tal que b(x) a(x) = c(x)m(x)
Ntese que la relacin de congruencia mdulo 0 es la relacin de igualdad (a(x) b(x)(md 0) si, y
slo si, a(x) = b(x)), mientras que si K entonces a(x) b(x)(md ) cualesquiera que sean a(x) y
b(x). Por tanto, nos centraremos en congruencias mdulo m(x) con m(x) un polinomio de grado mayor
o igual que 1.
Adems, se tiene que a(x) b(x)(md m(x)) si, y slo si, a(x) b(x)(md m(x)), donde K .
Por tanto, al hablar de congruencias mdulo m(x) podemos suponer que m(x) es un polinomio mnico.
Ejemplo 2.4.1. Sea m(x) = x2 + 2 Z3 [x]. Entonces:
x4 + 2x3 + x2 + x + 2 2x4 + x3 + 2x2 + 2x(md x2 + 2)
pues (2x4 + x3 + 2x2 + 2x) (x4 + 2x3 + x2 + x + 2) = (x2 + 2)(x2 + 2x + 2).
x4 + x3 + 2x2 + 1 6 x3 + x + 2(md x2 + 2)
ya que (x3 + x + 2) (x4 + x3 + 2x2 + 1) = 2x2 (x2 + 2) + (x + 1).
2.4. Anillos cocientes de polinomios. Cuerpos finitos

59
Proposicin 2.4.1. Sea m(x) K[x]. Entonces la relacin de congruencia mdulo m(x) es una relacin
de equivalencia.
La demostracin es igual a la que se hizo para congruencias en Z.
Para cada m(x) K[x] vamos a denotar por K[x]m(x) al conjunto cociente de K[x] por la relacin de
congruencia mdulo m(x). A la clase de equivalencia de un polinomio a(x) la denotaremos inicialmente
por [a(x)].
Al igual que en el caso de los nmeros enteros, se tiene que a(x) b(x)(md m(x)) si, y slo si,
a(x) md m(x) = b(x) md m(x) (es decir, dan el mismo resto al dividir por m(x)). A partir de aqu
puede verse que el conjunto K[x]m(x) est en biyeccin con los polinomios de K[x] de grado menor que
el de m(x), pues hay tantos elementos como posibles restos de la divisin por m(x).
Ejemplo 2.4.2.
1.
Vamos a calcular los elementos del conjunto Z2 [x](x2 +1) .

Sea p(x) Z2 [x]. Si dividimos p(x) entre x2 + 1, slo tenemos cuatro posibles restos, que son 0, 1,
x y x + 1, ya que el resto es de grado menor que 2. Tenemos entonces que
Z2 [x]x2 +1 = {[0], [1], [x], [x + 1]}
En la clase de equivalencia [0] estn todos los polinomios que dan resto cero al dividir por x2 + 1,
es decir, todos los mltiplos de x2 + 1, por ejemplo, 0, x2 + 1, x3 + x, x4 + 1, etc.; en la clase [1]
estn los polinomios que al dividir por x2 + 1 dan resto 1, como por ejemplo, 1, x2 , x3 + x + 1, x4 ,
etc.
2.
El conjunto Z2 [x]x2 +x+1 tiene tambin cuatro elementos, que son [0], [1], [x] y [x + 1]. Sin embargo, aunque se representen igual que los de Z2 [x]x2 +1 , los conjuntos Z2 [x]x2 +x+1 y Z2 [x]x2 +1 son
distintos, pues en cada uno [0], [1], [x] y [x + 1] representa cosas diferentes.
As, por ejemplo, en Z2 [x]x2 +x+1 se tiene que [x2 + x] = [1], mientras que en Z2 [x]x2 +1 , [x2 + x] =
[x + 1].
3.
El conjunto Z2 [x]x3 +x2 +x+1 tiene ocho elementos, mientras que Z3 [x]x2 +1 tiene nueve. Determnalos
en ambos casos.
Al igual que ocurra con los conjuntos Zm , en los conjuntos que hemos construdo, K[x]m(x) , tambin tenemos definidas las operaciones suma y producto. Para definirlas es necesario un lema, cuya
demostracin es anloga a la que se hizo del lema 1.6.1
Lema 2.4.1. Sean a(x), b(x), c(x), d(x), m(x) K[x]. Entonces:
a(x) c(x)(md m(x))

1.
= a(x) + b(x) c(x) + d(x)(md m(x))
b(x) d(x)(md m(x))
a(x) c(x)(md m(x))

2.
= a(x)b(x) c(x)d(x)(md m(x))
b(x) d(x)(md m(x))
Y con este lema podemos ya definir las operaciones suma y producto
Definicin 31. Sean a(x), b(x) K[x] y m(x) K[x] mnico y no constante. Se definen en K[x]m(x)
las operaciones:
[a(x)] + [b(x)] = [a(x) + b(x)]
[a(x)][b(x)] = [a(x)b(x)]
Jess Garca Miranda
60

Como era de esperar, la definicin hecha no depende de los representantes elegidos.
Ejemplo 2.4.3. Supongamos que estamos trabajando en Z3 [x]x2 +1 .

[x + 2] + [x + 1] = [2x]
[x + 2][x + 1] = [x2 + 2] = [1]
Puesto que [x + 2] = [x2 + x] y [x + 1] = [2x2 + x] podamos haber efectuado las operaciones anteriores
[x2 + x] + [2x2 + x] = [3x2 + 2x] = [2x]
[x2 + x][2x2 + x] = [2x4 + x2 ] = [1], ya que 2x4 + x2 = (x2 + 1)(2x2 + 2) + 1.
Y los resultados coinciden, como no poda ser de otra forma.
De ahora en adelante, si a K K[x], denotaremos por a a la clase de equivalencia [a] K[x]m(x) ,
mientras que denotaremos por a la clase de equivalencia [x].
Ntese que siguiendo esta notacin, dado ak xk + +a1 x+a0 K[x] el elemento [ak xk + +a1 x+a0 ]
se representa como ak k + + a1 + a0 . Dicho de otra forma, [p(x)] se representa como p().
Ntese tambin que con esta notacin se verifica que m() = 0, pues m() = [m(x)] = [0]. Adems,
esta condicin es suficiente para realizar las operaciones en K[x]m(x)
K[x]m(x) = {p() : p(x) K[x]; m() = 0}
Ejemplo 2.4.4.
1.
En el conjunto Z2 [x]x3 +x+1 vamos a multiplicar [x2 + x + 1] y [x2 + 1]. Podemos proceder de dos
formas:
a)
Multiplicamos los dos polinomios:

[x2 + x + 1][x2 + 1] = [x4 + x3 + x + 1].
Dividimos x4 + x3 + x + 1 entre x3 + x + 1. x4 + x3 + x + 1 = (x3 + x + 1)(x + 1) + x2 + x.
Por tanto [x2 + x + 1][x2 + 1] = [x2 + x].
b)
(2 + + 1)(2 + 1) = 4 + 3 + + 1.
Puesto que 3 + + 1 = 0 deducimos que 3 = + 1, luego 4 = 2 + . Por tanto
(2 + + 1)(2 + 1) = 4 + 3 + + 1 = (2 + ) + ( + 1) + + 1 = 2 +
En los dos casos se obtiene el mismo resultado.

2.
Z2 [x]x2 +1 = {0, 1, , + 1 : 2 + 1 = 0}, o si preferimos:

Z2 [x]x2 +1 = {0, 1, , + 1 : 2 = 1}
Proposicin 2.4.2. Sea m(x) k[x] mnico y no constante. Las operaciones suma y producto en
K[x]m(x) verifican las siguientes propiedades:
i) p() + (q() + r()) = (p() + q()) + r()
ii) p() + q() = q() + p()
iii) p() + 0 = p()
iv) Para cada p() K[x]m(x) existe q() K[x]m(x) tal que p() + q() = 0.
v) p()(q()r()) = (p()q())r()
vi) p()q() = q()p()
vii) p()1 = p()

viii) p()(q() + r()) = p()q() + p()r()
61
Estas propiedades nos dicen que K[x]m(x) es un anillo conmutativo.

Ejemplo 2.4.5.
1.
Consideramos el anillo Z2 [x]x3 +1 . Vamos a escribir las tablas de sumar y multiplicar de dicho anillo.
Antes de ello, enumeramos sus elementos
Z2 [x]x3 +1 = {0, 1, , + 1, 2 , 2 + 1, 2 + , 2 + + 1}
0
1
+1
2
2 + 1
2 +
2 + + 1
0
1
+1
2
2 + 1
2 +
2 + + 1
1
0
+1
2 + 1
2
2 + + 1
2 +
+1
+1
0
1
2 +
2
++1
2
2 + 1
+1
1
0
2 + + 1
2
+
2 + 1
2
2 + 1
2 +
2 + + 1
0
1
+1
2 + 1
2 +
+1
2
2 + + 1
2 +
1
0
+1
2 + + 1
+
2 + + 1
2
2 + 1
+1
0
1
2 + + 1
2 +
2 + 1
2
+1
1
0
Para realizar la tabla del producto tenemos en cuenta que 3 + 1 = 0, es decir, 3 = 1.
0
1
+1
2
2
+1
2 +
2 + + 1
0
0
0
0
0
0
0
0
0
1
0
1
+1
2
2
+1
2 +
2 + + 1
2
2
+
1
+1
2 + 1
2
++1
+1
0
+1
2 +
2 + 1
2 + 1
2 +
+1
0
2
0
2
1
2 + 1
2 +
+1
2 + + 1
2 + 1
0
2 + 1
+1
2 +
2 +
+1
2 + 1
0
2 +
0
2 +
2 + 1
+1
+1
2 + 1
2 +
0
2 + + 1
0
2 + + 1
2 + + 1
0
2 + + 1
0
0
2 + + 1
Donde algunas de las casillas se han completado como sigue:

2 = 3 = 1
(2 + 1)(2 + + 1) = 4 + 3 + 2 + 2 + + 1 = + 1 + 2 + 2 + + 1 = 0
Donde se ha tenido en cuenta que 4 = 3 = .
(2 + 1)(2 + 1) = 4 + 22 + 1 = + 1.
2.
Vamos a dar ahora la tabla de multiplicar de Z3 [x]x2 +1 . Los elementos son ahora
Z3 [x]x2 +1 = {0, 1, 2, , + 1, + 2, 2, 2 + 1, 2 + 2}
0
1
2
+1
+2
2
2 + 1
2 + 2
0
0
0
0
0
0
0
0
0
0
1
0
1
2
+1
+2
2
2 + 1
2 + 2
2
0
2
1
2
2 + 2
2 + 1
+2
+1
2
2
+2
2 + 2
1
+1
2 + 1
+1
0
+1
2 + 2
+2
2
1
2 + 1
2
Jess Garca Miranda
+2
0
+2
2 + 1
2 + 2
1
+1
2
2
2
0
2
1
2 + 1
+1
2
2 + 2
+2
2 + 1
0
2 + 1
+2
+1
2
2
2 + 2
2 + 2
0
2 + 2
+1
2 + 1
2
+2
1
2

Proposicin 2.4.3. Sea K un cuerpo, m(x) K[x] no constante y p() K[x]m(x) . Entonces:
62
p() es una unidad si, y slo si, mcd(p(x), m(x)) = 1.

p() es un divisor de cero si, y slo si, mcd(p(x), m(x)) 6= 1.
Demostracin:
La demostracin de la primera parte es anloga a la demostracin de la proposicin 1.6.3
En cuanto a la segunda, si p() es un divisor de cero, entonces p() no es una unidad (por qu?),
luego mcd(p(x), m(x)) 6= 1.
Recprocamente, si mcd(p(x), m(x)) 6= 1, consideramos q(x) = m(x)
d(x) donde d(x) = mcd(p(x), m(x)).
Entonces gr(q(x)) < gr(m(x)), lo que implica que q() 6= 0, y puesto que p(x)q(x) es mltiplo de m(x)
ya que
m(x)
p(x)
p(x)q(x) = p(x)
=
m(x)
d(x)
d(x)
se verifica que p()q() = 0.
Ejemplo 2.4.6. En Z2 [x] se verifica que mcd(x2 + 1, x3 + 1) = x + 1. Por tanto, 2 + 1 es un divisor de

cero en Z2 [x]x3 +1 . Adems, para encontrar un elemento que al multiplicarlo por l nos de cero, calculamos
x3 +1
2
2
2
x+1 . Ese cociente vale x + x + 1. Deducimos entonces que ( + 1)( + + 1) = 0, como podemos ver
en el ejemplo anterior.
A partir de la proposicin anterior se deduce fcilmente que si m(x) es un polinomio irreducible en
K[x], entonces K[x]m(x) es un cuerpo. Si m(x) es un polinomio irreducible de grado n en Zp [x] entonces
Zp [x]m(x) es un cuerpo con pn elementos.
Por otra parte, si K es un cuerpo con un nmero finito de elementos, entonces su caracterstica es un
nmero primo p. En tal caso se tiene que Zp K, lo que implica que K es un Zp -espacio vectorial. Si
n = dimZp (K) entonces K tiene pn elementos.
Es decir, por una parte hemos visto que el nmero de elementos de un cuerpo finito es una potencia
de un primo. Por otra parte, hemos visto como, dado un nmero primo p y un nmero natural n podemos
construir un cuerpo con pn elementos. Basta encontrar un polinomio irreducible de grado n en Zp [x]. Hay
un teorema que nos asegura la existencia de polinomios irreducibles de cualquier grado en Zp [x].
La existencia de varios polinomios irreducibles de un mismo grado en Zp [x] dara lugar, en principio, a
distintos cuerpos con pn elementos. Sin embargo, todos los cuerpos con el mismo cardinal son isomorfos,
en el sentido que vamos a explicar a continuacin.
Ejemplo 2.4.7.
1.
Hemos visto que Z3 [x]x2 +1 es un cuerpo con nueve elementos, cuya tabla del producto calculamos
en el ejemplo 2.4.5. Puesto que x2 + x + 2 es tambin un polinomio irreducible en Z3 [x] tenemos que
Z3 [x]x2 +x+2 es tambin un cuerpo con nueve elementos. Si llamamos al elemento [x], entonces
la tabla del producto de este cuerpo es:
(Z3 [x]x2 +x+2 , )
0
1
2
+1
+2
2
2 + 1
2 + 2
0
0
0
0
0
0
0
0
0
0
1
0
1
2
+1
+2
2
2 + 1
2 + 2
2
0
2
1
2
2 + 2
2 + 1
+2
+1
2
2 + 1
1
+1
+2
2 + 2
2
+1
0
+1
2 + 2
1
+2
2
2
2 + 1
+2
0
+2
2 + 1
+1
2
2
2 + 2
1
2
0
2
+2
2
2 + 2
2 + 1
+1
1
2 + 1
0
2 + 1
+2
2 + 2
1
+1
2
2
2 + 2
0
2 + 2
+1
2
2 + 1
1
2
+2

63
donde se ha usado que 2 = 2 + 1, relacin que se deduce de 2 + + 2 = 0 (es decir, m() = 0).
Si ahora hacemos el cambio = + 2, es decir, = + 1, la tabla nos quedara
(Z3 [x]x2 +x+2 , )

0
1
2
+1
+2
2 + 2
2
2 + 1
0
0
0
0
0
0
0
0
0
0
1
0
1
2
+1
+2
2 + 2
2
2 + 1
2
0
2
1
2 + 2
2 + 1
2
+1
+2
+1
0
+1
2 + 2
2
1
+2
2 + 1
2
+2
0
+2
2 + 1
1
2 + 2
2
+1
2
2
+2
2 + 2
2
2 + 1
1
+1
2 + 2
0
2 + 2
+1
2
2 + 1
2
+2
1
2
0
2
2 + 1
+1
1
+2
2
2 + 2
2 + 1
0
2 + 1
+2
2
2
+1
1
2 + 2
Si comparamos esta tabla con la que obtuvimos para Z3 [x]x2 +1 vemos que es exactamente la misma
(salvo el orden de las filas y columnas). Vemos entonces que los cuerpos Z3 [x]x2 +1 y Z3 [x]x2 +x+2
son iguales, o ms precisamente, son isomorfos.
De hecho, lo nico que diferencia a los cuerpos Z3 [x]x2 +1 y Z3 [x]x2 +x+2 es, aparte del camino para
obtenerlos, el nombre que se le ha dado a los elementos. Lo que en un cuerpo se llama en el otro
se llama + 2. Una vez hecha la correcta correspondencia entre los elementos de uno y del otro, se
opera de igual forma en un caso y en el otro.
Nota:Dados dos cuerpos K y K 0 , se dice que son isomorfos si existe una aplicacin f : K K 0
satisfaciendo:
a)
f preserva la suma, es decir, f (a + b) = f (a) + f (b).
b)
f preserva el producto, es decir, f (ab) = f (a)f (b).
c)
f es biyectiva.
f es lo que se llama un isomorfismo de cuerpos.

En el caso de K = Z3 [x]x2 +x+2 y K 0 = Z3 [x]x2 +1 , la aplicacin f : K K 0 dada por
0 7 0
+ 2 7
1 7 1
2 7 2
2 7 2 + 2
7 + 1
2 + 1 7 2
+ 1 7 + 2
2 + 2 7 2 + 1
es un isomorfismo de cuerpos. Obviamente, este isomorfismo queda totalmente determinado por

7 + 1.
2.
Nos situamos en el cuerpo de los nmeros reales. Entonces el polinomio x2 + 1 es irreducible,

luego R[x]x2 +1 es un cuerpo. Si llamamos i al elemento [x], entonces se tiene que los elementos de
R[x]x2 +1 son de la forma a + bi, donde a, b R. Adems, i2 + 1 = 0, es decir, i2 = 1.
Por tanto,
R[x]x2 +1 = {a + bi : a, b R; i2 = 1}
luego el cuerpo obtenido resulta ser igual (o isomorfo) a C.
Dado p es un nmero primo y n es un nmero natural no nulo, denotaremos como Fpn al nico cuerpo
que existe con pn elementos. As, por ejemplo, F4 = Z2 [x]x2 +x+1 y F9 = Z3 [x]x2 +1 . Obviamente, Fp = Zp
para cualquier primo p.
Jess Garca Miranda
64
2.5.
Sistemas de congruencias de polinomios
Al igual que se hizo con los nmeros enteros, nos planteamos encontrar todos los polinomios p(x)
K[x] que verifican la relacin
a(x)p(x) b(x)(md m(x))
con a(x), b(x), m(x) K[x].
Un polinomio q(x) K[x] para el que se verifique que a(x)q(x) b(x)(md m(x)) es una solucin de
la congruencia.
Dos congruencias de la forma a1 (x)p(x) b1 (x)(md m1 (x)) y a2 (x)p(x) b2 (x)(md m2 (x)) son
equivalentes si toda solucin de la primera es solucin de la segunda y viceversa.
La forma de resolver estas congruencias es anloga a la que seguamos para resolverlas en Z. Transformamos (si es posible) la congruencia a(x)p(x) b(x)(md m(x)) en otra equivalente de la forma
p(x) c(x)(md n(x)), cuyas soluciones son
p(x) = c(x) + q(x)n(x) :
q(x) K[x]
Los resultados necesarios para resolver estas congruencias son:

1. Si a1 (x) a2 (x)(md m(x)) y b1 (x) b2 (x)(md m(x)) entonces las congruencias a1 (x)p(x)
b1 (x)(md m(x)) y a2 (x)p(x) b2 (x)(md m(x)) son equivalentes.
2. Si d(x) es un divisor comn de a(x), b(x) y m(x), las congruencias
a(x)
b(x)
m(x)
p(x)
(md
)
d(x)
d(x)
d(x)

son equivalentes.
3. Si mcd(m(x), c(x)) = 1 entonces las congruencias
c(x)a(x)p(x) c(x)b(x)(md m(x))
son equivalentes.
Proposicin 2.5.1. Sea K un cuerpo, y a(x), b(x), m(x) K[x] tales que gr(m(x)) 1. Entonces
tiene solucin si, y slo si, mcd(a(x), m(x))|b(x).
Para resolver congruencias de la forma a(x)p(x) b(x)(md m(x)) podemos proceder como sigue:
Reducimos a(x) y b(x) mdulo m(x).
Se comprueba si mcd(a(x), m(x))|b(x). Si la respuesta es negativa, entonces la congruencia no tiene
solucin. Si la respuesta es afirmativa, podemos dividir toda la congruencia por mcd(a(x), m(x)).
Hemos transformado la congruencia en una de la forma a(x)p(x) b(x)(md m(x)), pero ahora se
tiene que mcd(a(x), m(x)) = 1.
Buscamos el inverso de [a(x)] en K[x]m(x) . Supongamos que es [u(x)].
Multiplicamos ambos miembros de la congruencia por u(x). Obtenemos as una congruencia equivalente, y sta adopta la forma p(x) c(x)(md m(x)).
Con esto ya hemos resuelto la congruencia. Las soluciones son p(x) = c(x) + q(x)m(x) : q(x) K[x].
2.5. Sistemas de congruencias de polinomios

Ejemplo 2.5.1. Vamos a resolver en Z11 [x] la congruencia
65
(x2 + 6x + 9)p(x) 3x3 + 7x2 + 9x + 2(md x3 + 5x2 + 10x + 3)

Reducimos mdulo x3 + 5x2 + 10x + 2.
(x2 + 6x + 9)p(x) 3x2 + x + 4(md x3 + 5x2 + 10x + 3)
Hallamos el mximo comn divisor de x2 + 6x + 9 y x3 + 5x2 + 10x + 3.
x3 + 5x2 + 10x + 3
x2 + 6x + 9
x2 + 6x + 9
7x + 1
7x + 1
3
x + 10
8x + 6
Puesto que este mximo comn divisor vale 1 hallamos el inverso de x2 + 6x + 9 mdulo x3 + 5x2 +
10x + 3.
x3 + 5x2 + 10x + 3
x2 + 6x + 9
x2 + 6x + 9
7x + 1
7x + 1
3
1
x + 10
8x + 6
0
1
10x + 1
8x2 + 9x + 6
10x2 + 3x + 2
Multiplicamos por 10x2 + 3x + 2.

(10x4 + 8x3 + 6x + 7)p(x) 8x4 + 8x3 + 5x2 + 3x + 8(md x3 + 5x2 + 10x + 3)
Reducimos mdulo x3 + 5x2 + 10x + 3.
p(x) 8x2 + 2x + 5(md x3 + 5x2 + 10x + 3)
Luego la solucin es
p(x) = 8x2 + 2x + 5 + c(x)(x3 + 5x2 + 10x + 3) :
c(x) Z11 [x]
En lo referente a un sistema de congruencias se tiene tambin el teorema chino del resto.

Teorema 2.5.1. Sean a1 (x), , ak (x) K[x] y sean m1 (x), , mk (x) K[x] tales que mcd(mi (x), mj (x)) =
1. Entonces el sistema
p(x) a1 (x)(md m1 (x))
p(x) a2 (x)(md m2 (x))
p(x) ak (x)(md mk (x))

tiene solucin. Adems, si a(x) es una solucin, el sistema es equivalente a la congruencia
p(x) a(x)(md M (x))
donde M (x) =
k
Q
i=1
mi (x).
Sin embargo, a la hora de resolver sistemas de congruencias, procederemos a resolverlo progresivamente. Resolvemos la primera congruencia; introducimos esta solucin en la segunda congruencia y la
resolvemos; y as sucesivamente. De esta forma, no estamos sujetos a que se satisfagan las hiptesis del
teorema chino. Veamos un ejemplo.
Ejemplo 2.5.2. Vamos a resolver el sistema de congruencias en Z5 [x].
p(x) x + 2(md x2 + 1)
(x + 1)p(x) x2 + 1(md x3 + 2x2 + 2)
x2 p(x) 3x + 2(md x2 + x + 1)
Jess Garca Miranda
66

Resolvemos la primera congruencia:
p(x) = x + 2 + (x2 + 1)q1 (x).
Introducimos esta solucin en la segunda congruencia.
(x + 1)(x + 2 + (x2 + 1)q1 (x)) x2 + 1(md x3 + 2x2 + 2)
x2 + 3x + 2 + (x3 + x2 + x + 1)q1 (x) x2 + 1(md x3 + 2x2 + 2)
(x3 + x2 + x + 1)q1 (x) 2x + 4(md x3 + 2x2 + 2)
(4x2 + x + 4)q1 (x) 2x + 4(md x3 + 2x2 + 2)
A continuacin calculamos el inverso de 4x2 + x + 4 mdulo x3 + 2x2 + 2.
x3 + 2x2 + 2
4x2 + x + 4
4x2 + x + 4
2x + 4
2x + 4
3
1
4x + 2
2x + 4
0
1
x+3
3x2 + 4
x2 + 3
Multiplicamos entonces por x2 + 3

q1 (x) (x2 + 3)(2x + 4)(md x3 + 2x2 + 2)
q1 (x) 2x3 + 4x2 + x + 2(md x3 + 2x2 + 2)
q1 (x) x + 3(md x3 + 2x2 + 2)
Luego q1 (x) = x+3+q2 (x)(x3 +2x2 +2) y por tanto p(x) = x3 +3x2 +2x+q2 (x)(x5 +2x4 +x3 +4x2 +2)
Introducimos esta solucin en la tercera congruencia, y operamos:
x2 (x3 + 3x2 + 2x) + x2 (x5 + 2x4 + x3 + 4x2 + 2)q2 (x) 3x + 2(md x2 + x + 1)
(x7 + 2x6 + x5 + 4x4 + 2x2 )q2 (x) 4x5 + 2x4 + 3x3 + 3x + 2(md x2 + x + 1)
(2x + 4)q2 (x) x + 1(md x2 + x + 1)
Calculamos el inverso de 2x + 4 mdulo x2 + x + 1, y resulta ser 4x + 1. Multiplicamos entonces por
este polinomio.
q2 (x) (x + 1)(4x + 1)(md x2 + x + 1)
q2 (x) 4x2 + 1(md x2 + x + 1)
q2 (x) x + 2(md x2 + x + 1)
Por tanto, se tiene que q2 (x) = x + 2 + q(x)(x2 + x + 1). Introducimos este valor en lo que ya tenamos
para p(x) y nos queda:
p(x) = x3 + 3x2 + 2x + [x + 2 + (x2 + x + 1)q(x)](x5 + 2x4 + x3 + 4x2 + 2)
es decir
p(x) = x6 + 4x5 + x3 + 3x2 + 2x + 4 + (x7 + 3x6 + 4x5 + 2x4 + x2 + 2x + 2)q(x)
Un caso particularmente interesante es cuando queremos resolver un sistema de congruencias donde
todos los mdulos son polinomios mnicos (de la forma x a). Para resolver este tipo de sistemas de
2.5. Sistemas de congruencias de polinomios

congruencias es importante tener en cuenta que se verifica que
67
q(x) q(a)(md x a)
luego, para reducir un polinomio mdulo x a basta con evaluar el polinomio en a.
Por otra parte, el inverso de q(x) mdulo x a es q(a)1 (este ltimo calculado en K).
Por ltimo, decir que encontrar un polinomio p(x) que satisfaga la congruencia p(x) b(md x a)
es equivalente a encontrar un polinomio que verifique que p(a) = b.
Nos planteamos entonces el siguiente problema:
Dados a0 , a1 , , am K todos distintos, y b0 , b1 , , bm K, encontrar un polinomio
p(x) K[x] tal que p(ai ) = bi .
Este problema se conoce como problema de interpolacin y un polinomio solucin se dice que es un
polinomio interpolador.
Para resolverlo, planteamos el siguiente sistema de congruencias:
p(x) b0 (md x a0 )
p(x) b0 (md x a0 )
p(x) bm (md x am )
Cada una de las soluciones de este sistema ser un polinomio interpolador.
Puesto que mcd(x ai , x aj ) = 1 para i 6= j deducimos, a partir del teorema chino, que este sistema
m
Q
tiene solucin. Adems, la solucin es nica mdulo
(x ai ). Puesto que este polinomio tiene grado
i=0
m + 1, deducimos que existe siempre un polinomio de grado menor o igual que m que interpola m + 1
datos.
Ejemplo 2.5.3. Vamos a encontrar un polinomio en Z7 [x] que satisfaga que p(1) = 2, p(2) = 5, p(4) = 6
y p(5) = 5.
Para ello, planteamos el sistema de congruencias
p(x) 2(md
p(x) 5(md
p(x) 6(md
p(x) 5(md
x + 6)
x + 5)
x + 3)
x + 2)
y procedemos a resolverlo como siempre:

Hallamos la solucin de la primera congruencia
p(x) = 2 + (x + 6)q1 (x)
Introducimos esta solucin en la segunda congruencia y operamos.
2 + (x + 6)q1 (x) 5(md x + 5)
(x + 6)q1 (x) 3(md x + 5)
q1 (x) 3(md x + 5)
q1 (x) = 3 + q2 (x)(x + 5)
Luego resulta que p(x) = 2 + (x + 6)[3 + q2 (x)(x + 5)] = 3x + 6 + (x + 6)(x + 5)q2 (x).
Continuamos introduciendo esta solucin en la tercera congruencia.
3x + 6 + (x + 6)(x + 5)q2 (x) 6(md x + 3)
Jess Garca Miranda

(x + 6)(x + 5)q2 (x) 4x(md x + 3)
68
6q2 (x) 2(md x + 3)

q2 (x) 5(md x + 3)
q2 (x) = 5 + q3 (x)(x + 3)
Por tanto, p(x) = 3x + 6 + (x + 6)(x + 5)[5 + q3 (x)(x + 3)] = 5x2 + 2x + 2 + (x + 6)(x + 5)(x + 3)q3 (x).
5x2 + 2x + 2 + (x + 6)(x + 5)(x + 3)q3 (x) 5(md x + 2)
(x + 6)(x + 5)(x + 3)q3 (x) 2x2 + 5x + 3(md x + 2)
5q3 (x) 1(md x + 2)
q3 (x) 3(md x + 2)
q3 (x) = 3 + q(x)(x + 2)
Nos queda entonces que p(x) = 5x2 + 2x + 2 + (x + 6)(x + 5)(x + 3)[3 + (x + 2)q(x)], es decir,
p(x) = 3x3 + 5x2 + 2x + 6 + (x + 6)(x + 5)(x + 3)(x + 2)q(x)
luego una solucin es p(x) = 3x3 + 5x2 + 2x + 6.
Basndonos en esta idea podemos disear un algoritmo que calcule un polinomio que interpole unos
datos dados. El polinomio interpolador obtenido se denomina polinomio de interpolacin de Newton. Por
tanto, denominaremos al algoritmo como NEWTON.
Algoritmo NEWTON(m, a0 , b0 , a1 , b1 , , am , bm )
Entrada:
mN
a0 , b0 , a1 , b1 , , am , bm K
Salida: p(x) K[x]. p(ai ) = bi y gr(p(x)) n
p(x) := b0
q(x) := x a0
Desde i = 1 hasta m
p(x) := p(x) + q(ai )1 (bi p(ai )) q(x)
q(x) := q(x) (x ai )
Devuelve p(x)
Fin
Veamos como resover el ejemplo anterior haciendo uso de este algoritmo.
i
ai
bi
q(ai )
q(ai )1
p(ai )
bi p(ai )
1
2
3
2
4
5
5
6
5
1
6
5
1
6
3
2
4
4
3
2
1
p(x)
2
3x + 6
5x2 + 2x + 2
3
3x + 5x2 + 2x + 6
q(x)
x+6
x2 + 4x + 2
x3 + 6
4
x + 2x3 + 6x + 5
Luego el polinomio interpolador es p(x) = 3x3 + 5x2 + 2x + 6. Todos los polinomios que satisfacen las
condiciones dadas adoptan la forma:
p(x) = 3x3 + 5x2 + 2x + 6 + c(x)(x4 + 2x3 + 6x + 5) :
c(x) Z7 [x]

Polinomios

Cargado por

Copyright:

Formatos disponibles

Polinomios

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Polinomios

Cargado por

Copyright:

Formatos disponibles

Captulo 2

El anillo de polinomios sobre un cuerpo

Definicin 13. Sea A un anillo. Se define la caracterstica de A como sigue:

EL ANILLO DE POLINOMIOS SOBRE UN CUERPO

Ejemplo 2.0.2. La caracterstica de Z, Q, R y C vale cero, mientras que la caracterstica de Zn vale n.

Un elemento a A se dice divisor de cero, si existe b A, b 6= 0, tal que a b = 0.

Denotaremos por U(A) al conjunto de las unidades del anillo A.

En cualquier anillo, a = 0 es un divisor de cero (pues 0 1 = 0, es decir, basta tomar b = 1) y u = 1

Si un elemento u A es una unidad, entonces existe nicamente un elemento v A tal que uv = 1.

U(Z) = {1, 1}, U(Q) = Q , U (R) = R , U (C) = C .

Un elemento a Zn es unidad si, y slo si, mcd(a, n) = 1, como comprobamos en el captulo

Si u y v son unidades de un anillo conmutativo A, entonces uv es unidad de A y (uv)1 = u1 v 1

Definicin 15. Sea A un anillo conmutativo.

Son dominios de integridad Z, Q, R, C y Zp cuando p es un nmero primo.

2.1. Generalidades sobre polinomios

Todo cuerpo es un dominio de integridad, pero el recproco no es cierto (Z).

Se deja como ejercicio demostrar que si A es un dominio de integridad, entonces su caracterstica, o

Generalidades sobre polinomios

Sean p(x) = am xm + + a1 x + a0 y q(x) = bn xn + + b1 x + b0 dos elementos de A[x], y

Sea k N, p(x) = am xm + + a1 x + a0 , q(x) = bk xk A[x] (si k = 0 entonces q(x) = b0 ). Se

EL ANILLO DE POLINOMIOS SOBRE UN CUERPO

= p(x) (6x2 ) + p(x) (5x) + p(x) 4

Normalmente, para efectuar la multiplicacin dispondremos los datos de la siguiente forma:

luego el resultado final es 4x4 + 5x3 + 5x2 + x.

2.1. Generalidades sobre polinomios

El polinomio x3 + 3x2 + 2x + 2 Z5 [x] determina la aplicacin Z5 Z5 siguiente:

El polinomio x2 + x + 1 Z2 [x] determina la aplicacin

es decir, la aplicacin constante 1.

EL ANILLO DE POLINOMIOS SOBRE UN CUERPO

Mximo comn divisor y mnimo comn mltiplo

En Z2 [x] se verifica que (x + 1)|(x2 + 1), ya que x2 + 1 = (x + 1)(x + 1).

En Z3 [x] se verifica que (x + 1) 6 |(x2 + 1), pues si x2 + 1 = (x + 1) c(x), entonces gr(c(x)) = 1,

Para cualquier p(x) A[x] se verifica que 1|p(x) y p(x)|0.

Si p(x)|q(x) y q(x)|p(x) entonces existe a K tal que q(x) = a p(x).

Si p(x)|q(x) y q(x)|r(x) entonces p(x)|r(x).

Si p(x)|q(x) y p(x)|r(x) entonces p(x)|(q(x) + r(x)).

Si p(x)|q(x) entonces p(x)|q(x) r(x).

2.2. Mximo comn divisor y mnimo comn mltiplo

EL ANILLO DE POLINOMIOS SOBRE UN CUERPO

g(ab) g(a) para b 6= 0

En Z3 [x], se verifica que:

2.2. Mximo comn divisor y mnimo comn mltiplo

La demostracin se deja como ejercicio.

Ejemplo 2.2.5. Vamos a hallar el cociente y el resto de la divisin de x5 + x4 + x3 + 2x2 + 1 entre x 2

EL ANILLO DE POLINOMIOS SOBRE UN CUERPO

es decir, el cociente es x4 + x2 + x + 2 y el resto es 2.

Si c(x)|p(x) y c(x)|q(x) entonces c(x)|d(x).

2.2. Mximo comn divisor y mnimo comn mltiplo

Ejemplo 2.2.7. Vamos a calcular en Q[x] el mximo comn divisor de x3 x + 3 y x3 + x2 + 1.

EL ANILLO DE POLINOMIOS SOBRE UN CUERPO

El teorema de Bezout se tiene tambin en el caso de los polinomios.

Vamos a expresar mcd(x3 x + 3, x3 + x2 + 1) en funcin de los polinomios x3 x + 3 y x3 + x2 + 1.

Ntese que se verifica que

Sean p(x) = x5 + 2x4 + x2 + 2x + 2, q(x) = x5 + 2x3 + x2 + x + 1 Z3 [x]. Vamos a calcular su

Luego mcd(x5 + 2x4 + x2 + 2x + 2, x5 + 2x3 + x2 + x + 1) = x2 + 1 y

2.2. Mximo comn divisor y mnimo comn mltiplo

luego mcd(x5 + 2x3 + 2, x5 + 2x4 + 2x3 + 1) = 2(2x2 + 2x + 1) = x2 + x + 2, y como x4 + 2x2 + 2x + 2 =

Jess Garca Miranda

EL ANILLO DE POLINOMIOS SOBRE UN CUERPO