Additive polynomial

In mathematics, the additive polynomials are an important topic in classical algebraic number theory.

Definition

Let ${\displaystyle k}$ be a field of prime characteristic ${\displaystyle k}$. A polynomial ${\displaystyle P(x)}$ with coefficients in ${\displaystyle k}$ is called an additive polynomial, or a Frobenius polynomial, if

$${\displaystyle P(a+b)=P(a)+P(b)}$$

as polynomials in ${\displaystyle a}$ and ${\displaystyle b}$. It is equivalent to assume that this equality holds for all ${\displaystyle a}$ and ${\displaystyle b}$ in some infinite field containing ${\displaystyle k}$, such as its algebraic closure.

Occasionally absolutely additive is used for the condition above, and additive is used for the weaker condition that ${\displaystyle P(a+b)=P(a)+P(b)}$ for all ${\displaystyle a}$ and ${\displaystyle b}$ in the field. ^[1] For infinite fields the conditions are equivalent, ^[2] but for finite fields they are not, and the weaker condition is the "wrong" as it does not behave well. For example, over a field of order ${\displaystyle q}$ any multiple ${\displaystyle P}$ of ${\displaystyle x^{q}-x}$ will satisfy ${\displaystyle P(a+b)=P(a)+P(b)}$ for all ${\displaystyle a}$ and ${\displaystyle b}$ in the field, but will usually not be (absolutely) additive.

Examples

The polynomial ${\displaystyle x^{p}}$ is additive. ^[1] Indeed, for any ${\displaystyle a}$ and ${\displaystyle b}$ in the algebraic closure of ${\displaystyle k}$ one has by the binomial theorem

$${\displaystyle (a+b)^{p}=\sum _{n=0}^{p}{p \choose n}a^{n}b^{p-n}.}$$

Since ${\displaystyle p}$ is prime, for all ${\displaystyle n=1,\dots ,p-1}$ the binomial coefficient ${\displaystyle {\tbinom {p}{n}}}$ is divisible by ${\displaystyle p}$, which implies that

$${\displaystyle (a+b)^{p}\equiv a^{p}+b^{p}\mod p}$$

as polynomials in ${\displaystyle a}$ and ${\displaystyle b}$. ^[1]

Similarly all the polynomials of the form

$${\displaystyle \tau _{p}^{n}(x)=x^{p^{n}}}$$

are additive, where ${\displaystyle n}$ is a non-negative integer. ^[1]

The definition makes sense even if ${\displaystyle k}$ is a field of characteristic zero, but in this case the only additive polynomials are those of the form ${\displaystyle ax}$ for some ${\displaystyle a}$ in ${\displaystyle k}$.^{[ citation needed ]}

The ring of additive polynomials

It is quite easy to prove that any linear combination of polynomials ${\displaystyle \tau _{p}^{n}(x)}$ with coefficients in ${\displaystyle k}$ is also an additive polynomial. ^[1] An interesting question is whether there are other additive polynomials except these linear combinations. The answer is that these are the only ones. ^[3]

One can check that if ${\displaystyle P(x)}$ and ${\displaystyle M(x)}$ are additive polynomials, then so are ${\displaystyle P(x)+M(x)}$ and ${\displaystyle P(M(x))}$. These imply that the additive polynomials form a ring under polynomial addition and composition. This ring is denoted ^[4]

$${\displaystyle k\{\tau _{p}\}.}$$

This ring is not commutative unless ${\displaystyle k}$ is the field ${\displaystyle \mathbb {F} _{p}=\mathbb {Z} /p\mathbb {Z} }$ (see modular arithmetic). ^[1] Indeed, consider the additive polynomials ${\displaystyle ax}$ and ${\displaystyle x^{p}}$ for a coefficient ${\displaystyle a}$ in ${\displaystyle k}$. For them to commute under composition, we must have

$${\displaystyle (ax)^{p}=ax^{p},\,}$$

and hence ${\displaystyle a^{p}-a=0}$. This is false for ${\displaystyle a}$ not a root of this equation, that is, for ${\displaystyle a}$ outside ${\displaystyle \mathbb {F} _{p}.}$ ^[1]

The fundamental theorem of additive polynomials

Let ${\displaystyle P(x)}$ be a polynomial with coefficients in ${\displaystyle k}$, and ${\displaystyle \{w_{1},\dots ,w_{m}\}\subset k}$ be the set of its roots. Assuming that the roots of ${\displaystyle P(x)}$ are distinct (that is, ${\displaystyle P(x)}$ is separable), then ${\displaystyle P(x)}$ is additive if and only if the set ${\displaystyle \{w_{1},\dots ,w_{m}\}}$ forms a group with the field addition. ^[5]

See also

• Drinfeld module
• Additive map

References

1. Goss, David (1996), Basic Structures of Function Field Arithmetic, Berlin: Springer, p. 1, doi:10.1007/978-3-642-61480-4, ISBN   3-540-61087-1
2. Goss 1996, p. 2, Proposition 1.1.5.
3. Goss 1996 , p. 3, Corollary 1.1.6
4. Equivalently, Goss 1996 , p. 1 defines ${\displaystyle k\{\tau _{p}\}}$ to be the ring generated by ${\displaystyle \tau _{p}^{n}(x)}$ and then proves (p. 3) that it consists of all additive polynomials.
5. Goss 1996, p. 4, Theorem 1.2.1.

External links

• Weisstein, Eric W. "Additive Polynomial". MathWorld .