Polinomio irreducible

En teoría de Anillos, dado un dominio de integridad R, un polinomio p ( x ) R [ x ] {\displaystyle p(x)\in R[x]} no nulo y no unidad (es decir, sin inverso multiplicativo en R[x]) se dice irreducible si en cualquier factorización de la forma p ( x ) = q ( x ) r ( x ) {\displaystyle p(x)=q(x)r(x)} en el dominio R [ x ] {\displaystyle R[x]} , uno de los poliniomios q ( x ) {\displaystyle q(x)} o r ( x ) {\displaystyle r(x)} es unidad. Cuando el dominio de integridad en cuestión es un campo, el que p ( x ) {\displaystyle p(x)} sea un elemento irreducible de R [ x ] {\displaystyle R[x]} equivale a que este no pueda factorizarse como el producto de dos polinomios de grado menor estricto al suyo. Es decir, si p = r q {\displaystyle p=r\cdot q} entonces ha de ser r R {\displaystyle r\in R} o q R {\displaystyle q\in R} (es decir, alguno de ellos ha de ser un polinomio constante).

Esto es un caso particular de elemento irreducible en un dominio íntegro.

El dominio íntegro R puede, entre otros, ser el conjunto R {\displaystyle \scriptstyle \mathbb {R} } de los números reales (que es dominio íntegro por ser cuerpo), el conjunto C {\displaystyle \scriptstyle \mathbb {C} } de los números complejos (también cuerpo), el conjunto Q {\displaystyle \scriptstyle \mathbb {Q} } de los números racionales (cuerpo también) o el conjunto Z {\displaystyle \scriptstyle \mathbb {Z} } de los números enteros (que no es cuerpo pero sí dominio íntegro).

Ejemplos

Los cinco polinomios siguientes demuestran algunas características elementales de los polinomios reducibles e irreducibles, dependiendo del dominio de integridad donde estén definidos:

p 1 ( x ) = x 2 + 4 x + 4 = ( x + 2 ) ( x + 2 ) {\displaystyle p_{1}(x)=x^{2}+4x+4\,=(x+2)(x+2)} ,
p 2 ( x ) = x 2 4 = ( x 2 ) ( x + 2 ) {\displaystyle p_{2}(x)=x^{2}-4\,=(x-2)(x+2)} ,
p 3 ( x ) = x 2 4 / 9 = ( x 2 / 3 ) ( x + 2 / 3 ) {\displaystyle p_{3}(x)=x^{2}-4/9\,=(x-2/3)(x+2/3)} ,
p 4 ( x ) = x 2 2 = ( x 2 ) ( x + 2 ) {\displaystyle p_{4}(x)=x^{2}-2\,=(x-{\sqrt {2}})(x+{\sqrt {2}})} ,
p 5 ( x ) = x 2 + 1 = ( x i ) ( x + i ) {\displaystyle p_{5}(x)=x^{2}+1\,=(x-i)(x+i)} .
  • Sobre el anillo Z {\displaystyle \scriptstyle \mathbb {Z} } de números enteros, los primeros dos polinomios son reducibles, pero los tres últimos son irreducibles (el tercero no tiene coeficientes del número entero).
  • Sobre el cuerpo Q {\displaystyle \scriptstyle \mathbb {Q} } de números racionales, los primeros tres polinomios son reducibles, pero los otros dos son irreducibles.
  • Sobre el cuerpo R {\displaystyle \scriptstyle \mathbb {R} } de números reales, los primeros cuatro polinomios son reducibles, pero el quinto sigue siendo irreducible.
  • Sobre el cuerpo C {\displaystyle \scriptstyle \mathbb {C} } de números complejos, los cinco polinomios son reducibles. De hecho en C {\displaystyle \scriptstyle \mathbb {C} } , cada polinomio no-constante se puede descomponer en factores lineales
p ( z ) = a n ( z z 1 ) ( z z 2 ) ( z z n ) {\displaystyle p(z)=a_{n}(z-z_{1})(z-z_{2})\cdots (z-z_{n})}
donde a n {\displaystyle a_{n}} es el coeficiente principal del polinomio y z 1 , , z n {\displaystyle z_{1},\ldots ,z_{n}} son los ceros de p ( x ) {\displaystyle p(x)} . Por lo tanto, todos los polinomios irreducibles son de grado 1.

En el caso del cuerpo R {\displaystyle \scriptstyle \mathbb {R} } , tampoco pueden ser reducibles aquellos polinomios de grado 2 con discriminante negativo, ya que a pesar de ser factorizado por polinomios de menor grado que éste, y mayor o igual a 0, no tienen sus coeficientes dentro del cuerpo de los reales. Éste es el teorema fundamental del álgebra.

Criterios de irreductibilidad

Para demostrar si un polinomio es irreducible se pueden aplicar varios criterios, entre los que se encuentran el criterio de Eisenstein, el criterio de reducción o el Lema de Gauss. Aparte, todos los polinomios primitivos son irreducibles, aunque el recíproco no es cierto. Un polinomio irreducible es polinomio primitivo si y solo si x p m 1 r i 1 ( mod f ( x ) ) {\displaystyle x^{{p^{m-1}} \over {ri}}\not \equiv 1{\pmod {f(x)}}} cuando p es primo y x es un elemento de orden p m Z p [ x ] / f ( x ) {\displaystyle p^{m}\in \mathbb {Z} _{p}[x]/f(x)} .

Polinomios irreducibles de Z[x]

  • Un polinomio P ( x ) {\displaystyle \scriptstyle P(x)} es irreducible sobre Z [ X ] {\displaystyle \scriptstyle \mathbb {Z} [X]} , si y sólo si Q ( x ) = P ( x + 1 ) {\displaystyle \scriptstyle Q(x)=P(x+1)} también es irreducible.
  • Trivialmente un polinomio de segundo grado, que no tenga a 1 o -1 como raíz, sólo puede ser reducible si su término independiente no es un número primo: P ( x ) = ( a x + b ) ( c x + d ) = ( a c ) x 2 + ( a d + b c ) x + b d {\displaystyle \scriptstyle P(x)=(ax+b)(cx+d)=(ac)x^{2}+(ad+bc)x+bd} , si { b , d } { + 1 , 1 } = {\displaystyle \scriptstyle \{b,d\}\cap \{{+1,-1}\}=\varnothing } , entonces la reducibilidad implica que el término independiente tiene dos divisores no triviales y por tanto no puede ser primo.

Polinomios irreducibles de Q[x]

Sea f(x) un polinomio primitivo. Así pues, si f(x) es irreducible sobre 
  
    
      
        
          
            Z
          
          [
          X
          ]
        
      
    
    {\displaystyle \scriptstyle \mathbb {Z} [X]}
  
, entonces también es irreducible considerado sobre 
  
    
      
        
          
            Q
          
          [
          X
          ]
        
      
    
    {\displaystyle \scriptstyle \mathbb {Q} [X]}
  
.[1]

Polinomios irreducibles de R[x]

Los polinomios irreducibles sobre R [ X ] {\displaystyle \scriptstyle \mathbb {R} [X]} son los binomios y los polinomios x 2 + b x + c {\displaystyle \scriptstyle x^{2}+bx+c} de grado 2, tales que su discriminante sea negativo, es decir:

Δ < 0 ; Δ = b 2 4 c {\displaystyle \Delta <0;\,\qquad \Delta =b^{2}-4c}

Véase también

Referencias

  1. F. Zaldívar, 1996, p. 34

Bibliografía

  • Zaldívar, Felipe (1996). «1. Anillos». En UAM Iztapalapa, ed. Teoría de Galois (1 edición). México: Anthropos. pp. 33-41. ISBN 84-7658-502-0. 

Enlaces externos

Control de autoridades
  • Proyectos Wikimedia
  • Wd Datos: Q1476663
  • Wd Datos: Q1476663