Polinomio de valores enteros

En matemáticas, un polinomio de valores enteros (también conocido como polinomio numérico) $P(t)$ es un tipo de polinomio cuyo valor $P(n)$ es un número entero para cada cualquier entero n. Todo polinomio con coeficientes enteros tiene valores enteros, pero lo contrario no es necesariamente cierto. Por ejemplo, el polinomio

{\frac {1}{2}}t^{2}+{\frac {1}{2}}t={\frac {1}{2}}t(t+1)

toma valores enteros siempre que t sea un número entero, debido a que $t$ y $t+1$ son una pareja formada por un número par y otro impar. Los valores que toma este polinomio son números triangulares.

Los polinomios de valores enteros son objetos de estudio por derecho propio en álgebra y aparecen con frecuencia en topología algebraica.^[1]

Clasificación editar

La clase de polinomios de valores enteros fue descrita completamente por George Pólya (1915). Dentro del anillo de polinomios $\mathbb {Q} [t]$ formado por los polinomios con coeficientes racionales, el subanillo de los polinomios de valores enteros es un grupo abeliano libre. Tiene como bases los polinomios

P_{k}(t)=t(t-1)\cdots (t-k+1)/k!

para $k=0,1,2,\dots$ , es decir, los coeficientes binomiales. En otras palabras, cada polinomio de valores enteros se puede escribir como un polinomio con coeficientes enteros definidos como una combinación lineal de coeficientes binomiales exactamente de una manera. La demostración se basa en el método de las series discretas de Taylor: los coeficientes binomiales son polinomios de valores enteros y, a la inversa, la diferencia finita de una serie entera es una serie entera, por lo que la serie de Taylor discreta de una serie entera generada por un polinomio tiene coeficientes enteros, y es una serie finita.

Divisores primos fijos editar

Los polinomios de valores enteros se pueden usar de manera efectiva para resolver preguntas sobre divisores fijos de polinomios. Por ejemplo, los polinomios P con coeficientes enteros que siempre toman valores de números pares son solo aquellos en los que $P/2$ tiene un valor entero. Estos, a su vez, son los polinomios que pueden expresarse como una combinación lineal con coeficientes enteros pares de los coeficientes binomiales.

En cuestiones de teoría de números primos, como la hipótesis H de Schinzel y la conjetura de Bateman-Horn, es una cuestión de importancia básica entender el caso en el que P no tiene divisor primo fijo (particularidad conocida como propiedad de Buniakovski, en referencia al matemático ruso Víktor Buniakovski). Al escribir P en términos de los coeficientes binomiales, se comprueba que el divisor primo fijo más alto es también el máximo común divisor primo más alto de los coeficientes en tal representación. Entonces, la propiedad de Buniakovski es equivalente a la condición de disponer de coeficientes coprimos.

Como ejemplo, el par de polinomios $n$ y $n^{2}+2$ viola esta condición en $p=3$ : para cada n, el producto

n(n^{2}+2)

es divisible por 3, lo que se sigue de la representación

n(n^{2}+2)=6{\binom {n}{3}}+6{\binom {n}{2}}+3{\binom {n}{1}}

con respecto a la base binomial, donde el factor común más alto de los coeficientes, y por lo tanto, el divisor fijo más alto de $n(n^{2}+2)$ , es 3.

Otros anillos editar

Los polinomios numéricos se pueden definir sobre otros anillos y campos, en cuyo caso los polinomios de valores enteros anteriores se denominan polinomios numéricos clásicos. ^{[cita requerida]}

Aplicaciones editar

La teoría K de BU(n) opera sobre polinomios numéricos (simétricos).

El polinomio de Hilbert de un anillo polinomial en k + 1 variables es el polinomio numérico ${\binom {t+k}{k}}$ .

Referencias editar

↑ Johnson, Keith (2014), «Stable homotopy theory, formal group laws, and integer-valued polynomials», en Fontana, Marco; Frisch, Sophie; Glaz, Sarah, eds., Commutative Algebra: Recent Advances in Commutative Rings, Integer-Valued Polynomials, and Polynomial Functions, Springer, pp. 213-224, ISBN 9781493909254 .. See in particular pp. 213–214.

Bibliografía editar

Álgebra

Cahen, Paul-Jean; Chabert, Jean-Luc (1997), Integer-valued polynomials, Mathematical Surveys and Monographs 48, Providence, RI: American Mathematical Society, MR 1421321 .
Pólya, George (1915), «Über ganzwertige ganze Funktionen», Palermo Rend. (en alemán) 40: 1-16, ISSN 0009-725X, JFM 45.0655.02 .

Topología algebraica

Baker, Andrew; Clarke, Francis; Ray, Nigel; Schwartz, Lionel (1989), «On the Kummer congruences and the stable homotopy of BU», Transactions of the American Mathematical Society 316 (2): 385-432, JSTOR 2001355, MR 0942424, doi:10.2307/2001355 .

Ekedahl, Torsten (2002), «On minimal models in integral homotopy theory», Homology, Homotopy and Applications 4 (2): 191-218, MR 1918189, Zbl 1065.55003, doi:10.4310/hha.2002.v4.n2.a9 .

Elliott, Jesse (2006). «Binomial rings, integer-valued polynomials, and λ-rings». Journal of Pure and Applied Algebra 207 (1): 165-185. MR 2244389. doi:10.1016/j.jpaa.2005.09.003.

Hubbuck, John R. (1997), «Numerical forms», Journal of the London Mathematical Society, Series 2 55 (1): 65-75, MR 1423286, doi:10.1112/S0024610796004395 .

Lecturas relacionadas editar

Narkiewicz, Władysław (1995). Polynomial mappings. Lecture Notes in Mathematics 1600. Berlin: Springer Science+Business Media. ISBN 3-540-59435-3. ISSN 0075-8434. Zbl 0829.11002.

Datos: Q568988

[1] Johnson, Keith (2014), «Stable homotopy theory, formal group laws, and integer-valued polynomials», en Fontana, Marco; Frisch, Sophie; Glaz, Sarah, eds., Commutative Algebra: Recent Advances in Commutative Rings, Integer-Valued Polynomials, and Polynomial Functions, Springer, pp. 213-224, ISBN 9781493909254 .. See in particular pp. 213–214.

[1]