9.4.

Criterio de irreductibilidad Si R es un dominio de factorizacin nica, entonces por el corolario 8 un anillo polinomial en cualquier nmero de variables con coeficientes en R es tambin un dominio de factorizacin nico. Es de inters entonces determinar los elementos irreducibles en tal anillo polinmico, particularmente en el anillo R[x]. En el caso de una variable, un polinomio mnico no constante es irreducible en R[x] si no puede ser factorizado como el producto de dos otros polinomios de grados menores. Determinar si un polinomio tiene factores es frecuentemente difcil de comprobar, particularmente para polinomios de grado alto en varias variables. El propsito del criterio de irreductibilidad es dar un mecanismo fcil para determinar cuando algunos tipos de polinomios son irreducibles. La mayora del tiempo restringimos nuestra atencin a los polinomios en una variable donde el anillo coeficiente es un Dominio de Factorizacin nica. Por el Lema de Gauss basta con considerar las factorizaciones en F[x] donde F es un campo de fracciones de R (Aunque ocasionalmente consideraremos cuestiones de irreductibilidad donde el anillo coeficientes es solo un dominio integral). La siguiente proposicin considera cuando existe un factor de grado uno (un factor lineal). Proposicin 9. Sea F un campo y sea . Entonces p(x) tiene un factor de grado uno si y solo si p(x) tiene una raz en F, es decir, existe un Prueba: Si p(x) tiene un factor de grado uno, entonces dado que F es un campo, podramos asumir que el factor es mnico, es decir, es de la forma (x-) para algn F. Pero entonces p()=0. Recprocamente, suponga que p()=0. Por el algoritmo de divisin en F[x] podramos escribir

Donde r es una constante. Dado que p()=0, r debe ser 0, entonces p(x) tiene a (x-) como un factor. La proposicin 9 da el criterio para irreductibilidad para polinomios de grado pequeo: Proposicin 10. Un polinomio de grado dos o tres sobre un campo F es irreducible si y solo si tiene una raz en F. Prueba: Esto se sigue inmediatamente a partir de la proposicin previa, dado que un polinomio de grado dos o tres es irreducible si y solo si tiene al menos un factor lineal. El siguiente resultado restringe las posibilidades para las races de polinomios con coeficientes enteros (se enuncia para [x] por conveniencia aunque claramente de generaliza a R[x], donde R es cualquier dominio de factorizacin nico)

Proposicin 11. Sea

un polinomio de grado n con

coeficientes enteros. Si est en trminos mnimos (es decir, e y s son enteros primos entre s) y r/s es una raz de p(x), entonces r divide al trmino constante y s divide al coeficiente principal de p(x): . En particular, si p(x) es un polinomio mnico con coeficientes enteros y para todo entero d que divide al trmino constante de p(x), entonces p(x) no tiene races en . Prueba: Por hiptesis, Multiplicando por sn da

Por tanto as que s divide a . Por suposicin, s es primo relativo con r y se sigue que s|an. Similarmente, resolviendo la ecuacin para a0sn muestra que r|a0. La ltima afirmacin de la proposicin se sigue a partir de las anteriores. Ejemplos (1) El polinomio Para probar esto, por el Lema de Gauss y la proposicin 10 basta con mostrar que no tiene races racionales. Por la proposicin 11, los nicos candidatos para races racionales son enteros que dividen al trmino conste 1, a saber 1. Sustituyendo tanto 1 como -1 en el polinomio muestra que estas no son races. (2) Para cualquier primo p los polinomios . Esto es dado que tienen grados 3 as que basta con mostrar que no tienen races racionales. Por la proposicin 11 los nicos candidatos para races son 1 y p, pero ninguna de estas da 0 cuando son sustituidos en el polinomio. (3) El polinomio como (4) El polinomio (5) Similarmente, el polinomio Esta tcnica est limitada a polinomios de grado bajo dado que se basa en la presencia de un factor de grado uno. Un polinomio de grado 4, por ejemplo, podra ser el producto de dos cuadrticas irreductibles, entonces podra ser reducible pero no tener factores lineales. Una tcnica bastante general para comprobar la irreductibilidad usa la proposicin 2 de arriba y consiste en reducir los coeficientes mdulo algn ideal. Proposicin 12. Sea I un ideal propio en el dominio integral R y sea p(x) un polinomio mnico no constante en R[x]. Si la imagen de p(x) en (R/I)[x] no puede ser factorizado en (R/I)[x] es dos polinomio de grado menor, entonces p(x) es irreducible en R[x]. dado que tiene a 1 como una raz, y se factoriza dado que no tiene una raz en

Prueba: Suponga que p(x) no puede ser factorizado en (R/I)[x] pero que p(x) es irreducible en R[x]. Como se not al final de la seccin precedente esto significa que existen polinomios mnicos no constantes a(x) y b(x) en R[x] tal que p(x)=a(x)b(x). Por la proposicin 2, reducir los coeficientes mdulo I dan una factorizacin en (R/I)[x] con factores no constantes, una contradiccin. Esta proposicin indica que si es posible encontrar un ideal propio I tal que el polinomio reducido no puede ser factorizado, entonces el polinomio es en s mismo irreducible. Desafortunadamente, existen ejemplos de polinomios pares en [x] que son irreducibles pero cuyas reducciones mdulo todo ideal son reducibles (as que su irreductibilidad no es detectable por esta tcnica). Por ejemplo, el polinomio x4+1 es irreductible en [x] pero es reducible mdulo todo primo (verificaremos en el captulo 14) y el polinomio es reducible mdulo todo entero. Ejemplo (1) Considere el polinomio Reduciendo mdulo 2, vemos a partir del ejemplo 4 ms arriba que p(x) es irreducible en [x]. Similarmente, en [x] dado que es irreducible en (2) El polinomio x2+1 es irreducible en [x] dado que es irreducible en (no tiene races en ), pero es reducible mod 2. Esto muestra que el recproco de la proposicin 12 no es vlido. (3) La idea de reducir mdulo un ideal para determinar la irreductibilidad puede tambin ser usado en varias variables, pero se debe tener cierto cuidado. Por ejemplo, el polinomio dado que mdulo el ideal (y) es el cual es irreducible y del mismo grado. En este tipo de argumento es necesario ser cuidadoso al colapsar. Por ejemplo, el polinomio (el cual es (x+1)(y+1)) es reducible, pero es irreducible tanto mdulo (x) como mdulo (y). La razn para esto es que los polinomios no unitarios en [x,y] pueden reducirse a unidades en el cociente. Para tomar esto en cuenta es necesario determinar cuales elementos el anillo original se vuelven unidades en el cociente. Los elemento en [x,y] que son unidades mdulo (y), por ejemplo, son los polinomios en [x,y] con trmino constante 1 y todos los trminos no constantes divisible por y. El hecho que y su reduccin mod(y) tienen el mismo grado por tanto elimina la posibilidad que un factor el cual sea una unidad mdulo (y), pero no una unidad en [x,y] y da la irreductibilidad de este polinomio. Un caso especial de reduccin mdulo un ideal para verificar la irreductibilidad el cual es frecuentemente til es conocido como criterio de Eisenstein (aunque originalmente fue probado ms temprano por Schnemann, as que ms apropiadamente conocido como el criterio de Eisenstein- Schnemann): Proposicin 13 (El criterio de Eisenstein) Sea P un ideal primo del dominio integral R y sea un polinomio en R*x+ (aqu n1). Suponga que pero

son todos elementos de P y suponga que a0 no es un elemento de P2. Entonces f(x) es irreducible en R[x] Prueba: Suponga que f(x) fuese reducible, digamos donde a(x) y b(x) son polinomios no constantes. Reduciendo esta ecuacin mdulo P y usando los supuestos en los coeficientes de f(x) obtenemos la ecuacin en (R/P)[x], donde la barra denota los polinomios con coeficientes reducidos mod P. Dado que P es un ideal primo, R/P en un dominio integral, y se sigue que tanto como tienen trmino constante 0, es decir, los trminos constantes tanto de a(x) como de b(x) son elementos de P. Pero entonces el trmino constante a 0 de f(x) como el producto de estos dos sera un elemento de P2, una contradiccin. El criterio de Eisenstein es ms frecuentemente aplicado a [x] as que enunciamos el resultado explcitamente para este caso: Corolario 14. (El criterio de Eisenstein para [x]) Sea p un primo en y sea Suponga que p divide a ai para todo pero que p no divide a a0. Entonces f(x) es irreducible tanto en [x] como en
2

[x] Prueba: esto es simplemente un reenunciado de la proposicin 13 en el caso de un ideal primo (p) en junto con el corolario 6. Ejemplos (1) El polinomio por el criterio de Eisenstein aplicado para el primo 5 (2) Si a es cualquier entero el cual es dividido entre algn primo p pero no divisible entre p2, entonces xn-a es irreducible en [x] por el criterio de Eisenstein. En particular, xn-p es irreducible para todos los enteros positivos n y asimismo para n2 las races n-simas de p no son nmeros racionales (es decir, este polinomio no tiene races en ) (3) Considere el polinomio mencionado previamente. El criterio de Eisenstein no aplica directamente a f(x). El polinomio es decir, y el criterio de Eisenstein para el primo 2 muestra que este polinomio es irreducible. Se sigue entonces que f(x) deber set tambin irreducible, dado que cualquier factorizacin para f(x) proveera una factorizacin para g(x) (solo reemplace x por x+1 en cada uno de los factores). Este ejemplo muestre que el criterio de Eisenstein puede a veces ser usado para verificar la irreductibilidad de un polinomio al cual no aplica inmediatamente. (4) Como otro ejemplo de esto, sea p un primo y considere el polinomio

Un ejemplo de un polinomio ciclotnico el cual consideraremos ms profundamente en la Parte IV. De nuevo, el criterio de Eisenstein no se aplica inmediatamente, pero se aplica para el primo p del polinomio

Dado que todos los coeficientes excepto el primero son divisibles por p por el toerema del binomio. Como antes, esto muestra que (5) Como un ejemplo del uso del criterio de Eisenstein ms general en la proposicin 13 repetimos el ejemplo 2 de arriba. Sea y sea n cualquier entero positivo. Considere el polinomio en el anillo R[x]. El ideal (x) es primo en el anillo coeficiente R dado que es el dominio integral . El criterio de Eisenstein para el ideal (x) de R se aplica directamente a mostrar que es irreducible en R[x]. Note que esta construccin funciona con reemplazado por cualquier campo o, de hecho, por cualquier dominio integral. Existen ahora algoritmos eficientes para factorizar polinomios sobre ciertos campos. Para polinomios con coeficientes enteros estos algoritmos han sido implementados en numerosos paquetes computacionales. Un algoritmo eficiente para factorizar polinomios sobre es llamado el Algoritmo de Berlekamp, es descrito en detalle en los ejercicio s al final de la seccin 14.3. EJERCICIOS 1. Determine si los siguientes polinomios son irreductibles en los anillos indicados. Para aquellos que son reducibles, determine su factorizacin en irreducibles. La notacin denota el campo finito p es un primo

2. Pruebe que los siguientes polinomios son irreducibles en [x]:

(c)

(substituya x-1 por x)

(d) donde p es un primo impar 3. Muestre que el polinomio sobre para todo n1, *si el polinomio se factoriza considere los valores de los factores en x=1,2,,n+ 4. Muestre que el polinomio sobre para todo n1,n4

5. Encuentre todos los polinomios irreducibles mnicos de grado 3 en y lo mismo en 3[x]. 6. Construya los campos de cada uno de los siguiente rdenes (usted podra exhibir estos como F[x]/(f(x)) para algn F y f). [Use los ejercicios 2 y 3 en la seccin 2] 7. Pruebe que 8. Pruebe que es un campo el cual es isomrfico a los nmeros complejos son ambos campos con 121

elementos. Pruebe que el mapeo que mapea el elemento al elemento De K2 (donde p es cualquier polinomio con coeficientes en 11) est bien definido y da un isomorfismo de anillos (y por tanto de campos) de K1 a K2. 9. Pruebe que el polinomio 8.1) 10. Pruebe que el polinomio dominio de factorizacin nico sobre el campo cuadrtico [Primero use el mtodo de la proposicin 11 para el (ver ejercicio 8, seccin 8.1) para mostrar que si . Concluya que sobre (usted podra usar el hecho que es un UFD (* creo que es dominio de factorizacin nico) ver ejercicio 9 de seccin

es una raz de p(x) entonces es un divisor de 2 en

debe ser y entonces muestre que p(x) no tiene factores lineales sobre F. Muestre similarmente que p(x) no es el producto de dos cuadrticas con coeficientes en F.] 11. Pruebe que 12. sobre si y solo si n es un primo 13. Pruebe que sobre para todos los enteros 14. Factorice cada uno de los dos polinomios: en irreducibles sobre cada uno de los siguientes anillos: