All Science Fair Projects

Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

Polynomial ring

In abstract algebra, a polynomial ring is the set of polynomials in one or more variables with coefficients in a ring.

 Contents

Definition of a polynomial

In real analysis, a polynomial is a certain type of a function of one or several variables (see polynomial), or in other words, a polynomial function.

This definition cannot be adapted to a general ring, however. For example, over the ring Z/2Z of integers modulo 2, the polynomial

P(X)=X2+X=X(X+1)

takes only the value 0, as when k is an integer, k(k+1) is always even. But we would expect P(X) to be different than the zero polynomial.

The approach taken is then the following. Let R be a ring. A polynomial P(X) is defined to be a formal expression of the form

$P(X) = a_m X^m + a_{m - 1} X^{m - 1} + \cdots + a_1 X + a_0$

where the coefficients a0, ..., am are elements of the ring R, and X is considered to be a formal symbol. Two polynomials are considered to be equal if and only if the corresponding coefficients for each power of X are equal. Polynomials with coefficients in R can be added by simply adding the corresponding coefficients and multiplied using the distributive law, and the rules

$X\, a = a\, X$

for all elements a of the ring R and

$X^k\, X^l = X^{k+l}$

for all natural numbers k and l.

The polynomial ring

One can then check that the set of all polynomials with coefficients in the ring R forms itself a ring, the polynomial ring over R, which is denoted by R[X]. If R is commutative, then R[X] is an algebra over R.

One can think of the ring R[X] as arising from R by adding one new element X to R and only requiring that X commute with all elements of R. In order for R[X] to form a ring, all sums of powers of X have to be included as well.

The polynomial ring in several variables

Given two variables X and Y, one constructs the polynomial ring R[X], and then, on top of it, the ring (R[X])[Y]. This ring is considered the polynomial ring in the two variables R[X,Y].

For example, the polynomial

P(X,Y) = X2Y2 + 4XY2 + 5X3 - 8Y2 + 6XY - 2Y + 7

is thought of as the polynomial

(X2 + 4X - 8)Y2 + (6X - 2)Y + (5X3 + 7)

in Y with coefficients in R[X].

In similar fashion, the ring R[X1, ..., Xn] in n variables X1, ..., Xn is constructed.

Some uses of polynomial rings

Factoring out ideals from a polynomial ring is an important tool for constructing new rings out of known ones.

For instance, the clean construction of finite fields involves the use of those operations, starting out with the field of integers modulo some prime number as the coefficient ring R (see modular arithmetic).

An interesting example of a ring obtained by using polynomials is the ring of Frobenius polynomials, where the ring multiplication is given by function composition, rather than by polynomial multiplication.

03-10-2013 05:06:04