|
In mathematics, the additive polynomials are an important topic in classical algebraic number theory.
Definition
Let k be a field of finite characteristic p, with p a prime number. A polynomial <math>P(x)<math> with coefficients in k is called additive, if
- <math>P(a+b)=P(a)+P(b)<math>
for all a and b in k. One says that <math>P(x)<math> is absolutely additive, or Frobenius, if it is additive over the algebraic closure of k.
The absolutely additive polynomials are the interesting ones. It will be described below how they relate to the ordinary additive polynomials.
Examples
The polynomial <math>x^p<math> is absolutely additive. Indeed, for any a and b in the algebraic closure of k one has by the binomial theorem
- <math>(a+b)^p = \sum_{n=0}^p {p \choose n} a^n b^{p-n}.<math>
Since p is prime, one can prove that for all n = 1, ..., p−1 the binomial coefficient
- <math> {p \choose n}<math>
is divisible by p, which implies that
- <math>(a+b)^p=a^p+b^p<math>
over the algebraic closure of k.
It can be shown in similar manner that all the polynomials of the form
- <math>\tau_p^n(x)=x^{p^n}<math>
are absolutely additive, where n is a non-negative integer.
The ring of absolutely additive polynomials
It is quite easy to prove that any linear combination of polynomials <math>\tau_p^n(x)<math> with coefficients in k is also an absolutely additive polynomial. An interesting question is whether there are other absolutely additive polynomials except these linear combinations. The answer is that these are the only ones.
One can check that if P(x) and M(x) are absolutely additive polynomials, then so are <math>P(x)+M(x)<math> and <math>P(M(x))<math>. These imply that the absolutely additive polynomials form a ring under polynomial addition and composition. This ring is denoted
- <math>k\{ \tau_p\}.<math>
It can be shown that this ring is not commutative unless k equals the field <math>\mathbb{F}_p=\mathbf{Z}/p\mathbf{Z}<math> (see modular arithmetic). Indeed, consider the absolutely additive polynomials <math>ax<math> and <math>x^p<math> for a coefficient <math>a<math> in <math>k<math>. For them to commute under composition, we must have
- <math>(ax)^p=ax^p,\,<math>
or <math>a^p-a=0.<math> This is false for <math>a<math> not a root of this equation, that is, for <math>a<math> outside <math>\mathbb{F}_p.<math>
Additive vs. absolutely additive
From their definition, it follows quickly that any absolutely additive polynomial is also an additive polynomial. But they are not equivalent. The polynomial
- <math>x^{p+1}-x^2=x(x^p-x)\,<math>
over <math>\mathbb{F}_p<math> is trivially additive, as it takes only the value 0 over this field according to Fermat's little theorem, but it is not absolutely additive, since it is not a linear combination of the polynomials <math>\tau_p^n(x)<math>.
Another way of emphasizing the difference between these two types is the following: for an additive polynomial <math>P(x)<math> which is not absolutely additive, the equality
- <math>P(a+b)=P(a)+P(b)<math>
holds over k, but will fail over a bigger field.
One can show however, that if the field k is infinite, then any additive polynomial over k is absolutely additive.
The fundamental theorem of additive polynomials
Let <math>P(x)<math> be a polynomial with coefficients in k, and <math>\{w_1,...,w_m\}<math> be the set of its roots, which in general are in the algebraic closure of k. Assuming that the roots of <math>P(x)<math> are distinct (that is, <math>P(x)<math> is separable), then P(x) is absolutely additive if and only if <math>\{w_1,...,w_m\}<math> forms a group with the field addition.
References
- David Goss, Basic Structures of Function Field Arithmetic, 1996, Springer, Berlin. ISBN 3540610871.
External links
| 
