En matemáticas , los polinomios aditivos son un tema importante en la teoría clásica de números algebraicos .
Sea k un cuerpo de característica prima p . Un polinomio P ( x ) con coeficientes en k se llama polinomio aditivo o polinomio de Frobenius si
como polinomios en a y b . Es equivalente suponer que esta igualdad se cumple para todos los a y b en algún cuerpo infinito que contenga k , como su clausura algebraica .
Ocasionalmente, se utiliza absolutamente aditivo para la condición anterior, y aditivo se utiliza para la condición más débil de que P ( a + b ) = P ( a ) + P ( b ) para todos a y b en el cuerpo. Para cuerpos infinitos, las condiciones son equivalentes, pero para cuerpos finitos no lo son, y la condición más débil es la "incorrecta" ya que no se comporta bien. Por ejemplo, sobre un cuerpo de orden q, cualquier múltiplo P de x q − x satisfará P ( a + b ) = P ( a ) + P ( b ) para todos a y b en el cuerpo, pero por lo general no será (absolutamente) aditivo.
El polinomio x p es aditivo. En efecto, para cualquier a y b en la clausura algebraica de k se tiene por el teorema del binomio
Como p es primo, para todo n = 1, ..., p −1 el coeficiente binomial es divisible por p , lo que implica que
como polinomios en a y b .
De manera similar todos los polinomios de la forma
son aditivos, donde n es un entero no negativo .
La definición tiene sentido incluso si k es un campo de característica cero, pero en este caso los únicos polinomios aditivos son aquellos de la forma ax para algún a en k . [ cita requerida ]
Es bastante fácil demostrar que cualquier combinación lineal de polinomios con coeficientes en k es también un polinomio aditivo. Una pregunta interesante es si existen otros polinomios aditivos aparte de estas combinaciones lineales. La respuesta es que estos son los únicos.
Se puede comprobar que si P ( x ) y M ( x ) son polinomios aditivos, entonces también lo son P ( x ) + M ( x ) y P ( M ( x )). Esto implica que los polinomios aditivos forman un anillo bajo la adición y composición de polinomios . Este anillo se denota
Este anillo no es conmutativo a menos que k sea el cuerpo (ver aritmética modular ). De hecho, considere los polinomios aditivos ax y x p para un coeficiente a en k . Para que conmuten bajo composición, debemos tener
y por lo tanto a p − a = 0. Esto es falso para a no es una raíz de esta ecuación, es decir, para a exterior
Sea P ( x ) un polinomio con coeficientes en k , y el conjunto de sus raíces. Suponiendo que las raíces de P ( x ) son distintas (es decir, P ( x ) es separable ), entonces P ( x ) es aditivo si y solo si el conjunto forma un grupo con el cuerpo adición.