Polinomios

Luis Ángel Zaldívar Cruz

Departamento de Ciencias Básicas
Instituto Tecnológico de Tehuacán

11 de septiembre de 2016

En este tema nos embarcaremos en el estudio formal de los polinomios,

utilizando la teoría del álgebra moderna. El álgebra moderna estudia los objetos
algebraicos tales como los grupos, anillos, campos, espacios vectoriales y álgebras
lineales. Someramente construiremos y examineramos algunos de estos sistemas.

1. Anillos conmutativos; dominios enteros

El sistema más fundamental es el sistema matemático más viejo–el que con-
siste de todos los enteros positivos. Un sistema relacionado más grande es el
conjunto Z de todos los enteros 0, ±1, ±2, ±3, · · · . Comenzaremos nuestro estu-
dio con este sistema debido a que se asemeja más a los sistemas que surgen en
el álgebra moderna.
Los enteros tienen muchas propiedades algebraicas interesantes. Asumire-
mos algunas de estas propiedades–especialmente las obvias–como postulados,
y partiendo de estos postulados deduciremos muchas otras propiedades como
consecuencias lógicas.
Primero asumimos ocho postulados para la adición y la multiplicación. Estos
postulados se cumplen no sólo por los enteros, sino también por otros sistemas de
números, tales como los números racionales (fracciones de enteros), los números
reales y los números complejos. Estos postulados también son satisfechos por
los polinomios y por las funciones reales continuas en cualquier intervalo dado.
Cuando estos ocho postulados se cumplen en un sistema R, diremos que R es
un anillo conmutativo.
Definición 1. Sea R un conjunto de elementos a, b, c, . . . para los que la suma
a + b y el producto ab de cualquier par de elementos a y b (distintos o no) de R
están definidos. Entonces R se denomina un anillo conmutativo si los postulados
siguientes se cumplen:
1. Clausura. Si a y b están en R, entonces la suma a + b y el producto ab
están en R.

1
 2. Unicidad. Si a = a0 y b = b0 en R, entonces

a + b = a0 + b0 y ab = a0 b0 .

3. Leyes conmutativas. Para todo a y b en R,

a + b = b + a, ab = ba.

4. Leyes asociativas. Para todo a, b y c en R,

a + (b + c) = (a + b) + c, a(bc) = (ab)c.

5. Ley distributiva. Para todo a, b y c en R,

a(b + c) = ab + ac.

6. Cero. R contiene un elemento denotado por 0 tal que

a + 0 = a, para todo a en R.

7. Unidad. R contiene un elemento 1 6= 0 tal que

a 1 = a, para todo a en R.

8. Inverso aditivo. Para cada a en R, la ecuación a + x = 0 tiene una solución

x en R.
Es un hecho conocido que el conjunto Z de todos los enteros satiface estos
postulados. Por ejemplo, las leyes conmutativa y asociativa para la adición son
tan familiares que son utilizadas sin mención específica: así a + b + c habitual-
mente denota la igualdad de los números a + (b + c) y (a + b) + c. La propiedad
del cero establecida en (6) es la propiedad característica del número cero; y
similarmente, la propiedad del 1 establecida en (7) es la propiedad característi-
ca del número uno. Puesto que estas leyes son formalmente análogas, decimos
que el 0 y el 1 son los elementos identidad para la adición y la multiplicación,
respectivamente. La suposición 1 6= 0 en (7) se incluye para eliminar los casos
triviales (de no ser así el conjunto consistiendo del entero 0 solamente podría
ser un anillo conmutativo).
El sistema Z de todos los enteros tiene otra propiedad que no puede ser de-
ducida de los postulados precedentes. A saber, si c 6= 0 y ca = cb en Z, entonces
necesariamente a = b. Esta propiedad no es satisfecha por las funciones reales
en un intervalo dado, por ejemplo, aunque éstas formen un anillo conmutativo.
Por consiguiente, los enteros constituyen no solamente un anillo conmutativo
sino también un dominio entero en el sentido de la siguiente definición.
Definición 2. Un dominio entero es un anillo conmutativo en el que el postu-
lado adicional siguiente se cumple:
9. Ley de cancelación: Si c 6= 0 y ca = cb, entonces a = b.

2
 √
El dominio Z[ 2]. Un dominio entero de interés √ para la teoría de números
consiste de todos los números
√ de la
√ forma a √ 2, donde a y b son enteros
+ b
ordinarios (en Z). En Z[ 2], a + b 2 = c + d 2 si y sólo si a = c, b = d. La
adición y multiplicación están definidas por
√ √ √
(a + b 2) + (c + d 2) = (a + c) + (b + d) 2
√ √ √
(a + b 2)(c + d 2) = (ac + 2bd) + (ad + bc) 2.
La unicidad y la conmutatividad
√ se verifican fácilmente
√ para estas operaciones,
mientras que 0+0√ 2 actúa como un√cero y 1+0 2 como una unidad. El inverso
aditivo de a + b 2 es (−a) + (−b) 2. La verificación de las leyes asociativa y
distributiva es un poco más tediosa, mientras que la ley de cancelación será
probada en la siguiente Sección 2.

2. Propiedades elementales de los anillos conmu-

tativos
En el álgebra elemental, a menudo, se toman por sentado los postulados an-
teriores y sus consecuencias elementales. Esto rara vez conduce a errores serios,
a condición de que las manipulaciones algebraicas sean verificadas. Sin embargo,
hay que tener mucho más cuidado cuando uno desea alcanzar conclusiones con-
fiables con respecto a familias completas de sistemas algebraicos (por ejemplo,
válido para todos los dominios enteros). Uno debe estar seguro que todas las
pruebas utilizan solamente los postulados listados y las reglas estándar de la
lógica.
Entre las reglas fundamentales de la lógica están las tres leyes básicas para
la igualdad:
Ley reflexiva: a = a.
Ley Simétrica: Si a = b, entonces b = a.

Ley transitiva: Si a = b y b = c, entonces a = c, válida para todo a, b y c.

Ilustramos a continuación la idea de una prueba formal para varias reglas válidas
en cualquier anillo conmutativo R.
Regla 1 (a + b)c = ac + bc, para todo a, b, c ∈ R.

Esta regla puede llamarse la ley distributiva por la derecha, en contraste al

postulado (5), que puede denominarse la ley distributiva por la izquierda.
Demostración. Para todo a, b, y c en R:
1. (a + b)c = c(a + b) (Ley conmutativa de la multiplicación)

2. c(a + b) = ca + cb (Ley distributiva)

3
 3. (a + b)c = ca + cb (Ley transitiva 1,2)
4. ca = ac, cb = bc (Ley conmutativa de la multiplicación)
5. ca + cb = ac + bc (Unicidad de la adición, 4)
6. (a + b)c = ac + bc (Ley transitiva 3,5)

Regla 2 Para todo a en R, 0 + a = a y 1 · a = a.

Demostración. Para todo a en R:

1. 0 + a = a + 0 (Ley conmutativa de la adición)
2. a + 0 = a (Cero)
3. 0 + a = 0 (Ley transitiva 1,2)
La prueba para 1 · a = a es similar.

Regla 3 Si z está en R tiene la propiedad de que a + z = a para todo a en R,

entonces z = 0.

Esta regla establece que R contiene solamente un elemento 0 que puede actuar
como el elemento identidad para la adición.
Demostración. Puesto que a + z = a se cumple para todo a, se cumple si a es
0.
1. 0 + z = 0
2. 0 = 0 + z (Ley simétrica, 1)
3. 0 + z = z (Regla 2 cuando aes z)
4. 0 = z (Ley transitiva 2,3)

En las pruebas siguientes condensaremos el uso repetido de las leyes simétrica

y transitiva para la igualdad.
Regla 4 Para todo a, b, c en R:

a+b=a+c implica b = c.

Esta regla se denomina la ley de la cancelación para la adición.

Demostración. Por el postulado (8) para un elemento a hay un elemento x con
a + x = 0. Entonces

4
 1. x + a = a + x = 0 (Ley conmutativa de la adición, ley transitiva)
2. x = x, a + b = a + c (ley reflexiva, hipótesis)
3. x + (a + b) = x + (a + c) (Unicidad de la adición, 2)

4.

b = 0 + b = (x + a) + b = x + (a + b) = x + (a + c) = (x + a) + c = 0 + c = c.

(Suministre la razón de cada paso de 4)

Regla 5 Para cada a, R contiene una y solamente una solución x de la ecuación

a + x = 0.
Esta solución se denota por x = −a, como es usual. La regla puede ser
escrita como a + (−a) = 0. Como se acostumbra, el símbolo a − b denota
a a + (−b).

Demostración. Por el postulado (8), hay una solución x. Si y es una segunda

solución, entonces a + x = 0 = a + y por las leyes transitiva y simétrica. De aquí
que por la Regla 4, x = y. Q.E.D.

Regla 6 Para a y b dados en R, hay una y sólo una x en R con a + x = b.

Esta regla asegura que la sustracción es posible y única.

Demostración. Tomemos x = (−a) + b. Entonces (¡De las razones!)

a + x = a + ((−a) + b) = (a + (−a)) + b = 0 + b = b.

Si y es una segunda solución, entonces a + x = b = a + y por la ley transitiva;

de aquí que x = y por la regla 4. Q.E.D.

Regla 7 Para todo a en R, a · 0 = 0 = 0 · a.

Demostración. 1. a = a, a + 0 = a (Ley reflexiva, postulado (6))

2. a(a + 0) = aa (Unicidad de la multiplicación, 1)
3. aa + a · 0 = a(a + 0) = aa = aa + 0 (Ley disributiva, etc.)
4. a · 0 = 0 (Regla 4, 3)

5. 0 · a = a · 0 = 0 (Ley conmutativa mult., 4

Regla 8 Si u en R tiene la propiedad au = a para todo a en R, entonces u = 1.

5
Esta regla asegura la unicidad del elemento identidad 1 para la multiplicación.
La prueba, parecida a la de la Regla 3, se deja como ejercicio.
Regla 9 Para todo a y b en R, (−a)(−b) = ab.
Demostración. Considere la triple suma (¡ley asociativa!)
1. [ab + a(−b)] + (−a)(−b) = ab + [a(−b) + (−a)(−b)].
Por la ley distributiva, la definición de −a, Regla 7, y (6),
2. ab + [a(−b) + (−a)(−b)] = ab + [a + (−a)](−b) = ab + 0(−b) = ab.
Por similares razones,
3. [ab + a(−b)] + (−a)(−b) = a[b + (−b)] + (−a)(−b) = a · 0 + (−a)(−b) =
(−a)(−b).
El resultado se sigue de 1, 2 y 3 aplicando las leyes transitiva y simétrica
para la igualdad. Q.E.D.
Otra ley algebraica básica es aquella utilizada en la solución de ecuaciones cua-
dráticas, cuando se argumenta que (x + 2)(x − 3) = 0 significa que x + 2 = 0 o
x − 3 = 0. La ley general involucrada es la afirmación

Si ab = 0, entonces a = 0 o b = 0. (1)

Esta afirmación no es cierta en todos los anillos conmutativos. Pero la prueba es

inmediata en cualquier dominio entero D, por la ley de cancelación. Supóngase
que el primer factor a no es cero. Entonces ab = 0 = a · 0, y a puede ser
cancelado; de aquí que b = 0. Recíprocamente, la ley de cancelación se sigue de
esta afirmación (1) en cualquier anillo conmutativo R, porque si a 6= 0, ab = ac
significa que ab − ac = a(b − c) = 0, que por (1) se obtiene b − c = 0. Por
consiguiente, hemos demostrado
Teorema 1. La ley de cancelación de la multiplicación es equivalente en un
anillo conmutativo a la afirmación de que un producto de factores distintos de
cero no es cero.
Los elementos distintos de cero a y b con un producto ab = 0 a veces se
denominan “divisores del cero”, así que la ley de cancelación en un anillo con-
mutativo R es equivalente a la suposición de que R no contiene divisores del
cero.
El Teorema
√ 1 puede ser utilizado para probar la ley de cancelación
√ para el
dominio Z[ 2] definido al final de la Sección 1. Supóngase que Z[ 2] incluye
divisores del cero, con
 √  √  √
a + b 2 c + d 2 = (ac + 2bd) + (ad + bc) 2 = 0.

Por definición, esto da ac + 2bd = 0, ad + bc = 0. Multiplicando el primero por

d, el segundo por c, y sustrayendo se obtiene b(2d2 − c2 ) = 0, de aquí b = 0 o
c2 = 2d2 . Si b = 0, entonces las dos ecuaciones anteriores dan ac = ad = 0, así
que a = 0 o c = d = 0, por el Teorema 1. Pero la primer alternativa, a = 0,

6
 √
implicaría
√ que a + b 2 = 0 (puesto que b = 0); la segunda alternativa de que
c + d 2 = 0—en ningún caso tenemos divisores de cero. √
Permanece la posibilidad de que c2 = 2d2 ; esto implicaría que 2 = c/d sea
un racional, cuya imposibilidad la podemos probar. (Ver apuntes de Números
Reales). √
Si admitimos que 2 es un número real, y que el conjunto de todos los núme-
ros√reales forman un dominio entero R, entonces podemos fácilmente probar que
Z[ 2] es un dominio entero, apelando al siguiente concepto de un subdominio.
Definición 3. Un subdominio de un dominio entero D es un subconjunto de
D que es también un dominio entero, para las mismas operaciones de adición y
multiplicación.
Tanto el dominio entero Q de los números racionales como el dominio entero
de los números reales R tienen una ventaja algebraica esencial sobre el dominio
Z de los enteros: cualquier ecuación ax + b = 0 (a 6= 0) puede ser resuelta
en ellos. Los anillos conmutativos con esta propiedad se denominan campos;
ahora mostramos que la división es posible y tiene sus propiedades familiares en
cualquier anillo conmutativo donde todos los elementos distintos de cero tienen
un inverso no multiplicativo.
Definición 4. Un campo F es un anillo conmutativo que contiene para cada
elemento a 6= 0 un elemento “inverso” a−1 que satisface la ecuación a−1 a = 1 .
Es fácil mostrar que la ley de cancelación (9) se cumple en cualquier campo,
por que si c 6= 0 y ca = cb, entonces

a = 1 a = (c−1 c)a = c−1 (ca) = c−1 (cb) = (c−1 c)b = 1 b = b.

En otra palabras, todo campo es un dominio entero; de manera más general,

cada subdominio de un campo es un dominio entero.
Teorema 2. La división (excepto por cero) es posible y es única en cualquier
campo.
Demostración. Tenemos que demostrar que para un a 6= 0 dado y b en un campo
F la ecuación ax = b tiene una y sólo una solución x en F . Si a 6= 0, se puede
usar el inverso a−1 para construir un elemento x = a−1 b que al sustituirlo prueba
que es una solución de ax = b. Es la única solución, por la ley de cancelación
probada arriba, ax = b y ay = b juntas implican que x = y si a 6= 0. Q.E.D.
La solución de ax = b se denota por b/a (el cociente de b por a). En parti-
cular, 1/a = a−1 .
Todas las nueve reglas probadas en esta sección también son satisfechas en
los campos, considerados como dominios enteros. Las reglas usuales para la
manipulación de cocientes también se pueden probar utilizando los postulados
para un campo.
Teorema 3. En cualquier campo, los cocientes obedecen las siguientes leyes
(donde b 6= 0 y d 6= 0),

7
 1. (a/b) = (c/d) si y sólo si ad = bc,
2. (a/b) ± (c/d) = (ad ± bc)/(bd),
3. (a/b)(c/d) = (ac/bd),
4. (a/b) + (−a/b) = 0,
5. (a/b)(b/a) = 1 si (a/b) 6= 0.

Demostración. 1. La hipótesis (a/b) = (c/d) significa ab−1 = cd−1 . Esto da

ad = a(b b)d = cd−1 (bd) = cd−1 db = bc. Inversamente, si ad = bc,
−1

entonces a/b = b−1 a = b−1 add−1 = b−1 bcd−1 = cd−1 = c/d, como se
quiere.
2. Observe que x = a/b y y = c/d denota las soluciones de bx = a y dy = c.
Estas ecuaciones pueden combinarse para dar

dbx = da, bdy = bc, bd(x ± y) = ad ± bc.

Así x ± y es la solución única de z = (ad ± bc)/bd de la ecuación bdz =

ad ± bc.
3. Como arriba, las ecuaciones bx = a y dy = c pueden combinarse para dar

(bd)(xy) = (bx)(dy) = ac,

de donde
xy = (ac)/(bd).

4. Sustituyendo en (2), tenemos

(a/b) + (−a/b) = (ab − ba)/b2 = 0/b2 = 0.(b2 )−1 = 0.

5. Sustituyendo en (3), tenemos (a/b)(b/a) = ab/ba. Pero ab/ba es la úni-

ca solución de la ecuación bax = ab. Claramente, x = 1 satisface esta
ecuación; de aquí ab/ba = 1.

3. Formas polinomiales
Sea D cualquier dominio entero, y sea x cualquier elemento de un dominio
entero más grande E que contiene a D como un subdominio. En E podemos
formar sumas, diferencias, y productos de x con los elementos de D y consigo
mismo.
Realizando estas operaciones repetidamente, evidentemente obtenemos ex-
presiones de la forma

a0 + a1 x + · · · + an xn (a0 , . . . , an ∈ D; an 6= 0 si n > 0), (2)

8
donde xn (n cualquier entero positivo) está definido como xx · · · x para n facto-
res. Pero inversamente, utilizando únicamente los postulados para un dominio
entero, se puede sumar, sustraer, o multiplicar cuaquier par de expresiones de
la forma (2), obteniendo una tercera expresión de la misma forma. Por ejemplo,
si D es el dominio de los enteros,

f (x) = 0 + 1 · x + (−2)x2 (2 + 3 · x)

= 0 · 2 + 0 · 3 · x + 1 · x · 2 + 1 · x · 3 · x + (−2)x2 · 2 + (−2)x2 · 3 · x
= 0 + 0 · x + 2x + 3x2 + (−4)x2 + (−6)x3
= 0 + (0 + 2)x + (3 + (−4))x2 + (−6)x3
= 0 + 2x + (−1)x2 + (−6)x3 ,

por la ley distributiva generalizada, las leyes conmutativa y asociativa, y final-

mente la ley distributiva.
Este argumento puede ser generalizado. En efecto, sean

p(x) = a0 + a1 x + · · · + am xm

y
q(x) = b0 + b1 x + · · · + bn xn
cualquier par de expresiones de la forma (2). Si m > n, entonces tenemos

p(x) ± q(x) = (a0 ± b0 ) + · · · + (an ± bn )xn + an+1 xn+1 + · · · + am xm . (3)

Una fómula similar se cumple para m ≤ n. Otra vez, por la ley distributiva,
m X
X n
p(x)q(x) = ai bj xi+j .
i=0 j=0

Reuniendo términos con los mismos exponentes y sumando coeficientes, tenemos

p(x)q(x) = a0 b0 + (a0 b1 + a1 b0 )x + · · · + am bn xm+n . (4)

En esta fórmula, claramente el coeficiente de xk es una suma

X
ai bk−i
i

para todo i con 0 ≤ i ≤ m y 0 ≤ k − i ≤ n. Ver la Fig. (1). Hemos probado el

Teorema siguiente.

Teorema 4. Suponga que existe un dominio entero E que contiene un sub-

dominio isomórfico con el dominio dado D, y un elemento x que no está en
D. Entonces los polinomios (2) en este elemento x son sumados, sustraidos y
multiplicados mediante las fórmulas (3) y (4), y así forman un subdominio de
E.

9
 Figura 1: Coeficientes de producto p(x)q(x).

Para probar que siempre existe un dominio entero tal E, se necesita la si-
guiente definición.
Definición 5. Por un polinomio en x sobre un dominio entero D entendemos
una expresión de la forma (2). El entero n se denomina el grado de la forma
(2). Se dice que dos polinomios son iguales si ellos tienen el mismo grado y sus
correspondientes coeficientes son iguales.
Puesto que no se asume nada conocido respecto al símbolo x, la expresión
(2) a menudo se le denomina forma polinomial (para distinguirla de una función
polinomial), y el símbolo x se denomina una indeterminada.
Teorema 5. Si la adición y la multiplicación están definidas por las fórmu-
las (3) y (4), entonces las diferentes formas polinomiales en x sobre cualquier
dominio entero D forman un nuevo dominio entero D[x] que contiene a D.
Demostración. La ausencia de divisores cero (ley de la cancelación de la multi-
plicación) se sigue de la Ec. (4), ya que el coeficiente principal am bn del producto
de dos formas polinomiales distintas de cero es el producto (no cero) de los coe-
ficientes principales am y bn de sus factores. Las propiedades de 0 y 1 y la
existencia de inversos aditivos se siguen fácilmente de las Ecs. (3) y (4).
Para probar las leyes conmutativa, asociativa y distributiva es conveniente
introducir coeficientes ceros “ficticios”. Esto cambia las Ecs. (3) y (4) en las
formas más simples
∞
X ∞
X ∞
X
ak xk + bk x k = (ak + bk )k , (5)
k=0 k=0 k=0

10
  
∞ ∞ ∞
! !
X X X X
a k xk bk x k =  ai bj xk  , (6)
k=0 k=0 k=0 i+j=k

donde todos (excepto un número finito) los coeficientes son ceros. Entonces,
cualquier ley tal como la ley distributiva puede ser verificada simplemente mul-
tiplicando ambos lados de la ley por las Ecs. (5) y (6), como

! !  
X X X X X
ak xk bk xk + ck x k =  ai (bj + cj ) xk ,
k k k k i+j=k

! ! ! !    
X X X X X X X
a k xk bk xk + ak xk ck xk =  ai bj  +  ai cj  xk ,
k k k k k i+j=k i+j=k

y mostrando que el coeficiente de cada potencia xk de x es la misma en ambas

expresiones. Por la ley distributiva en el dominio D, el coeficiente de la k-
ésima potencia de x es la misma en ambas expresiones. Argumentos similares
completan la prueba del Teorema (5).
Ahora definimos una forma racional en la indeterminada x sobre D como
un cociente formal de formas polinomiales con un denominador distinto de cero.

p(x) a0 + a1 x + · · · + am xm
= (ai , bj en D; am 6= 0 si m > 0; bn 6= 0) .
q(x) b0 + b1 x + · · · + bn xn

Corolario 1. Las formas racionales en una indeterminada x sobre cualquier

dominio entero D constituyen un campo. Este campo se denota por D(x).

4. Funciones polinomiales
Como antes, sea D cualquier dominio entero, y sea

f (x) = a0 + a1 x + · · · + am xm

cualquier forma polinomial en x sobre D. Si la indeterminada x se reemplaza

por un elemento c ∈ D, f (x) ya no es una expresión vacía: puede ser evaluada
como un miembro definido a0 + a1 c + · · · + am cm de D. En otras palabras,
si x es considerada como una variable independiente en el sentido del cálculo,
en lugar de como un símbolo abstracto fuera de D, f (x) se convierte en una
función ordinaria: “Si x está dado (como c), entonces f (x) está determinada
(como f (c)).” Por abstracción, definimos generalmente una “función” f de una
variable en D como una regla que asigna a cada elemento x de D un “valor”
f (x), también en D. Definimos la igualdad de dos funciones (en símbolos f = g)
si y sólo si f (x) = g(x) para todo x. La suma h = f +g, la diferencia q = f −g, y
el producto p = f g de dos funciones se definen por las reglas h(x) = f (x) + g(x),

11
q(x) = f (x) − g(x), y p(x) = f (x)g(x) para todo x. Una función constante es
aquella cuyo valor b es independiente de x; la función identidad es la función j
con j(x) = x para todo x.
Definición 6. Una función polinomial es una función que puede ser escrita en
la forma (2).

Puesto que las únicas reglas utilizadas en la deducción de las fórmulas (3) y
(4) son válidas en cualquier dominio entero, éstas se cumplen sin importar qué
valor de c (en D) es asignado a la indeterminada x. Esto es, estas reglas son
identidades, y por consiguiente las sumas y productos de funciones polinomiales
también se pueden calcular con las mismas fórmulas (3) y (4). Como explicare-
mos en la siguiente Sección 5, se sigue que las funciones polinomiales sobre D
constituyen un anillo conmutativo en el sentido definido en la Sección 1.
Por definición, cada forma (2) determina una función polinomial única, y
cada función polinomial es determinada por al menos una de tales formas. Por
consiguiente ciertamente hay un mapeo que preserva las sumas y productos,
de las formas polinomiales a las funciones polinomiales sobre cualquier dominio
entero D dado. (Tales correspondencias son llamadas homomorfismos1 sobre-
yectivos, o epimorfismos).
Si tuviéramos la certeza de que el mapeo es uno a uno, sabríamos que el
homomorfismo es un isomorfismo 2 . De aquí que, desde el punto de vista del
álgebra abstracta, es permisible olvidar la distinción entre formas polinomiales
y funciones polinomiales. Desafortunadamente, este no es el caso.
Veamos algunas definiciones elementales. Por grado de una forma (2) dife-
rente de cero entendemos que n es su exponente más grande. El término an xn
del grado más grande se denomina el término principal, y si an = 1, el polinomio
se denomina mónico.
Teorema 6. Una forma polinomial r(x) sobre un dominio D es divisible por
x − a si y sólo si r(a) = 0.
La afirmación “r(x) es divisible por x − a” significa que r(x) = (x − a)s(x)
para alguna forma polinomial sobre D.
Demostración. Sea r(x) = c0 + c1 x + · · · + cn xn (cn 6= 0) . Para cada a, tenemos,
1 En matemáticas, un homomorfismo desde un objeto matemático a otro con la misma

estructura algebraica, es una función que preserva las operaciones definidas en dichos objetos;
por consiguiente, un homomorfismo de anillos es una función (aplicación) entre anillos que
conserva las estructuras de ambos como anillos.
2 Un isomorfismo es un homomorfismo biyectivo tal que su inversa también es un homo-

morfismo. El concepto matemático de isomorfismo pretende captar la idea de tener la misma

estructura. Dos estructuras matemáticas entre las que existe una relación de isomorfismo se
llaman isomorfas.

12
utilizando álgebra de bachillerato,
n
X n
X n
X
ck xk − ck a k = ck xk − ak

k=0 k=0 k=0

Xn
ck (x − a) xk−1 + xk−2 a + · · · + ak−1 .


=
k=1

Por consiguiente, r(x) − r(a) = (x − a)s(x), donde s(x) es una forma polinomial
de grado n − 1. Recíprocamente, si r(x) = (x − a)s(x), substituyendo a en x se
obtiene r(a) = 0.
Corolario 2. Una forma polinomial r(x) de grado n sobre un dominio entero
D tiene a lo más n ceros en D.
(Por un cero de r(x) entendemos una raíz de la ecuación r(x) = 0; esto es,
un elemento a ∈ D tal que r(a) = 0.)
Demostración. Si a es un cero, entonces por el Teorema 6, r(x) = (x − a)s(x),
donde s(x) tiene grado n − 1. Por inducción, s(x) tiene a lo más n − 1 ceros,
ya que r(x) = 0 (por el Teorema 1) si y sólo si x = a o s(x) = 0. De aquí que
r(x) = 0 tiene a lo más n ceros.
Teorema 7. Si un dominio entero D es infinito, entonces dos formas polino-
miales sobre D que definen la misma función tienen idénticos coeficientes.
Demostración. Como en (2), sean p(x) y q(x) dos formas dadas en la inde-
terminada x. Si ellas determinan la misma función, entonces p(a) = q(a) pa-
ra cada elemento a elegido de D; la conclusión deseada es entonces que p(x)
y q(x) tienen el mismo grado y tienen los coeficientes correspondientes igua-
les. En términos de la diferencia r(x) = p(x) − q(x), esto equivale a decir que
r(a) = c0 +c1 a+· · ·+cn an = 0 para todo a en D implica que c0 = c1 = · · · = cn .
Esta conclusión se sigue del Teorema 6, porque a menos que los coeficientes ci
sean todos ceros, el polinomio r(x) es cero para a lo más n valores de x—
de donde, puesto que D es infinito, habrán valores restantes de x en los que
r(x) 6= 0.
Así, si D es infinito, los conceptos de función polinomial y forma polino-
mial son equivalentes (técnicamente, el anillo de las funciones polinomiales es
isomórfico al anillo de las formas polinomiales).
Por otro lado, el Teorema 6 nunca se cumple si D es un dominio entero finito,
con elementos a1 , · · · , an . Por ejemplo, la forma polinomial mónica (x − a1 )(x −
a2 ) · · · (x − an ) de grado n determina la misma función que la forma 0, en este
caso.
Ya que cualquier sistema isomórfico con un dominio entero es en sí mismo
un dominio entero, el Teorema 6 implica el siguiente corolario:
Corolario 3. Las funciones polinomiales en cualquier dominio entero infinito
forman un dominio entero.

13
5. El algoritmo de la división
El algoritmo de la división de polinomios (algunas veces llamado “división
larga de polinomios”) proporciona un esquema estándar para la división de un
polinomio b(x) por un segundo polinomio a(x) para obtener un cociente q(x) y
un resto r(x) de grado menor que el divisor a(x). Mostraremos a continuación
que el algoritmo de la división, aunque usualmente llevado a cabo con coeficien-
tes racionales, es realmente posible para polinomios con coeficientes en cualquier
campo.
Teorema 8. Si F es un campo, y a(x) 6= 0 y b(x) son dos polinomios cuales-
quiera sobre F , entonces podemos encontrar los polinomios q(x) y r(x) sobre F
tal que
b(x) = q(x)a(x) + r(x), (7)
donde r(x) es cero o tiene un grado menor que el grado de a(x).
Demostración. (Informal ) Elimine sucesivamente los términos de más alto gra-
do del dividendo b(x) sustrayendo de él productos del divisor a(x) por mono-
mios adecuados cxk . Si a(x) = a0 + a1 x + · · · + am xm (am 6= 0) y b(x) =
b0 + b1 x + · · · + bn xn (bn 6= 0), y si el grado n de b(x) no es ya menor que m de
a(x), podemos formar la diferencia
b1 (x) = b(x) − (bn /am ) xn−m a(x)
= 0 · xn + (bn−1 − am−1 bn /am ) xn−1 + · · · (8)
el cual será de grado menor que n, o cero. Entonces podemos repetir este proceso
hasta que el grado del resto sea menor que m.
Una prueba formal para este algoritmo de la división está basada en el
segundo principio de inducción matemática3 . Sea m el grado de a(x). Entonces
cualquier polinomio b(x) de grado n < m tiene una representación b(x) = 0 ·
a(x) + b(x), con un cociente q(x) = 0. Para un polinomio b(x) de grado n ≥ m,
la tansposición de (8) da
b(x) = b1 (x) + (bn /am ) xn−m a(x), (9)
donde el grado k de b1 (x) es menor que n a menos que b1 (x) = 0. Por el segundo
principio de inducción matemática, podemos asumir que la expansión de (7) es
posible para todo b(x) de grado k < n, así que tenemos
b1 (x) = q1 (x)a(x) + r(x), (10)
donde el grado de r(x) es menor que m, a menos que r(x) = 0. Substituyendo
(10) en (9), obtenemos la ecuación deseada (7), como
b(x) = q1 (x) + (bn /am ) xm−n a(x) + r(x).
 

3 Supóngase que con cada entero positivo n está asocociada una proposición P (n). Si para

cada m, la suposición que P (k) es cierta para todo k < m implica la conclusión que P (m) es
en sí misma cierta, entonces P (n) es cierta para toda n.

14
 En particular, si el polinomio a(x) = x − c es mónico y lineal, entonces el
resto r(x) en (7) es una constante r(x) = b(x) − (x − c)q(x). Si hacemos x = c,
esta ecuación da r = b(c) − 0 · q(c) = b(c). De aquí tenemos
Corolario 4. (Teorema del resto) El resto de un polinomio p(x) dividido por
x − c, es p(c).

Cuando el resto r(x) en (7) es cero, decimos que b(x) es divisible por a(x).
Más exactamente, si a(x) y b(x) son dos formas polinomiales sobre un dominio
entero D, entonces b(x) es divisible por a(x) sobre D o en D[x] si y sólo si
b(x) = q(x)a(x) para alguna forma polinomial q(x) ∈ D[x].

Referencias
[1] Garret Birkhoff y Saunders Mac Lane. A Survey of Modern Algebra. Mac-
Millan, 4th edition.
[2] I.N. Herstein. Topics in Algebra. Wiley, 2th edition.

15