CAPITULO XE POLINOMIOS DE COEFICIENTES RACIONALES § 56. Reducibilidad de los polinomios sobre el campo de los niimeros racionales. EL tereer campo numérico que, junto con Ios campos de nime- ros reales y de nameros complejos tiene para nosotros un interés especial, es 6] campo de los nimeros racionales; éste Jo designaremos. mediante R. Entre todos los campos numéricos éste es el mas pequeiio, pues, como se demostré en el § 43, el campo FR esta contenido total- mente en cualquier campo numérico. Ahora nos va a interesar el problema de la reducibilidad de los polinomios sobre el campo de niimeros vacionales y, en el siguiente parrafo, ce] problema de Jas s racionales (enteras o fraccionarias) de los polinamios de coeficientes racionales. Subrayemos una vez mas, que éstos son alos problemas distintos; por ejemplo, el polinomio a) 2g? 4d (42 1)? es reducible sobre cl campo de niimeros racionales, a pesar de que no tiene ninguna raiz racional. iQué se puede decir de la reducibilidad de [os polinomios sobre cl campo A? Ante todo, obsérvese que, dado un polinamio f (2) de coelicientes racionases que no sean todos enteros, entonces, reduciendo éstos a un comin denominador y multiplicando f (z) por este denominador, igual, por ejemplo, a &, resulta un polino- mio &f (2) cuyos coeficientes son ya nimeros enteros. Es evidente, que los polinomios f (2) y &f (z) tienen raices iguales; por otra parte, éstos son a la vez reducibles o irreducibles sobre el campo f. Mas, por ahora, no tenemos derecho de limitatnos a estudiar en adelante Jos polinomios de coeficientes enteros. En efecto, supon- gamos que el polinomio ¥ (x) de coeficientes enteros es reducible sobre el campo de los ntimeros racionales, a sea, que se descompone en factores de menor grado de coeficientes racionales (en general, fraccionarios). ¢Se deduce de esto que g (z) se descompone en fac- tores de coeficientes enteros? En otras palabras, gpuede ocurrir que un polinomio de coeficientes enteros sea reducible sobre el ‘ampo de nimeros racionales y sea irreducible sobre cl anillo de los ndmeres enteros?360 _Cap. XIE Patinomios de coeficientes ractonates La respuesta a eslas preguntas se puede obtener haciendo un exdmen ae al que se hizo en el § 51. Llamemos primitivo al polinomio f (x) de coeficienles enteros, si sus coeficientes son primos entre si, o sea, si no tienen divisores comunes distintos de 4 y —1. Cnalqnier polinomio ¢p fz) de coeficientes racionales se puede representar de un modo tinico en forma de un producto de una fraccién irreducible por un polinomio primitivo: o(2)=* er (1) para esto hay que sacar fuera de paréntesis el comin denominador de todos los eoeficientes del polinomio | (x), y después, los factores comunes de los numeradores de estos coeficientes; obsérvese que el grado de f (x) es igual al grado de @ (2). La unicidad (salvo el signo) de la representacién (1) se demuestra del modo siguiente. Sea Fi donde g(z) es de nuevo un polinomio primitive. Entonces, ad} (2) = beg (x). Por lo tanto, ad y bc se han obtenido sacando todos Jos factores comunes de los cocficientes de un mismo pelinomio de coeficientes enteros, por lo cual, pueden dilerenciarse entre si solamente en el signo. De aqui sc deduce, que los polinomios primitivos f (x) y g (x) también pueden diferenciarse entre si solamente en el signo. Para los polinomios primitiyos de coeficientes enteras conserva su valor elylema de Gau El producto de das polinamios primitivos de coeficientes enteros es un polinomio primitivo. En efecto, sean dados los polinomios primitives de cocficientes enteros 9@ f (2) = aot" + att! Payette ban, g(x) = boa! + bya! ee sb bya y sea F(x) ge (2) = eget tl beget... tery ee ODL tna Si este preducto no es primitive, existe un nimero primo p que es comtin divisor de todos los coeficientes ¢o. cy, +) h4+2- Como no todos los coeficientes del polinomio primitive f(z) pueden dividirse por p, habra uno, sea éste @;, que sera el primero que no se divide por p; del mismo modo, sea 4; el primer coeficiente del poli- nomio g (x) que no se divide por p. Maltiplicando término a término f (x) por g(x) y reuniendo los términos que contienen a x(Pt9~(19),§ 56. Reducibilidad de los polinomios. 36h resulta: ing by -b ay gD jaa + Cp-abjnap «~~ aiasds-1b Ginadj-2+ El primer miembro de esta igualdad se divide por p. Por éste se dividen también todos los términos del segundo miembro, menos. el primero; en efecto, en virtud de las condiciones impuestas a la eleccién de i y j, todos los coeficientes a;4, aj-2, .-., y también b;-1, bj-2, ---, se dividen por p. De esto se deduce, que el pro- ducto a;b; también se divide por p y, por esto, como p es un nimero- primo, tiene que dividirse por p por lo menos uno de los coeficientes @,, 6;, lo cual, sin embargo, no es cierto. Con esto queda terminada Ja demostracién del lema. Pasemos a responder a las preguntas que se hicieron mds arriba. Supongames que el polinomio g(x) de grado n, de coeficientes- enteros, es reducible sobre el campo de niimeros racionales: & (7) = 91 (2) G2 (2), donde p(t) y 2(z) son polinomios de coeficientes racionales de grado menor que rn. Entonces, (2) = FEA es t=, 2, donde 4 =, ©s una fraceién irreducible, f:(z) es un polinomio pri- mitivo. bor lo tanto, 8 = HE He @) fo(@)l- EI primer miembro de esta igualdad es un polinomio de coeficientes enteros, por esto, el denominador b,bz del segundo miembro tiene que simplificarse. Mas, por el lema de Gauss, el polinomio que figura entre corchetes es primitivo, por lo tanto, cualquier factor primo de b,4. puede simplificarse solamente con cierto factor primo de aa, y como a, y ; son primos entre si, i = 1, 2, el ntimero aq tiene que dividirse por by y el mimero a, por by: y= bas, ay = boa}. a(x) = ayes (2) fo (2). Uniendo el coeficiente aja; a cualquiera de los factores f, (x), fz (x). obtenemos la descomposicién del polinomio g(z) en factores de menor grado de coeficientes enteros. Con esto, queda demostrade el siguiente teorema: Un polinomio de coeficientes enteros que es irreducible sobre el anillo de los mimeros enteros, es irreducible también sobre el campo de los ntimeros racionales. De aqui que