Given a ring , the polynomial ring is, informally, "the ring of all polynomials in a commutative with coefficients in ." That is, it is the ring of all sums of the form where is a nonnegative integer that varies from sum to sum.
The ring is also an -module.
We can rigorously define to be the set of all sequences of elements of with only finitely many terms nonzero: The we call the elements of polynomials (over ). For a polynomial , the terms are called the coefficients of .
For example, are polynomials, but is not a polynomial.
At this point, our formal definition of a polynomial may seem unrelated to our intuitive notion of a polynomial. To relate these two concepts, we introduce the some notation.
We denote the polynomial by . For instance, we write: Typically, we repress the terms with coefficient and we do not write the coefficient on terms with coefficient . We also do not care about the order in which the terms are written, and indeed often list them in descending order of power. So we would write:
We can now define addition and multiplication in in the canonical way: It is now a simple matter to verify that indeed constitutes a ring under these operations, and that it is commutative when is commutative. This ring has additive identity and multiplicative identity .
The ring can be thought of as a subring of via the embedding .
For a nonzero polynomial , the greatest integer such that is called the degree of . It is often denoted . By convention, the degree of the zero polynomial (i.e., of the polynomial ) is either undefined, or , or depending on the author.
Polynomials and Functions
Polynomials are not functions. The symbol does not represent a variable (in the usual sense of this word), but rather a commutative indeterminate, that is, a formal symbol that commutes with the elements of and whose powers are independent of each other over . However, polynomials are associated with functions, called polynomial functions. This is a historically important association: originally, the two concepts were almost inseperable. Indeed, polynomial functions were almost certainly the first functions studied. The concept of "function" was not articulated until the 12th to 14th centuries. By Euler's time, "functions" were explicit rules of association built from elementary expressions, though Euler himself generalized the concept to what we now call continuous functions. This began a long debate over how "function" should be defined that did not resolve until the 20th century, when the modern, abstract definition of "function" became standard. (Although the classical concept of a function as a "deterministic rule to compute an output based on an input" has survived in constructive mathematics and functional programming!) The history of the concept of polynomial is more obscure, but they were almost certainly not divorced from their function roots until the beginnings of modern algebra in the 19th century.
Specifically, each element in is associated with a function mapping into itself; this function is evaluated at a value by replacing the symbol with the element in .
More, formally, we can prove by induction on the degree of the elements of that for any and any , there is a unique element of that is equivalent to modulo . This unique element is sometimes denoted . Thus we may associate each element with the mapping of into itself. (Alternatively, we can associate with each element a homomorphism of into that is the composition of the canonical homomorphism of into and the canonical homomorphism of into .)
It is important to note that although each polynomial in is associated with a function mapping into itself, it is not always possible to uniquely reconstruct from this function. In particular, if is finite, then the set of functions mapping into itself is finite, whereas is infinite (unless is a trivial ring), so some functions must be associated with infinitely many different polynomials. (In fact, it follows from the theory of cosets, applied to the additive groups involved, that every function that is associated with a polynomial must be associated with infinitely many polynomials.)
For example, if is the ring of integers modulo , for a prime, then Fermat's Little Theorem states that the polynomials and are associated with the same functions mapping into itself.
Nevertheless, in many infinite rings (such as the ring of integers), this association of polynomials with functions is unique. In such contexts, the polynomials are often identified with their functions, by abuse of language. The association of polynomials with functions is an important one: polynomials were first studied as polynomial functions, and indeed it was not until recently that functions gained their modern definition, quite divorced from polynomials.
There is yet another reason why polynomials should not be regarded as the functions they represent. Namely, if is a commutative ring, then a polynomial can be evaluated not only at an element of , but also at an element of any -algebra (by replacing every appearance of by in ). For instance, can be applied to any square matrix with entries in , or to any other polynomial over (this results in the composite of the two polynomials), or to a linear operator on an -module. This is in contrast to actual functions, which come with a predetermined domain and are not defined outside of it. Notice that the commonly used notation for a polynomial is a particular case of evaluation: When one evaluates a polynomial at the indeterminate , one gets back (because replacing all 's by in does not change the polynomial). Thus, (and not just by convention).
There is a yet more general context in which polynomials are defined. Namely, one can define whenever is an additive abelian group (not necessarily a ring). Then will be just an additive group, not a ring; nevertheless such constructions are occasionally of use (see, e.g., the definition of a [loop algebra]). The usefulness mainly stems from the fact that if is an -module for some commutative ring , then becomes an -module. Here, again, trying to regard polynomials as functions leaves one hopelessly lost.
The above discussion was concerned with univariate polynomials (i.e., polynomials in one variable). One can define polynomials in multiple (even infinitely many) variables. The definition is similar to the above, although it requires some more technical bookkeeping, at least if one wants to keep track of variable names. There is a way to avoid some of the technicalities for finitely many variables by an inductive construction (i.e., defining a polynomial in variables to be a polynomial in variable over a polynomial ring in variables), although here again some care has to be taken (when you define a polynomial in two variables, you do not want to call both of them ).
Finitude of Degree
"Polynomials of infinite degree" are properly called formal power series. The set of formal power series over a ring constitutes a ring, denoted , of which the ring of polynomials is a subring. In general, formal power series are not associated with mappings of into itself, as infinitely iterated addition is not generally well-defined unless the sum converges.
Given a commutative ring , one can define an -linear map as follows: This operator is called the (formal) derivative (with respect to ), and behaves much like the derivative of a function in analysis, and in fact commutes with the natural map from polynomials to polynomial functions (although, once again, polynomials are not per-se functions). For example, the Leibniz rule and the chain rule hold for any two polynomials and . Unlike the derivative in analysis, the formal derivative does not rely on any limits or topology (in particular, can be any commutative ring, not necessarily or ), although it does have a property mimicking the "difference quotient" definition of the analytic derivative: If , then the polynomial is divisible by , and evaluating the quotient at (that is, substituting for ) yields precisely . (The second variable here is the analogue of the infamous in analysis, but here we need not take any limits.)