Skip to main content
\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\vec}[1]{\mathbf{#1}} \newcommand{\lt}{ < } \newcommand{\gt}{ > } \newcommand{\amp}{ & } \)

Section16.3Polynomial Rings

In the previous sections we examined the solutions of a few equations over different rings and fields. To solve the equation \(x^2- 2 = 0\) over the field of the real numbers means to find all solutions of this equation that are in this particular field \(\mathbb{R}\). This statement can be replaced as follows: Determine all \(a \in \mathbb{R}\) such that the polynomial \(f(x) = x^2 - 2\) is equal to zero when evaluated at \(x=a\). In this section, we will concentrate on the theory of polynomials. We will develop concepts using the general setting of polynomials over rings since results proven over rings are true for fields (and integral domains). The reader should keep in mind that in most cases we are just formalizing concepts that he or she learned in high school algebra over the field of reals.

Definition16.3.1Polynomial over a Ring

Let \([R; +, \cdot ]\) be a ring. A polynomial, \(f(x)\), over \(R\) is an expression of the form \[f(x)=\sum _{i=0}^n a_i x^i=a_0 + a_1 x+a_2 x^2+ \cdots +a_n x^n\] where \(n\geq 0\), and \(a_0, a_1, a_2, \ldots, a_n \in R\). If \(a_n \neq 0\), then the degree of \(f(x)\) is \(n\), If \(f(x) = 0\), then the degree of \(f(x)\) is undefined, but for convience we say that \(\deg 0 = -\infty\). If the degree of \(f(x)\) is \(n\), we write \(\deg f(x) = n\). The set of all polynomials in the indeterminate \(x\) with coefficients in \(R\) is denoted by \(R[x]\).

Note16.3.2

  • The symbol \(x\) is an object called an indeterminate, which is not an element of the ring \(R\).

  • Note that \(R\subseteq R[x]\), The elements of \(R\) are called constant polynomials, with the nonzero elements of \(R\) being the polynomials of degree 0.

  • \(R\) is called the ground, or base, ring for \(R[x]\).

  • In the definition above, we have written the terms in increasing degree starting with the constant. The ordering of terms can be reversed without changing the polynomial. For example, \(1 + 2 x -3x^4\) and \(-3x^4+2 x+1\) are the same polynomial.

  • A term of the form \(x^k\) in a polynomial is understood to be \(1 x^k\).

Definition16.3.3Addition in \(R[x]\)

Let \(f(x) =a_0 + a_1 x+a_2 x^2+ \cdots +a_m x^m\) and \(g(x) =b_0 + b_1 x+b_2 x^2+ \cdots +b_n x^n\) be elements in R[x] so that \(a_i \in R\) and \(b_i\in R\) for all i. Let \(k\) be the maximum of \(m\) and \(n\). Then \(f(x) + g(x) =c_0 + c_1 x+c_2 x^2+ \cdots +c_k x^k\), where \(c_i=a_i+b_i\) for \(i = 0, 1, 2, \ldots , k\).

Definition16.3.4Multiplication in \(R[x]\)

Let \(f(x) =a_0 + a_1 x+a_2 x^2+ \cdots +a_m x^m\) and \(g(x) =b_0 + b_1 x+b_2 x^2+ \cdots +b_n x^n\). Then \begin{equation*}\begin{array}{c} f(x) \cdot g(x) = d_0 + d_1 x+d_2 x^2+ \cdots +d_p x^p \quad \textrm{ where } p=m+n \textrm{ and }\\ d_s=\sum_{i=0}^s a_i b_{s-i} =a_0 b_s+a_1 b_{s-1}+a_2 b_{s-2}+\cdots +a_{s-1} b_1+a_s b_0\\ \textrm{for } 0\leq s\leq p\\ \\ \end{array} \end{equation*}

The important fact to keep in mind is that addition and multiplication in \(R[x]\) depends on addition and multiplication in \(R\). The powers of \(x\) merely serve the purpose of “place holders.” All computations involving coefficients are done over the given ring. Powers of the indeterminate are computed formally applying the rule of adding exponents when multiplying powers.

Example16.3.5

\(f(x) = 3\), \(g(x) = 2 - 4x +7x^2\) , and \(h(x) = 2 + x^4\) are all polynomials in \(\mathbb{Z}[x]\). Their degrees are 0, 2, and 4, respectively.

Addition and multiplication of polynomials are performed as in high school algebra. However, we must do our computations in the ground ring of the polynomials.

Example16.3.6

In \(\mathbb{Z}_3[x]\), if \(f(x) = 1+x\) and \(g(x) = 2+x\), then \begin{equation*}\begin{split} f(x) + g(x) &= (1+x) + (2+x)\\ & = \left(1 +_3 2\right)+ \left(1 +_3 1\right) x\\ & = 0 + 2x \\ & = 2x \end{split} \end{equation*} and \begin{equation*}\begin{split} f(x)g(x) &= (1+x) \cdot (2 +x) \\ &= 1\times_3 2+ (1 \times_3 1 +_3 1 \times_3 2)x^2 + (1 \times_3 2)x^2\\ & =2 + 0 x + x^2\\ & =2 + x^2\\ \end{split} \end{equation*} However, for the same polynomials as above, \(f(x)\) and \(g(x)\) in the more familar setting of \(\mathbb{Z}\)[x], we have \begin{equation*}f(x) + g(x) = (1+x) + (2+x) = (1 +2)+ (1 +1) x = 3 + 2x\end{equation*} and \begin{equation*}\begin{split}f(x)g(x) =(1+x)\cdot(2 +x)\\ & = 1\cdot 2+ (1 \cdot 1 + 1 \cdot 2)x + (1 \cdot 1)x^2\\ & = 2 +3x + x^2\\ \end{split} \end{equation*}

Example16.3.7

Let \(f(x) = 2 + x^2\) and \(g(x) = -1 + 4x + 3x^2\). We will compute \(f(x) \cdot g(x)\) in \(\mathbb{Z}[x]\). Of course this product can be obtained by the usual methods of high school algebra. We will, for illustrative purposes, use the above definition. Using the notation of the above definition, \(a_0=2\), \(a_1=0\), \(a_2=1\), \(b_0=-1\), \(b_1= 4\), and \(b_2 = 3\). We want to compute the coefficients \(d_0\), \(d_1\), \(d_2\), \(d_3\), and \(d_4\) . We will compute \(d_3\) , the coefficient of the \(x^3\) term of the product, and leave the remainder to the reader (see Exercise 2 of this section). Since the degrees of both factors is 2, \(a_i= b_i= 0\) for \(i\geq 3\). The coefficient of \(x^3\) is \[d_3=a_0 b_3+a_1 b_2+a_2 b_1+a_3b_0 =2\cdot 0+0\cdot 3+1\cdot 4+0\cdot (-1)=4\]

The proofs of the following theorem are not difficult but rather long, so we omit them.

Next we turn to division of polynomials, which is not an operation since the result is a pair of polynomials, not a single one. From high school algebra we all learned the standard procedure for dividing a polynomial \(f(x)\) by a second polynomial \(g(x)\). This process of polynomial long division is referred to as the division property for polynomials. Under this scheme we continue to divide until the result is a quotient \(q(x)\) and a remainder \(r(x)\) whose degree is strictly less than that of the divisor \(g(x)\). This property is valid over any field. Before giving a formal description, we consider some examples.

Example16.3.9Polynomial Division

Let \(f(x) = 1 + x + x^3\) and \(g(x) = 1 + x\) be two polynomials in \(\mathbb{Z}_2[x]\). Let us divide \(f(x)\) by \(g(x)\). Keep in mind that we are in \(\mathbb{Z}_2[x]\) and that, in particular, \(-1=1\) in \(\mathbb{Z}_2\) . This is a case where reordering the terms in decreasing degree is preferred.

fig-poly-divison-1

Therefore, \[\frac{x^3 + x + 1}{x+ 1}= x^2+ x + \frac{1}{x + 1}\] or equivalently, \[x^3 + x + 2= \left( x^2+ x\right)\cdot (x+1) + 1\] That is, \(f(x) = g(x)\cdot q(x) + r(x)\) where \(q(x) = x^2+x\) and \(r(x) = 1\). Notice that \(\deg (r(x)) = 0\), which is strictly less than the \(\deg (g(x)) = 1\).

Example16.3.10

Let \(f(x) = 1 +x^4\) and \(g(x) = 1 + x\) be polynomials in \(\mathbb{Z}_2[x]\). Let us divide f(x) by g(x):

fig-poly-divison-2

Thus \(x^4+ 1 = \left(x^3+x^2+ x + 1\right)(x+1) \). Since we have 0 as a remainder, \(x + 1\) must be a factor of \(x^4+ 1\). Also, since \(x + 1\) is a factor of \(x^4 + 1\), 1 is a zero (or root) of \(x^4 + 1\). Of course we could have determined that 1 is a root of \(f(x)\) simply by computing \(f(1) =1^4 +_2 1 = 1 +_2 1 = 0\).

Before we summarize the main results suggested by the previous examples, we should probably consider what could have happened if we had attempted to perform divisions of polynomials in the ring \(\mathbb{Z}[x]\) rather than in the polynomials over the field \(\mathbb{Z}_2\). For example, \(f(x) = x^2 - 1\) and \(g(x) = 2x - 1\) are both elements of the ring \(\mathbb{Z}[x]\), yet \(x^2-1=(\frac{1}{2} x+\frac{1}{2})(2x-1)-\frac{3}{4}\) The quotient and remainder are not a polynomials over \(\mathbb{Z}\) but polynomials over the field of rational numbers. For this reason it would be wise to describe all results over a field \(F\) rather than over an arbitrary ring \(R\) so that we don't have to expand our possible set of coefficients.

Proof
Proof
Proof

From The Factor Theorem, we can get yet another insight into the problems associated with solving polynomial equations; that is, finding the zeros of a polynomial. The initial important idea here is that the zero \(a\) is from the ground field \(F\). Second, \(a\) is a zero only if \((x - a)\) is a factor of \(f(x)\) in \(F[x]\); that is, only when \(f(x)\) can be factored (or reduced) to the product of \((x - a)\) times some other polynomial in \(F[x]\).

Example16.3.14

Consider the polynomial \(f(x) = x^2-2\) taken as being in \(\mathbb{Q}\)[x]. From high school algebra we know that \(f(x)\) has two zeros (or roots), namely \(\pm \sqrt{2}\), and \(x^2 - 2\) can be factored as \(\left(x - \sqrt{2}\right) \left(x + \sqrt{2}\right)\). However, we are working in \(\mathbb{Q}[x]\), these two factors are not in the set of polynomials over the rational numbers, \(\mathbb{Q}\) since \(\sqrt{2} \notin \mathbb{Q}\) . Therefore, \(x^2 - 2\) does not have a zero in \(\mathbb{Q}\) since it cannot be factored over \(\mathbb{Q}\). When this happens, we say that the polynomial is irreducible over \(\mathbb{Q}\).

The problem of factoring polynomials is tied hand-in-hand with that of the reducibility of polynomials. We give a precise definition of this concept.

Definition16.3.15Reducibility over a Field

Let \([F, +, \cdot]\) be a field and let \(f(x) \in F[x]\) be a nonconstant polynomial. \(f(x)\) is reducible over \(F\) if and only if it cannot be factored as a product of two nonconstant polynomials in \(F[x]\). A polynomial is irreducible over \(F\) if it is not reducible over \(F\).

Example16.3.16

The polynomial \(f(x) = x^4 + 1\) is reducible over \(\mathbb{Z}_2\) since \(x^4 + 1 = (x + 1)\left(x^3 + x^2 + x - 1\right).\)

Example16.3.17

Is the polynomial \(f(x) = x^3 + x + 1\) reducible over \(\mathbb{Z}_2\)? Since a factorization of a cubic polynomial can only be as a product of linear and quadratic factors, or as a product of three linear factors, \(f(x)\) is reducible if and only if it has at least one linear factor. From the Factor Theorem, \(x - a\) is a factor of \(x^3 + x + 1\) over \(\mathbb{Z}_2\) if and only if \(a \in \mathbb{Z}_2\) is a zero of \(x^3 + x + 1\). So \(x^3 + x + 1\) is reducible over \(\mathbb{Z}_2\) if and only if it has a zero in \(\mathbb{Z}_2\) . Since \(\mathbb{Z}_2\) has only two elements, 0 and 1, this is easy enough to check. \(f(0) = 0^3 +_2 0+_2 1= 1\) and \(f(1) =1^3 +_2 1 +_2 1 = 1\), so neither 0 nor 1 is a zero of \(f(x)\) over \(\mathbb{Z}_2\). Hence, \(x^3 + x + 1\) is irreducible over \(\mathbb{Z}_2\).

From high school algebra we know that \(x^3 + x + 1\) has three zeros from some field. Can we find this field? To be more precise, can we construct the field that contains \(\mathbb{Z}_2\) and all zeros of \(x^3 + x + 1\)? We will consider this task in the next section.

We close this section with a final analogy. Prime numbers play an important role in mathematics. The concept of irreducible polynomials (over a field) is analogous to that of a prime number. Just think of the definition of a prime number. A useful fact concerning primes is: If \(p\) is a prime and if \(p \mid a b\), then \(p \mid a\) or \(p \mid b\). We leave it to the reader to think about the veracity of the following: If \(p(x)\) is an irreducible polynomial over \(F\), \(a(x), b(x) \in F[x]\) and \(p(x) \mid a(x) b(x)\), then \(p(x) \mid a(x)\) or \(p(x) \mid b(x)\).

Subsection16.3.1Exercises for Section 16.3

1

Let \(f(x) = 1 + x\) and \(g(x) = 1 + x + x^2\). Compute the following sums and products in the indicated rings.

  1. \(f(x) + g(x)\) and \(f(x) \cdot g(x)\) in \(\mathbb{Z}[x]\)

  2. \(f(x) + g(x)\) and \(f(x) \cdot g(x)\) in \(\mathbb{Z}_2[x]\)

  3. \((f(x)\cdot g(x))\cdot f(x)\) in \(\textrm{ \(\mathbb{Q}\)[x]}\)

  4. \((f(x) \cdot g(x)) \cdot f(x)\) in \(\mathbb{Z}_2[x]\)

  5. \(f(x) \cdot f(x) + f(x)\cdot g(x)\) in \(\mathbb{Z}_2[x]\)

Answer
3

Prove that:

  1. The ring \(\mathbb{R}\) is a subring of the ring \(\mathbb{R}[x]\).

  2. The ring \(\mathbb{Z}[x]\) is a subring of the \(\mathbb{Q}[x]\).

  3. The ring \(\mathbb{Q}[x]\) is a subring of the ring \(\mathbb{R}[x]\).

Answer
4

  1. Find all zeros of \(x^4+ 1\) in \(\mathbb{Z}_3\).

  2. Find all zeros of \(x^5 + 1\) in \(\mathbb{Z}_5\).

5

Determine which of the following are reducible over \textrm{ \(\mathbb{Z}_2\)} . Explain.

  1. \(f(x) = x^3 + 1\)

  2. \(g(x) = x^3 + x^2 + x\).

  3. \(h(x) = x^3+ x^2 + 1\).

  4. \(k(x) = x^4 +x^2+ 1\). (Be careful.)

Answer
7

Give an example of the contention made in the last paragraph of this section.

Answer
8

Determine all zeros of \(x^4+ 3x^3 + 2x + 4\) in \(\mathbb{Z}_5[\textrm{ \textit{$x$}}]\)

9

Show that \(x^2 - 3\) is irreducible over \(\mathbb{Q}\) but reducible over the field of real numbers.

Answer
10

The definition of a vector space given in Chapter 13 holds over any field \(F\), not just over the field of real numbers, where the elements of \(F\) are called scalars.

  1. Show that \(F[x]\) is a vector space over \(F\).

  2. Find a basis for \(F[x]\) over \(F\).

  3. What is the dimension of F[x] over \(F\)?

11

Prove Theorem 16.3.11, the Division Property for Polynomials

Answer
12

  1. Show that the field \(\mathbb{R}\) of real numbers is a vector space over \(\mathbb{R}\). Find a basis for this vector space. What is dim \(\mathbb{R}\) over \(\mathbb{R}\)?

  2. Repeat part a for an arbitrary field F.

  3. Show that \(\mathbb{R}\) is a vector space over \(\mathbb{Q}\).