2013-05-13 10:13:40 8 Comments

In the following I'm going to call

a

*polynomial expression*an element of a suitable algebraic structure (for example a ring, since it has an addition and a multiplication) that has the form $a_{n}x^{n}+\cdots+a_{1}x+a_{0}$, where $x$ is some*fixed*element of said structure,a

*polynomial function*a function of the form $x\mapsto a_{n}x^{n}+\cdots+a_{1}x+a_{0}$ (where the same algebraic considerations as above apply)a

*polynomial*an element of the form $a_{n}X^{n}+\cdots+a_{1}X+a_{0}$ with indeterminates $X$ (these can be formalized, if we are in a ring, with strings of $0$s and a $1$).

Note that when we are very rigorous/formal, polynomial expressions and polynomials are something different (although in daily life we often use them synonymously). Polynomial functions and expressions are also different from each other although in this case the relationship is a closer one, since every polynomials expression can be interpreted as a polynomial function evaluated at a certain point (thus "polynomial functions" are something more general than "polynomial expressions").

**My question is: Why do we use polynomials ? It seems to me that every
piece of mathematics I have encountered so far, one could replace
every occurrence of polynomials with polynomial expressions/functions
without any major change in the rest of the proof/theorem/definition
etc.**

The only reasons that I can see to use polynomials are the following two:$$ $$ 1. After one makes the idea precise that one can plug "suitable" elements into polynomials (which may lie a ring containing the ring in which the coefficients live in), one can save time in certain setting, by handling the "plugging of suitable elements into polynomials" more elegantly: For example in case of the theorem of Cayley-Hamilton, which in its "polynomial function" version would look like:

*Let $A$ be an $n\times n$ matrix over $K$, whose characteristic
polynomial (function) is $x\mapsto a_{n}x^{n}+\cdots+a_{1}x+a_{0}$.
Then
$$
a_{n}A^{n}+\cdots+a_{1}A+a_{0}I=0.
$$*

whereas the "polynomial" version looks more elegant:

*Let $A$ be an $n\times n$ matrix over $K$, whose characteristic
polynomial is $p_{A}\in K\left[X\right]$. Then
$$
p_{A}\left(A\right)=0.
$$*

2. The only thing that polynomials can "do", but algebraic expressions/functions can't, is to be different, when the algebraic expressions/functions are the same (i.e. there's a theorem that tells us that the mapping of polynomials to polynomials expressions/functions
isn't injective, if the field is finite). Maybe this small difference makes a big enough difference
to consider polynomials after all, but as I said, I haven't encountered
any situation in which this difference could manifest itself.

(**I'm guessing that maybe cryptography or higher number theory really needs
polynomials and not just polynomial expressions/functions. Since I don't know
anything about these subjects, I would be very happy with an example
of a theorem (whose content isn't merely technical as it is the case with the theorem above) involving polynomials, where these absolutely cannot
be replaced by polynomial expressions/functions. Conversely I would also be happy with an authoritative statement from someone knowledgeable that indeed we could dispense of polynomials, if we wanted to.**)

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### [SOLVED] symmetric functions vs symmetric polynomials

**2019-02-07 15:42:24****idriskameni****85**View**0**Score**1**Answer- Tags: abstract-algebra definition symmetric-polynomials

#### 1 Answered Questions

### [SOLVED] Definition for set of ratios of polynomials

**2018-01-19 15:44:13****user232552****37**View**0**Score**1**Answer- Tags: abstract-algebra

#### 2 Answered Questions

### [SOLVED] How to prove that polynomial variables are transcendental?

**2016-10-18 17:17:16****Chill2Macht****283**View**2**Score**2**Answer- Tags: abstract-algebra polynomials category-theory definition

#### 1 Answered Questions

### [SOLVED] Pairwise Coprime Polynomials

**2015-10-11 18:17:58****stojanman****207**View**1**Score**1**Answer- Tags: abstract-algebra polynomials finite-fields euclidean-algorithm

#### 1 Answered Questions

### [SOLVED] Polynomial Function and Polynomials.

**2015-03-01 16:07:54****David Molano****126**View**1**Score**1**Answer- Tags: abstract-algebra polynomials ring-theory

#### 1 Answered Questions

### [SOLVED] Polynomials vs polynomial functions

**2014-05-30 22:20:18****Cameron Martin****884**View**3**Score**1**Answer- Tags: polynomials notation

#### 0 Answered Questions

### Polynomial functions and polynomial maps

**2014-02-19 08:11:44****Danae Kissinger****530**View**3**Score**0**Answer- Tags: algebraic-geometry polynomials

#### 1 Answered Questions

### [SOLVED] Difference between polynomial functions and polynomials and why these two polynomial functions are equal?

**2013-06-23 12:46:52****mvr950****4934**View**8**Score**1**Answer- Tags: abstract-algebra functions polynomials

#### 2 Answered Questions

### [SOLVED] If two polynomials are equal as functions, are they necessarily equal as polynomials?

**2012-07-16 06:12:27****Nastassja****943**View**6**Score**2**Answer- Tags: abstract-algebra polynomials finite-fields

#### 1 Answered Questions

### [SOLVED] Minor questions about definition of algebraic and transcendental functions

**2012-01-13 00:12:05****Tim****1509**View**0**Score**1**Answer- Tags: functions

## 6 comments

## @celtschk 2018-12-17 20:35:15

OK, this is an old question, but I think the following is not covered by the other answers.

The polynomial as defined in point 3 is really a special case of the polynomial expression as defined in point 1. In particular, given the commutative ring the coefficients are from, the “suitable algebraic structure” (a commutative ring) for the polynomial is obtained as follows:

All elements of the original ring are also in the extended ring, and the same relations hold between them (that is, the ring of the coefficients is a subring of the ring of polynomials).

There's an additional element (the “unknown” you mention) that is not member of the coefficient's ring. This additional element fulfils no relations other than those implied by the axioms of commutative rings and the relations between the original elements.

Apart of the elements mentioned above, and those additionally required to be present to make it a ring while fulfilling the condition of point 2, no further elements are added.

In this extended structure (called $R[X]$ if $R$ is the ring of the coefficients and $X$ is the name of the “unknown”), your point 3 polynomial is just the point 1 polynomial expression for the choice $x=X$.

The polynomial function can also be obtained naturally from that construction. First, we find that for any $x\in R$, there's an unique ring homomorphism

^{*}$\phi_x:R[X]\to R$ that maps $X$ to $x$ and every element of $R$ to itself. Given a polynomial $p\in R[X]$, the polynomial function then is just the function $x\mapsto \phi_x(p)$.And for completeness, although that point was already stressed in other answers: While the polynomial uniquely determines the polynomial function (by the construction given above), the reverse is not always true.

^{*}) A homomorphism is a function that keeps the algebraic structure intact. In particular, a ring homomorphism is a function $\phi$ with $\phi(0)=0$, $\phi(1)=1$, $\phi(a+b)=\phi(a)+\phi(b)$, $\phi(-a)=-\phi(a)$ and $\phi(ab)=\phi(a)\phi(b)$.## @KCd 2013-05-13 11:16:47

You write that polynomial functions are "more general" than polynomial expressions. In fact the exact opposite is the case: multiple polynomial expressions may be the same function (on a finite field), so it's polynomial expressions that are more general.

Here are a few ways that polynomial expressions are useful where it could (or would) be awkward to use polynomial functions.

If $F$ is a field of $p^r$ elements, for a prime $p$ and positive integer $r$, then $F$ is the splitting field over ${\mathbf F}_p$ of $x^{p^r} - x$. But for every $a \in F$, $a^{p^r} = a$, so $a^{p^r} - a = 0$. You don't want to say $F$ is the splitting field of, well, "zero". The distinction between the nonzero polynomial $x^{p^r} - x$ in $F[x]$ and the zero polynomial is essential for that.

In case you think "I don't care about finite fields", well, some properties of sequences of integers are proved by making them into the coefficients of a polynomial and then

reducing the polynomialmodp, which places the polynomial into ${\mathbf F}_p[x]$, where there are convenient features that are not available in ${\mathbf Z}[x]$. One example of this is a slick proof of Lucas's congruence on binomial coefficients. It's crucial for this that we can recover the coefficients of a polynomial in ${\mathbf F}_p[x]$ even if its degree is greater than $p$, which is impossible if you think of polynomials in ${\mathbf F}_p[x]$ as functions ${\mathbf F}_p \rightarrow {\mathbf F}_p$.Quotient rings of $A[x]$, where $A$ is a ring, may not look like functions from an elementary point of view. Do you feel it's easier to work with ${\mathbf Q}[x]/(x^5)$ using the viewpoint of polynomials as functions rather than expressions?

Would you like to define the ring of noncommutative polynomials in two variables as functions?

Generating functions are important objects in mathematics (not just in combinatorics), and they are formal power series rather than numerical series. Most of them have positive radius of convergence (assuming their coefficients are in a ring like ${\mathbf R}$ or ${\mathbf C}$ and thus have a region where it makes sense to substitute a scalar for the variable at all), so they can be treated as functions on the domain of convergence, but it is convenient that the theory of formal power series doesn't really need to rely on the radius of convergence to get off the ground. Sometimes a generating function may even have radius of convergence equal to 0 but still contain useful information that can be legally extracted because formal power series can be developed without needing a radius of convergence. Of course a lot of important intuition about the way formal power series are manipulated is inspired by the properties of classical numerical power series as functions.

Your question mentions 3 types of polynomial objects: polynomial expressions, polynomial functions, and polynomials as strings of coefficients. I'd say the first and third are really synonymous (the third is really just a rigorous form of the first, not materially different in practice), but they're not the same as polynomial functions if you work over a finite field. If the coefficients are an infinite field then different polynomial expressions do define different functions on the field.

## @temo 2013-05-13 13:15:04

I have two remarks: 1) I think you misunderstood what I meant by polynomial expressions: Let's say that $x=4$ and that we consider the polynomial expression $2x+3$; then the

number$11=2\cdot 4+4$ is a polynomial expression for me. Another example: Let $x$ be some number from in $[0,1]$ and consider the polynomial expression $4x^2-1$. Then $4x^2-1$ is again anumber, although we don't know which one, since we don't know what $x$ is. But the "nature" of $4x^2-1$ is definitely numeric. In contrast to that a the polynomial $4x^2-1$ is actually the string $(-1,0,4,0,0,\ldots)$. [con...]## @temo 2013-05-13 13:19:59

[...tinuing] So objects of the first and third type are fundamentally different. I think what you understood "polynomial expressions" to be is a nonrigorous way of speaking about strings of coefficients - am I right with that ? But of course, none of all this makes your very good and instructive answer (!) less readable!$$ $$2. Could you please elaborate a bit more on example 3. and 4. ? It seems to me that a lot more is hiding there than I'm currently able to see. [another con...

## @temo 2013-05-13 13:43:42

...tinuation] Since, for example, I don't know any applications of the ring of noncommutative polynomials in two variables I can't see why it would be bad to define it as the set of all maps $K^2\rightarrow K$ for some field $K$. I also can't see why it's harder to work in $\boldsymbol{Q}[x]/(x^5)$ with functions than polynomials. If you could provide me with a short explanation I could come back later to this, when I have more background in quotient rings and polynomials in two variables and make sense of the explanation.

## @KCd 2013-05-14 03:16:58

A noncommutative polynomial in two variables is not a map $K^2 \rightarrow K$, since $xy^2, yxy$, and $y^2x$ are different. You know examples of noncommutative polynomials (well, a quotient ring of the noncommutative polynomials): differential operators with polynomial coefficients. If $D = d/dx$ on smooth functions, and polynomials act on functions as multiplication (so "$x$" means the function $f \mapsto xf$ for smooth $f$), then the product rule $D(xf) = xD(f) + f$ is the same as $Dx = xD + 1$. Polynomial differential operators form a ring ${\mathbf R}[x,D]$ where $Dx = xD + 1$.

## @Marc van Leeuwen 2013-05-13 12:58:36

If the mapping from polynomials to polynomial functions is not injective, then one cannot talk about

thecoefficients of a polynomial function. Without coefficients, one cannot do Euclidean division. Without Euclidean division, not much of what one does readily with polynomials over a field can be done (defining minimal polynomials of linear operators is one such thing; there are many others). In short, in algebra one works with polynomials, not with polynomial functions.Note that the ring of polynomial functions over a finite field $F$ (which is in fact the ring of all functions $F\to F$) is not an integral domain; it is in fact a rather ugly object from the algebraic point of view (a product ring of $\#F$ copies of $F$).

However, if you want a statement from someone knowledgeable that indeed we could dispense of polynomials, note that Serge Lang in Introduction to Linear Algebra (2) Chapter IX

definespolynomials over anarbitraryfield $K$ as polynomial functions, and goes on stating a Theorem$~1$ that the mapping from coefficient sequences to polynomials (i.e., functions) is injective (which as observed in the question fails for finite fields). The proof of the theorem is conveniently only given for the case where $K$ is the real or complex numbers. I certainly would not want to exclude Serge Lang from the set of knowledgeable people, but it seems that in this particular instance he made a regrettable error where he should have known better.Added: Leafing though the cited book, I recently found out a detail that might explain what Lang did. I thought I knew without having to look it up what was meant by "a field $K$"; however, in section II.2 of the book it says "Let $K$ be a subset of the complex numbers $\mathbf C$. We shall say that $K$ is afieldif it satisfies the following conditions:" (requiring closure under addition, multiplication, negation and inversion of nonzero$~x$, and containment of $0,1$). The proof later given of uniqueness of polynomial coefficients is by considering the asymptotic behaviour of the polynomial function for large arguments. The proof is immediately followed by the cryptic sentences "We have used the notion of limit. In Chapter$~$XII, $\S1$ we shall prove the same statement for more general fields, by a method which is completely algebraic." This leaves me wondering what "more general" fields are intended; given the earlier definition one might assume "general subfields of $\mathbf C$", but the proof using limits would appear to do fine for any such field. Anyway I cannot see which proof is being referred to. There is corollary 3 saying that a polynomial in $K[t]$ of degree $n$ has at most $n$ roots in$~K$, but that is not the same statement. More importantly, it assumes that degree has been defined, and it uses Euclidean division; as these notions use the existence of (unique) polynomial coefficients, this would appear to be circular.## @Ittay Weiss 2013-05-13 18:26:37

(+1) for the well-explained answer and (+100) for the comment about Lang.

## @user88576 2014-02-20 23:28:42

+1. Lang's proof probably works for any infinite field, doesn't it? well it's a silly mistake he made, but considering the amount of books he wrote this happens

## @Marc van Leeuwen 2014-02-21 09:13:52

@amoreacceptablename No, the proof works (only) for subfields of the complex numbers; see my added paragraph.

## @user88576 2014-02-22 23:57:03

thanks @MarcvanLeeuwen, very kind of you!

## @zyx 2013-05-15 00:51:27

Here are some answers with somewhat different conclusions. Let us call the form of polynomials with coefficients and indeterminates "abstract" or "algebraic" to distinguish them from polynomial functions.

If you want to work with rational functions, the situation becomes foggy if you do not define everything in terms of abstract polynomials:

In the other direction:

In algebraic uses of polynomial functions, the arithmetic operations, function composition, differentiation and integration are often sufficient and can be done on the abstract form, and a function is demonstrated to be polynomial by exhibiting an abstract form. So the evaluation that converts algebraic representation into a function can always be postponed by doing all operations on the algebraic representation.

## @temo 2013-05-19 10:40:08

I think your answer is with just two upvotes, of which one is mine, very underrated. Some of your points aren't yet clear to me though: $$ $$

1)Why does the situation becomes foggy, if we work with rational functions ? The maximal domain (if we work consider only real numbers) of the functions $f(x)=\frac{1}{x}-\frac{1}{x}$ resp, $g(x)=\frac{x}{x}$ is $\mathbb{R}\setminus\{0\}$ and thus on this set they are equal to $0$ resp. $1$- no ambiguity here, as far as I can see...[conti-## @temo 2013-05-19 10:43:44

[-nuation] I we define these as abstract polynomials, than it doesn't make sense to ask if $f$ and $g$ are equal to a number, since (set-theoretically) they are strings on numbers; it would only make sense to ask for which numbers $f$ and $g$ can be

evaluated. In this case the considerations from above apply. [last continuation]## @temo 2013-05-19 11:25:12

2)I don't understand the first proposition of what you wrote in the fourth bullet: Why can we treat over an infinite field polynomial functions and rational functions as equals if the agree for infinite many values ? What does this have do to with writing rational functions in lowest term and why does the analogy with fractions break ?## @zyx 2013-05-19 21:18:59

For (1) the maximal domain will change depending on the way that $f$ is written, such as $0$ or $1/x - 1/x$ or $1/x(x-1) - 1/x(x-1)$, which also breaks algebraic laws like $g(x) = g(x) + f(x) - f(x) = g(x)f(x)/f(x)$. You could handle part of this problem by declaring that an equation $A=B$ holds only on the intersection of domains, but this would make chains like $A=B=C=...$ non-reversible, and the domain can become the empty set for rational functions over a finite field. For [-nuation], we ask if $f=g$ as abstract polynomials, not numbers.

## @zyx 2013-05-19 21:24:08

For (2), abstract (ratios of) polynomials can be recovered from (ratios of) polynomial functions over an infinite field, and equality at an infinite set of points can serve as the definition of equality to replace the problems with "maximal domains". But this procedure breaks down for finite fields as the ratios $p(x)^m / p(x)^n$ demonstrate, for integer $m$ and $n$ and $p(x)=0$ at all points. For fractions there is no requirement to write them in lowest terms, and there can might be problems with requiring lowest terms if the coefficients of the polynomials/rational functions are not a UFD.

## @zyx 2013-05-19 21:49:38

(and in the [continuation], we could also ask if $f=g$ as functions, but the question is never about equality between a function or polynomial and a number. Instead, $0$ can denote a number, or the function that takes every $x$ to $0$, or the abstract polynomial $0 + 0X + 0X^2 + \dots$, or the rational function $0/p(x)$.)

## @Ittay Weiss 2013-05-13 11:44:15

Constructing field extensions is a very important operation. This is most conveniently done as follows: Let $F$ be a field and $p(X)\in F[X]$. Suppose we wish to adjoin to $F$ an element $\alpha$ that will satisfy a certain algebraic equation. That is, there is a polynomial $P(X)\in F[X]$ such that we wish $P(\alpha)=0$ (notice here we switched between the polynomial $P(X)$ and its associated function evaluated at $\alpha$). If $P(X)$ is irreducible, then such a field extension is constructed as $F[X]/(P(X))$. It is crucial for this construction to take $F[X]$ to be the ring of polynomials, not polynomial functions.

Another reason is the convenient fact that a ring homomorphism $R[X]\to S$, from the ring of polynomials with coefficients in $R$ to a ring $S$, is the same thing as a homomorphism $R\to S$ together with a choice of an arbitrary element in $S$. Thus, polynomial rings allow for a systematic study of homomorphism+an element. It turns out that many properties of the chosen element are reflected by properties of the homomorphism, which in turn are related to properties of the domain, that is of polynomials (not polynomial functions).

One more reason is that polynomials are combinatorial beasts. They can be manipulated purely combinatorially. But since they give rise to functions, it means that we can use combinatorics to study functions. For instance, given functions $f,g$, can you find functions $a,b$ such that $af+bg=1$ is quite easily solved using the Euclidean algorithm

ifall these functions are required to be polynomials (the solution is actually constructive).## @Marc van Leeuwen 2013-05-13 13:02:12

The last point is not the most convincing; certainly if you can find polynomials such that $ag+bg=1$, then you can find (corresponding) polynomial functions as well.

## @Ittay Weiss 2013-05-13 18:23:56

@MarcvanLeeuwen I did not explain myself well then, as that was precisely my point. I left 'function' unspecified, not even domain and codomain, and tried to emphasize that

ifthings are required to be polynomials, then a solution can easily be found using the Euclidean algorithm which is combinatorial.## @mdp 2013-05-13 10:20:22

Over some fields, the map from polynomials to polynomial functions is not injective; for example, over the finite field $\mathbb{F}_2$, the polynomial function $x^2+x$ is the same as the $0$ function - try plugging in $0$ and $1$. So in this case the (infinite) set of polynomials over $\mathbb{F}_2$ is much larger than the (finite) set of polynomial functions $\mathbb{F}_2\to\mathbb{F}_2$.

## @fgp 2013-05-13 10:25:55

The same, however, is

nottrue for every field extension of $\mathbb{F}_2$. If there's an element $x$ for which neither $x$ nor $x+1$ is zero, then $x^+x=x(x+1)$ won't be identically zero. Since additive inverses are unique in fields, such an element $x$ must even exists ineveryextension of $\mathbf{F}_2$, just pick any $x \neq 0$ which doesn't happen to be $-1$. In algebra, you regularly take a polynomial over a field and look at its behaviour over extension fields, so identifying a polynomial with the function it induces on a particular field clearly doesn't cut it.## @temo 2013-05-13 11:05:57

Yes, I know that this is the case. This was what I meant, when I said that "the mapping of polynomials to polynomials expressions/functions isn't injective".

But what good is this fact ? The factalonethat this mapping isn't injective surely can't be theonlyreason we consider polynomials (see the last paragraph from my question written in boldface).## @mdp 2013-05-13 11:54:24

@temo Apologies, I'm not sure now what I read there instead of what you wrote. The other answers expand on the reasons for this a lot more (as I'd hoped would happen). Maybe this answer should even have been a comment, I thought it was borderline when I wrote it.

## @temo 2013-05-13 13:45:55

@MattPressland No problem. (I edited my question slightly after your answer - you can look it up in the revisions - in hope to make in clearer what I mean for future readers.)