Additive polynomial

Additive polynomial

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

Definition

Let "k" be a field of characteristic "p", with "p" a prime number. A polynomial "P"("x") with coefficients in "k" is called an additive polynomial, or a Frobenius polynomial, if

:P(a+b)=P(a)+P(b),

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

Occasionally absolutely additive is used for the condition above, and additive is used for the weaker condition that "P"("a" + "b") = "P"("a") + "P"("b") for all "a" and "b" in the field. For infinite fields the conditions are equivalent, but for finite fields they are not, and the weaker condition is the "wrong" one and does not behave well. For example, over a field of order "q" any multiple "P" of "x""q" − "x" will satisfy "P"("a" + "b") = "P"("a") + "P"("b") for all "a" and "b" in the field, but will usually not be (absolutely) additive.

Examples

The polynomial "x""p" is additive. Indeed, for any "a" and "b" in the algebraic closure of "k" one has by the binomial theorem

:(a+b)^p = sum_{n=0}^p {p choose n} a^n b^{p-n}.

Since "p" is prime, for all "n" = 1, ..., "p"−1 the binomial coefficient

: {p choose n}is divisible by "p", which implies that

:(a+b)^p=a^p+b^p

as polynomials in "a" and "b".

Similarly all the polynomials of the form

: au_p^n(x)=x^{p^n}

are additive, where "n" is a non-negative integer.

The ring of additive polynomials

It is quite easy to prove that any linear combination of polynomials scriptstyle au_p^n(x) with coefficients in "k" is also an additive polynomial. An interesting question is whether there are other 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 additive polynomials, then so are "P"("x") + "M"("x") and "P"("M"("x")). These imply that the additive polynomials form a ring under polynomial addition and composition. This ring is denoted

:k{ au_p}.,

This ring is not commutative unless "k" equals the field scriptstyle mathbb{F}_p=mathbf{Z}/pmathbf{Z} (see modular arithmetic). Indeed, consider the additive polynomials "ax" and "x""p" for a coefficient "a" in "k". For them to commute under composition, we must have

:(ax)^p=ax^p,,

or "a""p" − "a" = 0. This is false for "a" not a root of this equation, that is, for "a" outside scriptstylemathbb{F}_p.

The fundamental theorem of additive polynomials

Let "P"("x") be a polynomial with coefficients in "k", and scriptstyle{w_1,dots,w_m}subset k be the set of its roots. Assuming that the roots of "P"("x") are distinct (that is, "P"("x") is separable), then "P"("x") is additive if and only if the set scriptstyle{w_1,dots,w_m} forms a group with the field addition.

ee also

*Drinfel'd module

References

* David Goss, "Basic Structures of Function Field Arithmetic", 1996, Springer, Berlin. ISBN 3-540-61087-1.

External links

*Eric W. Weisstein et al. "Additive Polynomial." From MathWorld--A Wolfram Web Resource. [http://mathworld.wolfram.com/AdditivePolynomial.html http://mathworld.wolfram.com/AdditivePolynomial.html]


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Polynomial ring — In mathematics, especially in the field of abstract algebra, a polynomial ring is a ring formed from the set of polynomials in one or more variables with coefficients in another ring. Polynomial rings have influenced much of mathematics, from the …   Wikipedia

  • Additive function — Different definitions exist depending on the specific field of application. Traditionally, an additive function is a function that preserves the addition operation:: f ( x + y ) = f ( x ) + f ( y )for any two elements x and y in the domain. An… …   Wikipedia

  • Polynomial conjoint measurement — is an extension of the theory of conjoint measurement to three or more attributes. It was initially developed by the mathematical psychologists David Krantz (1968) and Amos Tversky (1967). The theory was given a comprehensive mathematical… …   Wikipedia

  • List of polynomial topics — This is a list of polynomial topics, by Wikipedia page. See also trigonometric polynomial, list of algebraic geometry topics.Basics*Polynomial *Coefficient *Monomial *Polynomial long division *Polynomial factorization *Rational function *Partial… …   Wikipedia

  • Separable polynomial — In mathematics, two slightly different notions of separable polynomial are used, by different authors. According to the most common one, a polynomial P(X) over a given field K is separable if all its roots are distinct in an algebraic closure of… …   Wikipedia

  • Symmetric polynomial — This article is about individual symmetric polynomials. For the ring of symmetric polynomials, see ring of symmetric functions. In mathematics, a symmetric polynomial is a polynomial P(X1, X2, …, Xn) in n variables, such that if any of the… …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

  • Veronese surface — In mathematics, the Veronese surface is an algebraic surface in five dimensional projective space. It is the embedding of the projective plane given by the complete linear system of conics. It is named for Giuseppe Veronese (1854 1917). The… …   Wikipedia

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

  • Field (mathematics) — This article is about fields in algebra. For fields in geometry, see Vector field. For other uses, see Field (disambiguation). In abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”