P. 1
Sobre la Divisibilidad de Polinomios con Coeficientes Enteros

Sobre la Divisibilidad de Polinomios con Coeficientes Enteros

|Views: 141|Likes:
José Heber Nieto
José Heber Nieto

More info:

Categories:Topics, Art & Design
Published by: Jhosed André Loyola Sánchez on Jan 21, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

02/19/2014

pdf

text

original

Divulgaciones Matem´ticas Vol. 11 No. 2(2003), pp.

149–152 a

Sobre la Divisibilidad de Polinomios con Coeficientes Enteros
On the Divisibility of Polynomials with Integer Coefficients Jos´ H. Nieto (jhnieto@luz.ve) e
Departamento de Matem´tica, Facultad de Ciencias a Universidad del Zulia, Maracaibo, Venezuela
Resumen Sean f, g ∈ Z[x]. En este trabajo se prueba que g | f si y s´lo si o c(g) | c(f ) (donde c(f ) denota el contenido de f , es decir el m´ximo a com´ n divisor de sus coeficientes) y g(n) | f (n) para infinitos n ∈ Z. u Como aplicaci´n se prueba que los polinomios m´nicos irreducibles y o o no constantes f ∈ Z[x] tales que f (n) divide a f (nk ) para todo entero n (siendo k ≥ 2 un entero fijo) son los polinomios ciclot´micos Φj de o orden j coprimo con k. Palabras y frases clave: polinomios, divisibilidad, ciclot´mico. o Abstract Let f, g ∈ Z[x]. In this paper it is proved that g | f if and only if c(g) | c(f ) (where c(f ) denotes the content of f , i.e. the greatest common divisor of its coefficients) and g(n) | f (n) for infinitely many n ∈ Z. As an application it is proved that the monic irreducible non constant polynomials f ∈ Z[x] such that f (n) divides P (nk ) for all integers n (k ≥ 2 being a fixed integer) are the cyclotomic polynomials Φj with order j coprime with k. Key words and phrases: polynomials, divisibility, cyclotomic.

1

Introducci´n o

Denotemos con Z[x] al anillo de los polinomios con coeficientes enteros en una indeterminada x, y con Q[x] al anillo de los polinomios con coeficientes
Recibido 2002/12/17. Aceptado 2003/11/27. MSC (2000): Primary 13F20; Secondary 11C08.

150

Jos´ H. Nieto e

racionales. Si f, g ∈ Z[x] se dice que g divide a f en Z[x] (y se denota g | f ) si existe h ∈ Z[x] tal que f = gh. Si g | f entonces es claro que g(n) | f (n) para todo entero n. El prop´sito de esta nota es establecer alg´n tipo de rec´ o u ıproco para esta propiedad, en otras palabras deducir la relaci´n de divisibilidad entre o dos polinomios a partir de la divisibilidad entre los valores adoptados por ellos. El teorema de identidad de polinomios establece que si dos polinomios toman valores iguales al ser evaluados en un n´mero de valores superior al grado de u ambos, entonces son id´nticos. Estamos interesados en un resultado similar e pero sustituyendo la relaci´n de igualdad por la de divisibilidad. Los siguientes o ejemplos muestran las dificultades inherentes a este problema. Ejemplo 1. Sea N un entero positivo y consideremos los polinomios f (x) = x + N ! y g(x) = x. Entonces g(n) | f (n) para n = 1, 2, . . . , N pero g f . Este ejemplo muestra que ning´n n´mero finito de valores es suficiente u u para deducir la divisibilidad de polinomios a partir de los valores adoptados por ellos. Ejemplo 2. Sean f (x) = x2 + x y g(x) = 2. Entonces g(n) | f (n) para todo n ∈ Z pero g f en Z[x]. ¡Este ejemplo muestra que ni siquiera la totalidad de los valores es suficiente! Pero es claro que esta situaci´n es consecuencia de que los coeficientes o de g admiten un divisor com´n (en este caso el 2) que no divide a todos los u coeficientes de f . Definamos el contenido c(f ) de un polinomio f ∈ Z[x] como el m´ximo a com´n divisor de todos sus coeficientes. Si c(f ) = 1 entonces se dice que el u polinomio f es primitivo. Es claro que para cualquier polinomio f ∈ Z[x] existe f1 ∈ Z[x] tal que f1 es primitivo y f = c(f )f1 . A continuaci´n se enuncian un resultado cl´sico de Gauss y dos corolarios o a inmediatos: Lema 1 (Gauss). Si f, g ∈ Z[x] son ambos primitivos entonces su producto f g tambi´n es primitivo. e La demostraci´n puede verse en [3] o [1]. o Corolario 1. Si f, g ∈ Z[x] entonces c(f g) = c(f )c(g). Corolario 2. Si f, g ∈ Z[x] y g | f entonces c(g) | c(f ).

2

El resultado principal

Teorema 1. Si f, g ∈ Z[X], c(g) | c(f ) y g(n) | f (n) para infinitos enteros n, entonces g | f en Z[X].
Divulgaciones Matem´ticas Vol. 11 No. 2 (2003), pp. 149–152 a

Sobre la Divisibilidad de Polinomios con Coeficientes Enteros

151

Demostraci´n. Dividamos f entre g en Q[x] para obtener f (x) = g(x)q(x) + o r(x), con q, r ∈ Q[x] y el grado de r es menor que el de g. Sea m el m´ ınimo com´n m´ltiplo de los denominadores de todos los coeficientes de q y r, de u u modo tal que mq, mr ∈ Z[x]. Sea n1 , n2 , . . . una sucesi´n de enteros diferentes o tales que g(ni ) | f (ni ) y g(ni ) = 0 para todo i = 1, 2, . . . Entonces mf (ni )/g(ni ) − mq(ni ) = mr(ni )/g(ni ) para i = 1, 2, . . . y como el miembro izquierdo es entero el miembro derecho tambi´n debe serlo. Pero e como l´ i→∞ |ni | = ∞ y el grado de r es menor que el de g se tiene que ım l´ i→∞ mr(ni )/g(ni ) = 0. Por lo tanto r(ni ) = 0 a partir de un cierto i0 en ım adelante. Esto implica que r es id´nticamente nulo y por lo tanto f = gq y e mf = g(mq). Aplicando ahora el Corolario 2 resulta que mc(f ) = c(mf ) = c(g)c(mq), y como por hip´tesis c(g) | c(f ) se sigue que m(c(f )/c(g)) = c(mq). o Por lo tanto todos los coeficientes de mq son m´ltiplos de m y q ∈ Z[x], con u lo cual g | f en Z[X].

3

Una aplicaci´n o

En [2] se plantea el problema siguiente: “Hallar todos los polinomios P con coeficientes enteros, irreducibles, m´nicos y de grado 2000, tales que P (n) o divide a P (n2 ) para todo entero n”. Es f´cil hallar los polinomios de grado a 1 que satisfacen las dem´s condiciones del problema, a saber x y x − 1. De a grado 2 hay s´lo uno, a saber x2 + x + 1. Pero tratar de hallar los de grado o 2000 por m´todos directos no parece factible. Una generalizaci´n natural de e o este problema consiste en buscar polinomios de grado arbitrario, irreducibles y m´nicos, tales que P (n) divida a P (nk ) para todo entero n (siendo k ≥ 2 o un entero fijo). Denotemos mediante Φn al polinomio ciclot´mico de orden n, es decir o
n−1

Φn (x) =
d=1 (d,n)=1

(x − e

2πid n

).

Es bien conocido (ver [3]) que Φn es un polinomio con coeficientes enteros, m´nico e irreducible. Sus ra´ son las ra´ primitivas de la unidad de orden o ıces ıces n, y su grado es por lo tanto igual a φ(n) (siendo φ la funci´n de Euler). o Se tiene entonces el siguiente resultado: Teorema 2. Sea k ≥ 2 un entero. Los polinomios con coeficientes enteros, m´nicos e irreducibles tales que P (n)|P (nk ) para infinitos enteros n son 1, x o y los polinomios ciclot´micos Φj para j coprimo con k. o
Divulgaciones Matem´ticas Vol. 11 No. 2 (2003), pp. 149–152 a

152

Jos´ H. Nieto e

Demostraci´n. Obviamente el polinomio constante 1 y el polinomio x satiso facen las condiciones del problema, y los consideraremos como soluciones triviales. Si P es otro polinomio soluci´n entonces por el Teorema 1 se tiene o que P (xk ) = P (x)Q(x), para alg´n Q ∈ Z[x]. Si ζ es una ra´ (compleja) u ız de P entonces P (ζ k ) = P (ζ)Q(ζ) = 0, es decir que ζ k tambi´n es ra´ de e ız 2 3 P . Aplicando reiteradamente este razonamiento resulta que tambi´n ζ k , ζ k , e 4 ζ k ,. . . son ra´ ıces de P . Pero como P s´lo puede tener un n´mero finito de o u r s ra´ ıces, deben existir enteros r > s > 0 tales que ζ k = ζ k , es decir que s r s ζ k (ζ k −k − 1) = 0. Pero ζ = 0 (pues P no es una de las soluciones triviales), por lo tanto ζ es una ra´ de la unidad. Si ζ es primitiva de orden j, entonces ız las dem´s ra´ a ıces primitivas de la unidad de orden j deben ser ra´ ıces de P , es decir que P debe ser m´ltiplo de Φj , y como P es irreducible en realidad se u tiene que P = Φj . Ahora bien, para que ζ k sea tambi´n primitiva de orden j, e k y j deben ser coprimos.

Referencias
[1] Herstein, I. N. Topics in Algebra, Blaisdell, Waltham, 1964. Hay traducci´n o ´ al castellano: Algebra Moderna, Trillas, M´xico, 1970. e [2] Caragea, D., Ene, V. Problem 10802, The American Mathematical Monthly, 107(5) (2000), p. 462. [3] Lang, S. Algebra, Addison-Wesley, Reading, 1965.

Divulgaciones Matem´ticas Vol. 11 No. 2 (2003), pp. 149–152 a

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->