Univariate Polynomials
Definition: Univariate Polynomial
A univariate polynomial is a polynomial in a single variable.
NOTE
A univariate polynomial has the form
Properties
Theorem: Ring of Univariate Polynomials
Let be a commutative ring.
The set of all univariate polynomials over form a commutative ring together with polynomial addition and polynomial multiplication.
NOTATION
This ring is often denoted as or .
PROOF
TODO
Equality
Theorem: Equality of Univariate Polynomials
Let and be two nonzero polynomials over an Integral Domain with degrees and .
If and have the same value for different values for , then and are equal.
PROOF
TODO
Roots
Theorem: Roots of Univariate Polynomials
Let be a univariate polynomial over a commutative ring .
An element is a root of if and only if is divisible by .
PROOF
In the forward direction: Suppose that is a root of , i.e. . The polynomial remainder theorem then tells us that the remainder of the division of by is zero, i.e. is divisible by .
In the backward direction: Suppose that is divisible by . This means that for some polynomial . Plugging in gives us and so is a root of .
Theorem: Number of Roots of Univariate Polynomials
If is a polynomial over an Integral Domain, then the maximum number of distinct roots which can have is equal its degree .
PROOF
TODO