Cap tulo 2

Anillo de polinomios con coecientes en un cuerpo

En el conjunto Z se ha visto cmo la relacin ser congruente mdulo m para un entero m > 1, es o o o compatible con las operaciones suma y producto. Esto permiti denir en el conjunto cociente Z/ m = o Zm las operaciones suma mdulo m: o [a]+[b] = [a + b], con a, b Z, y producto mdulo m: o [a][b] = [a b], con a, b Z, sin que dependan del representante elegido. Al ser (Z, +, ) un anillo, lo es (Zm , +, ). As + y son asociativas y conmutativas en Zm el producto es distributivo respeto a la suma, [0] es el elemento neutro para + y [1] es el elemento neutro para en Zm . Adems, si a es opuesto de a para + en Z, [a] es el opuesto de [a] para + en Zm . a Ejemplo: En (Z, +) consideramos la relacin ser congruentes mdulo 6, que es compatible con la suma o o y el producto, la tabla de las operaciones suma y producto en el conjunto cociente Z6 son
+ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 2 3 4 5 0 2 2 3 4 5 0 1 3 3 4 5 0 1 2 4 4 5 0 1 2 3 5 5 0 1 2 3 4 0 1 2 3 4 5 0 0 0 0 0 0 0 1 0 1 2 3 4 5 2 0 2 4 0 2 4 3 0 3 0 3 0 3 4 0 4 2 0 4 2 5 0 5 4 3 2 1

Sea ahora (K, +, ) un cuerpo. A continuacin veremos cmo las propiedades de divisibilidad (y los o o resultados que de ellas se deducen) en K[x] son las mismas que en Z. Denicin 2.0.1 Un polinomio en la indeterminada x con coecientes en K es una expresin de la o o forma a(x) = a0 + a1 x + a2 x2 + + an xn donde ai K, para todo 0 i n. El conjunto de polinomios en la indeterminada x con coecientes en K se denota por K[x]. Denicin 2.0.2 Sea a(x) = a0 + a1 x + a2 x2 + + an xn un polinomio en K[x]. o 1. Si ai = 0, para todo 0 i n, a(x) se llama polinomio cero. 2. Si a(x) no es el polinomio cero, 1

CAP ITULO 2. ANILLO DE POLINOMIOS CON COEFICIENTES EN UN CUERPO (a) el mayor entero s tal que as = 0 se llama grado del polinomio a(x), denotado por a(x); (b) as se llama coeciente principal y as xs trmino principal; e (c) ai es el coeciente de grado i (d) ai xi el trmino de grado i, para 0 i n. e 3. Un polinomio de grado 0 se llama polinomio constante. 4. Cuando el coeciente principal es 1, el polinomio se llama mnico. o 5. Dos polinomios, a(x) y b(x), son iguales si tienen el mismo grado y ai = bi , para todo i, 0 i a(x) = b(x). 6. Los s mbolos x, x2 , x3 , slo indican las posiciones de los coecientes, por ello, tambin se deo e ne un polinomio con coecientes en un cuerpo K como una sucesin nita (a0 , a1 , a2 , , an ) de o elementos de K o una aplicacin a : N K tal que a(n) = 0, si n > a. o

Ejemplo 2.0.3 En (Z5 , +, ) la expresin 3x6 + 4x5 + x2 + 4x + 2 es un polinomio de grado 6, con o coeciente principal 3 y trmino constante 2. e

2.1

Suma y producto en K[x]

Sean a(x) = a0 + a1 x + a2 x2 + + an xn y b(x) = b0 + b1 x + b2 x2 + + bm xm polinomios de K[x]. Podemos suponer que n m, y si n > m ponemos bm+1 = bm+2 = = bn = 0. Se dene la suma a(x) + b(x) y el producto a(x)b(x) de los polinomios de la forma siguiente: a(x) + b(x) = (a0 + b0 ) + (a1 + b1 )x + (a2 + b2 )x2 + + (an + bn )xn a(x)b(x) = (a0 b0 ) + (a0 b1 + a1 b0 )x + (a0 b1 + a1 b1 + a2 b0 )x2 + + an bm xn+m Es decir, el coeciente de xi en a(x) + b(x) es ai + bi , para cada 0 i n. El coeciente de xi en a(x)b(x) para 0 i n + m, es
i

a0 bi + a1 bi1 + a2 bi2 + + ai b0 =
k=0

ak bik =
j+k=i

aj bk

donde las sumas y productos son las operaciones correspondientes del cuerpo K. De estas deniciones se deduce que los coecientes de a(x) + b(x) y de a(x)b(x) pertenecen a K, es decir, la suma y el producto son operaciones internas en K[x]. Adems, si a(x) + b(x) = 0 y a(x)b(x) = 0 entonces a (a(x) + b(x)) max{a(x), b(x)} y (a(x)b(x)) = a(x) + b(x). Ejemplos: 1. Si a(x) = 3 + 2x + 4x2 + 4x5 y b(x) = 3x + 2x2 + 4x3 en R[x], a(x)+b(x) = (3+0)+(2+3)x+(4+2)x2 +(0+4)x3 +(4+0)x5 = 3+5x+6x2 +4x3 +4x5 a(x)b(x) = (3 0) +(3 3 +2 0)x + (3 2 +2 3 +4 0)x2 + = 16x8 + 8x7 + 12x6 + 16x5 + 16x4 + 28x3 + 12x2 + 9x. 2. En Z5 [x], si a(x) = 3 + 2x + 4x2 + 4x5 y b(x) = 3x + 2x2 + 4x3 a(x) + b(x) = (3 + 0) + (2 + 3)x + (4 + 2)x2 + (0 + 4)x3 + (4 + 0)x5 = 3 + 1x2 + 4x3 + 4x5 a(x)b(x) = (30)+(33+20)x+(32+23+40)x2 + = x8 +3x7 +2x6 +x5 +x4 +3x3 +2x2 +4x. Observacin 2.1.1 Con estas operaciones (K[x], +, ) es un anillo conmutativo unitario sin divisores de o cero propios, es decir, es un dominio. Sin embargo, K[x] no es un cuerpo, los unicos elementos inversibles son los polinomios constantes no nulos.

2.2.

ALGORITMO DE DIVISION EN K[X]

2.2

Algoritmo de divisin en K[x] o

En cursos anteriores se aprendi a dividir polinomios con coecientes reales, se vi cmo se obtiene el o o o cociente y el resto. La misma tcnica se aplica cuando los coecientes de los polinomios se toman en un e cuerpo K. Proposicin 2.2.1 Algoritmo de divisin. Sean a(x) y b(x) polinomios con coecientes en un cuerpo o o K, siendo b(x) = 0. Se verica que existen polinomios unicos q(x), r(x) de K[x] tales que a(x) = q(x)b(x) + r(x), donde r(x) < b(x) r(x) = 0. o Demostracin. o grado de a(x). Para obtener la existencia, se considerar b(x) jo y se demostrar por induccin en el a a o

1. Caso a(x) = 0. Si b(x) = 0, b(x) = b0 = 0 y a(x) = a0 = (a0 b1 )b0 + 0 y basta tomar 0 q(x) = (a0 b1 ) y r(x) = 0. Si b(x) > 0, el resultado se cumple para q(x) = 0 y r(x) = a(x). 0 2. Paso inductivo. Supongamos a(x) > 0 y que el teorema se cumple para polinomios de grado estrictamente menor que el grado de a(x). En primer lugar, observemos que si a(x) < b(x), el resultado se cumple para q(x) = 0 y r(x) = a(x). Veamos el caso a(x) b(x). Si a(x) = a0 + a1 x + a2 x2 + + an xn , con an = 0 y b(x) = b0 + b1 x + b2 x2 + + bm xm , con o bm = 0, el polinomio (x) = a(x) an b1 xnm b(x) cumple que (x) < a(x). Por hiptesis de m induccin, existen polinomios (x), (x) tales que (x) = (x)b(x) + (x) con (x) < b(x), o bien o (x) = 0. As pues, a(x) = an b1 xnm b(x) + (x) = (an b1 xnm + (x))b(x) + (x) y tomando m m o q(x) = an b1 xnm + (x) y r(x) = (x) se obtiene a(x) = q(x)b(x) + r(x), donde r(x) < b(x) m r(x) = 0. Esto completa la induccin y el resultado es cierto para todos los valores de a(x). o Unicidad: si a(x) = q1 (x)b(x) + r1 (x) = q2 (x)b(x) + r2 (x), donde ri (x) < b(x) o ri (x) = 0, (i = 1, 2) entonces (q1 (x) q2 (x))b(x) = r2 (x) r1 (x). Si q1 (x) = q2 (x), [(q1 (x) q2 (x))b(x)] b(x), mientras que (r2 (x) r1 (x)) max{r1 (x), r2 (x)} < b(x). Se llega as a una contradiccin y, en consecuencia, o q1 (x) = q2 (x) y r1 (x) = r2 (x). Los polinomios q(x) y r(x) se llaman cociente y resto, respectivamente, de dividir a(x) por b(x). Ntese o que la construccin de (x) en la demostracin indica la manera (algoritmo) de dividir dos polinomios. o o Ejemplo: Si a(x) = 5x4 + 2x3 + 4x2 + 3x + 2 y b(x) = 3x2 + 5 en (Z7 [x], +, ), el cociente es c(x) = 4x2 + 3x + 4 y el resto r(x) = 2x + 3. Denicin 2.2.2 Al igual que en Z, si a(x) y b(x) son polinomios con coecientes en K tales que el resto o de dividir a(x) por b(x) es 0, se dice que a(x) es mltiplo de b(x) o que b(x) es divisor (o factor) u de a(x); es decir, a(x) = q(x)b(x) para algn q(x) de K[x]. Se representa b(x) | a(x). u Ejemplos: 1. x 1 es divisor de x2 1 en R[x]. 2. x + 3 es divisor de x2 + 1 en Z5 [x] pero no lo es en R[x]. Denicin 2.2.3 Sean a(x) = a0 + a1 x + a2 x2 + + an xn K[x] y K, se llama valor del polinomio o a(x) en al elemento de K, a() = a0 + a1 + a2 2 + + an n K. Se dice que es ra de a(x) si z a() = 0. Proposicin 2.2.4 Teorema del resto. o Sean a(x) K[x] y K; el resto de la divisin de a(x) por x es a(). o Demostracin. Por el teorema de divisin, a(x) = (x )q(x) + r(x) con r = 0 o r(x) < (x ) = 1. o o Por lo tanto, r(x) = r es un elemento de K. Si evaluamos a(x) en se obtiene a() = ()q() + r() = 0 + r = r.

CAP ITULO 2. ANILLO DE POLINOMIOS CON COEFICIENTES EN UN CUERPO

Proposicin 2.2.5 Teorema del factor. o Sean a(x) K[x] y K; x divide a (es un factor de) a(x) si, y slo si, es ra de a(x). o z Demostracin. x divide a a(x) si y slo si r(x) = 0 si y slo si a() = 0. o o o Ejemplos: 1. a(x) = 7 + 3x x2 + 4x4 6x5 + x7 Q[x]. El resto de dividir a(x) por x 2 es a(2) = 5 y el resto de dividir a(x) por x + 1 es a(1) = 2. 2. Si se divide b(x) = 2 + 2x + x2 + x3 + 3x4 + x5 Z5 [x] por x + 4 = x 1, el resto es b(1) = 0 en Z5 . En consecuencia, x + 4 divide a b(x), es decir, b(x) = (x + 4)q(x) con q(x) = 4. El polinomio q(x) = 3 + x + 4x3 + x4 , tiene a 3 como ra y por lo tanto, tambin b(x), con lo cual z, e b(x) = (x 1)(x 3)(x3 + 2x2 + x + 4). Observacin 2.2.6 Si K es una ra de a(x), entonces a(x) = (x )q1 (x). Si es de nuevo ra o z z de q1 (x), entonces q1 (x) = (x )q2 (x) y as a(x) = (x )2 q2 (x). Siguiendo este proceso se llegar a a un m, con 1 m a(x), tal que a(x) = (x )m qm (x) con qm () = 0 y se dice que es ra de z multiplicidad m del polinomio a(x). Proposicin 2.2.7 Si a(x) K[x] tiene grado n 1, entonces a(x) tiene a lo sumo n ra o ces en K (considerando cada una de ellas tantas veces como indica su multiplicidad como ra de a(x)). z Demostracin. Por induccin en a(x). o o Ejemplos: 1. a(x) = 9 6x + x2 R[x] tiene a lo sumo dos ra ces, en este caso 3 es ra de multiplicidad 2 y z a(x) = (x 3)(x 3) es una factorizacin de a(x). o 2. a(x) = 4 + x2 R[x] no tiene ra ces reales, lo que no contradice la nota anterior. 3. a(x) = 4 + x2 C[x] tiene dos ra complejas, 2i y 2i, se factoriza como a(x) = (x 2i)(x + 2i). ces 4. Si a(x) = 6+2x+x2 Z7 [x], entonces a(2) = 0, a(3) = 0 y stas son las unicas ra del polinomio. e ces As a(x) = (x 2)(x 3) = (x + 5)(x + 4). , Observacin 2.2.8 En general, si a(x) K[x] y 1 , 2 , , s son las ra o ces de a(x) en K, entonces a(x) = an (x 1 ) (x s )q(x) donde an es el coeciente principal de a(x) y q(x) un polinomio mnico o sin ra ces.

2.3

Mximo com n divisor de polinomios. a u

A partir del algoritmo de divisin en K[x], veremos deniciones y resultados sobre divisibilidad de polio nomios anlogos a los ya conocidos en Z. a Denicin 2.3.1 Dados dos polimonios a(x) y b(x) de K[x], se dice que d(x) es un mximo comn o a u divisor de a(x) y b(x) si 1. d(x) es divisor de a(x) y b(x) 2. todo divisor de a(x) y b(x) es tambin divisor de d(x). e Segn esta denicin, en general no existe un unico polinomio que sea m. c. d. de dos polinomios. Si d1 (x) u o y d2 (x) verican las condiciones 1 y 2, entonces d1 (x) = d2 (x), para alguna constante . De esta forma, existir un unico mximo comn divisor mnico y deniremos el mximo com n a a u o a u m ltiplo de a(x) y b(x), m. c. d.(a(x), b(x)), como el polinomio mnico que verica las condiciones 1 y u o 2. Observemos que si a(x) = b(x)q(x) + r(x) entonces m. c. d.(a(x), b(x)) = m. c. d.(b(x), r(x)).

2.3.

MAXIMO COMUN DIVISOR DE POLINOMIOS.

Teorema 2.3.2 Teorema de Bezout. Sean a(x), b(x) K[x], existe d(x) = m. c. d.(a(x), b(x)). Adems existen polinomios (x) y (x) en K[x] tales que d(x) = (x)a(x) + (x)b(x). a Demostracin. Sea S = {u(x) a(x) + v(x) b(x); con u(x), v(x) K[x]}. El conjunto S es distinto del o vac pues el polinomio cero, y los polinomios a(x) y b(x) son elementos de dicho conjunto. o De entre todos los polinomios no nulos de S, consideramos el polinomio d(x) del menor grado posible. Demostraremos que d(x) es un mximo comn divisor de a(x) y b(x). a u Dado que d(x) S, existen polinomios (x) y (x) tales que d(x) = (x)a(x)+(x)b(x). Dividimos a(x) por d(x), a(x) = q(x) d(x) + r(x) con r(x) = 0 r(x) < d(x). Despejando se obtiene que: o r(x) = a(x) q(x) d(x) = a(x) q(x) ((x) a(x) + (x) b(x)) = (1 q(x) (x))a(x) + (q(x) (x)) b(x) S Por la eleccin del polinomio d(x) se concluye que r(x) = 0, es decir d(x)|a(x). Anlogamente se o a demuestra que d(x)|b(x). Por otra parte, si d (x) es un divisor de a(x) y b(x) entonces d (x) es un divisor de (x) a(x) + (x) b(x) = d(x). Si el polinomio d(x) no fuese mnico, bastar multiplicarlo por el inverso de su coeciente principal o a para obtener m. c. d.(a(x), b(x)). Observacin 2.3.3 Para calcular el m. c. d. de a(x) y b(x) en K[x] imitaremos el mtodo utilizado en Z o e de dividir repetidamente; ste es el algoritmo de Euclides para K[x]. Sean a(x), b(x) K[x], supongamos e a(x) b(x), con b(x) = 0. Llamamos a0 (x) = a(x), a1 (x) = b(x) y hacemos las divisiones siguientes: a0 (x) = q1 (x)a1 (x) + a2 (x) a1 (x) = q2 (x)a2 (x) + a3 (x) a2 (x) = q3 (x)a3 (x) + a4 (x) as2 (x) = qs1 (x)as1 (x) + as (x) as1 (x) = qs (x)as (x) + 0 con a2 (x) < a1 (x) a3 (x) < a2 (x) a4 (x) < a3 (x) as (x) < as1 (x)

Dado que el grado de los restos decrece estrictamente, se llegar a un resto as+1 (x) = 0. La ultima a ecuacin indica que as (x) es divisor de as1 (x); en consecuencia, as (x) es un m. c. d. de as1 (x) y as (x). o Utilizando las igualdades anteriores en orden inverso se tiene: as (x) = m. c. d.(as (x), as1 (x)) = m. c. d.(as1 (x), as2 (x)) = = m. c. d.(a2 (x), a1 (x)) = m. c. d.(a1 (x), a0 (x)) = m. c. d.(a(x), b(x)). Entonces el ultimo resto no nulo, as (x), es un m. c. d. de a(x) y b(x) y es un mltiplo del m. c. d. mnico u o de estos polinomios. Para obtener el m. c. d.(a(x), b(x)) bastar multiplicar as (x) por el inverso de su a coeciente principal. Por substituciones sucesivas en las ecuaciones, podemos expresar as (x) de la forma (x)a(x) + (x)b(x), donde (x) y (x) son polinomios de K[x]. La existencia del m. c. d. de dos polinomios en K[x] viene dada por el teorema de Bezout. Ejemplos: 1. Hallar el m. c. d.(x3 + 2x2 + x + 1, x2 + 5) en Z7 [x] x3 + 2x2 + x + 1 = (x + 2)(x2 + 5) + (3x + 5) x2 + 5 = (3x + 5)(5x + 1). Entonces m. c. d.(x3 + 2x2 + x + 1, x2 + 5) = 31 (3x + 5) = x + 4. 2. Hallar el m. c. d.(x4 + x3 + x2 + 1, x4 + 1) en Z2 [x] x4 + x3 + x2 + 1 = 1.(x4 + 1) + (x3 + x2 ) x4 + 1 = (x + 1)(x3 + x2 ) + (x2 + 1) x3 + x2 = (x + 1)(x2 + 1) + (x + 1) x2 + 1 = (x + 1)(x + 1) + 0. Entonces m. c. d.(x4 + x3 + x2 + 1, x4 + 1) = x + 1. Denicin 2.3.4 Dados dos polimonios a(x) y b(x) de K[x], se dice que m(x) es un m o nimo comn u mltiplo de a(x) y b(x) si u

CAP ITULO 2. ANILLO DE POLINOMIOS CON COEFICIENTES EN UN CUERPO 1. m(x) es mltiplo de a(x) y b(x). u 2. Todo mltiplo de a(x) y b(x) es tambin mltiplo de m(x). u e u

Al igual que para el mximo comn divisor, si pedimos que el polinomio m(x) sea mnico se obtiene a u o la unicidad; por ello, deniremos el m nimo com n m ltiplo de a(x) y b(x), m. c. m.(a(x), b(x)), como u u el polinomio mnico que verica las condiciones 1 y 2. o El m nimo comn mltiplo de dos polimonios a(x) y b(x) de K[x], se obtiene de la siguiente igualdad u u m. c. m.(a(x), b(x)) = convertido en polinomio mnico si es necesario. o a(x)b(x) m. c. d.(a(x), b(x))

2.4

Polinomios irreducibles

En el estudio de los nmeros enteros se vio cmo todo entero mayor o igual que 2, puede escribirse como u o producto de primos de forma unica. En este apartado veremos los resultados anlogos para K[x], donde a los primos sern los llamados polinomios irreducibles. a En primer lugar, ntese que la existencia de polinomios constantes no nulos permite factorizar trivialo mente cualquier polinomio. Esto se debe a que una constante no nula tiene inverso en K, que tambin e es su inverso en K[x]; de manera que a(x) = (1 (a(x)) es una factorizacin de a(x) en K[x]. Por ese o motivo los polinomios irreducibles se denen de la forma siguiente. Denicin 2.4.1 Un polinomio a(x) K[x] se denomina reducible si existen polinomios b(x), c(x) o K[x] con b(x), c(x) 1 tales que a(x) = b(x)c(x). En caso contrario, se dice que a(x) es irreducible. Observacin 2.4.2 o 1. Como consecuencia de la denicin, todo polinomio de grado menor o igual o que 1 es irreducible. 2. Sea a(x) K[x] con a(x) 2. Si a(x) tiene alguna ra en K, entonces a(x) es reducible. Si z K una ra de a(x), entonces a(x) = (x )q(x) donde q(x) = a(x) 1 2 1 = 1. Por lo z tanto, a(x) es reducible. 3. El rec proco no siempre es cierto; por ejemplo, (x2 + 1)(x2 + 1) es reducible en R[x], pero no tiene ra ces en R. 4. Sin embargo, para a(x) = 2 a(x) = 3, a(x) es reducible en K[x] si, y slo si, a(x) tiene alguna o o ra en K (o, si se preere, es irreducible en K[x] si, y slo si, no tiene ra z o ces en K). En efecto, si a(x)es reducible, a(x) = b(x)c(x) con b(x), c(x) 1. Como a(x) = 2 3, b(x) = 1 o o c(x) = 1, por lo tanto b(x) c(x) tiene una ra en K (si b(x) = b0 + b1 x, entonces b0 b1 es o z 1 una ra de b(x) en K). z Ejemplo 2.4.3 1. x2 + 1 es irreducible en Q[x] y R[x], pero x2 + 1 = (x + i)(x i) y, por lo tanto, es reducible en C[x]. 2. En Z2 [x], a(x) = x3 + x2 + x + 1 es reducible ya que a(1) = 0, de lo que se deduce que a(x) = (x 1)q(x). Sin embargo, b(x) = x2 + x + 1 es irreducible porque b(0), b(1) = 0. 3. x4 + 3x2 + 2 = (x2 + 2)(x2 + 1) es reducible en R[x], aunque no tiene ra ces en R. 4. El polinomio x4 + 1 no tiene ra ces en Z3 , por lo que la unica posible factorizacin ser como o a producto de dos polinomios de grado 2, x4 + 1 = (x2 + x + )(x2 + x + ). Las ecuaciones que se obtienen de la igualdad de los polinomios anteriores, permiten calcular los coecientes: = 1, = 2, = 2, = 2. Por lo tanto x4 + 1 = (x2 + x + 2)(x2 + 2x + 2) y es reducible en Z3 [x].

2.5. CUERPOS FINITOS

5. El polinomio b(x) = x4 + x3 + x2 + x + 1 tampoco tiene ra ces en Z3 , la posible factorizacin ser o a como producto de dos polinomios de grado 2, x4 + x3 + x2 + x + 1 = (x2 + x + )(x2 + x + ). Pero el sistema de ecuaciones que se obtiene de la igualdad de los polinomios anterior no tiene solucin o en Z3 , por lo que b(x) es irreducible en Z3 [x]. Siguiendo el paralelismo con Z, tambin en K[x] todo polinomio no constante se puede expresar como e producto de una constante (su coeciente principal) por polinomios mnicos irreducibles de una unica o forma, salvo el orden de los factores. Igualmente, el m. c. d. y el m. c. m. de polinomios puede obtenerse a partir de la factorizacin de stos en irreducibles. o e

2.5

Cuerpos nitos

Se pueden construir cuerpos nitos partiendo del anillo de polinomios (Zp [x], +, ). Sea p(x) K[x] un polinomio mnico jo. Se dene en K[x] la siguiente relacin de equivalencia: o o a(x) b(x) p(x) (a(x) b(x)), a(x), b(x) K[x]

Si a(x) b(x) equivale a decir que existe q(x) K[x] de modo que a(x) b(x) = q(x)p(x) o tambin que e a(x) y b(x) dan el mismo resto al dividirlos por p(x). Dado que la relacin denida en K[x] es de equivalencia, podemos considerar el conjunto de clases o que denotaremos por K[x]/(p(x)). Consideremos el subconjunto de K[x] formado por los posibles restos al dividir un polinomio por p(x), R = {0} {a(x) K[x]/a(x) < p(x)}. Consideremos la aplicacin K[x]/(p(x)) R dada por f ([a(x)]) = r(x) siendo r(x) el resto de dividir o a(x) por p(x). Se verica que f es una aplicacin biyectiva. En efecto, o 1. f esta bien denida: [a(x)] = [b(x)] a(x) b(x) a(x), b(x) tienen el mismo resto al dividirlos por p(x). Luego f ([a(x)]) = f ([b(x)]). 2. f es inyectiva: f ([a(x)]) = f ([b(x)]) a(x), b(x) tienen el mismo resto al dividirlos por p(x) a(x) b(x) [a(x)] = [b(x)]. 3. f es sobreyectiva: Dado r(x) K[x]/(p(x)) consideramos la clase del propio polinomio r(x) en K[x]/(p(x)) y tenemos que f ([r(x)]) = r(x). En consecuencia K[x]/(p(x)) y R tienen el mismo cardinal y se podr identicar al conjunto K n , siendo an n = p(x) (usando que R = {a0 + a1 x + a2 x2 + + an1 xn1 , ai K}). De hecho, al igual que pasa en Zm , (K[x]/(p(x)), +, ) tiene estructura de anillo conmutativo unitario con las operaciones suma: [a(x)] + [b(x)] = [a(x) + b(x)] producto: [a(x)] [b(x)] = [a(x) b(x)] con a(x), b(x) K[x]. En (K[x]/(p(x)), +, ) el producto es distributivo respeto a la suma, [0K ] es el elemento neutro para + y [1k ] es el elemento neutro para en K[x]/(p(x)). Trasladando las operaciones al conjunto R, la denicin de la suma ser exactamente, la misma que o a, la suma en K[x], ya que (a(x) + b(x)) < p(x) y la denicin del producto ser el resto de dividir el o a producto usual a(x) b(x) en K[x] por el polinomio p(x). Al igual que sucede en Zn , los elementos de K[x]/(p(x)) son inversibles o son divisores de cero segn u sean primos con p(x) como pone de maniesto la siguiente proposicin o Proposicin 2.5.1 Sea [a(x)] K[x]/(p(x)), se verica que, o
f

CAP ITULO 2. ANILLO DE POLINOMIOS CON COEFICIENTES EN UN CUERPO 1. si m. c. d.(a(x), p(x)) = 1 entonces [a(x)] es unidad en el anillo K[x]/(p(x)). 2. Si m. c. d.(a(x), p(x)) = 1 entonces [a(x)] es un divisor de cero en el anillo K[x]/(p(x)). (Demostracin similar al caso Zm ). o De modo anlogo a lo que se ten para Zm , se verica el siguiente resultado a a

Corolario 2.5.2 El anillo cociente K[x]/(q(x)) es un cuerpo si y slo si q(x) es un polinomio irreducible. o En ese caso, su caracter stica coincide con la caracter stica de K. Demostracin. o La primera armacin se prueba de forma anloga al caso Zn . La caracter o a stica de K[x]/(q(x)) coincide con la caracter stica del cuerpo K pues para todo natural n se verica que n [1K ] = [0K ] si y slo si n 1K = 0K . o Podemos describir la construccin de cuerpos nitos cuyo cardinal sea distinto de un nmero primo. o u Consideramos como cuerpo base Zp , siendo p un nmero primo y q(x) un polinomio irreducible de grado u n con coecientes en Zp . Por lo visto anteriormente el anillo F = Zp [x]/(q(x)) tiene estructura de cuerpo, su cardinal es pn y su caracter stica es p. Todo cuerpo nito F tiene la estructura descrita en el prrafo anterior. Es decir, si F es un cuerpo a nito, su caracteristica es un nmero primo p y su cardinal es un potencia de p, siendo F isomorfo a un u cuerpo Zp [x]/(q(x)) con q(x) un polinomio irreducible de grado n. Ejemplo 2.5.3 1. p(x) = x2 + x + 1 es irreducible en Z2 [x], el cuerpo Z2 [x]/(p(x)) tiene 22 = 4 elementos que son de la forma ax + b con a, b Z2 , Z2 [x]/(x2 + x + 1) = {0, 1, x, 1 + x}. Teniendo en cuenta que x2 + x + 1 = 0 en el anillo cociente, se pueden facilitar los clculos en el cociente. a Por ejemplo, x2 + 1 = x = x, entonces (x + 1)(x + 1) = x2 + 1 = x. 2. El mismo polinomio p(x) = x2 +x+1 no es irreducible en Z3 [x], de hecho, p(1) = 0 y p(x) = (x1)2 . El anillo cociente Z3 [x]/(x2 + x + 1) no es un cuerpo, como lo demuestra, entre otras cosas que (x 1)(x 1) = p(x) = 0. Aunque algunos elementos tienen inverso, por ejemplo, (x + 1) ya que (x + 1)2x = 2x2 + 2x = 1 en Z3 [x]/(x2 + x + 1).