Polynomials
Polynomial Ring
Let
be a ring. The polynomial ring in one variable over is the set of sequences: Equivalently, with addition and multiplication .
Proposition
is a ring. The identity is the polynomial .
Degree and Leading Term
The degree of a polynomial
, denoted , is the largest with . The element zero does not have a degree.
Leading Term & Monic
The term
for is called the leading term of . The polynomial is called monic if the coefficient of the leading term is .
Proposition
For all
, with equality if and only if is a integral domain.
Proposition
Proposition
If
is an integral domain, then is an integral domain.
Division with Remainder
Theorem
Let
be a ring and with monic. Then there are uniquely determined polynomials , such that and such that or . The polynomial is called the quotient and the polynomial is called the remainder.
Def Substitution Principle I and Polynomial Function
Let
Corollary
Let
and . The remainder of division of by is . It follows that divides if and only if .
Proof We have unique
Corollary A polynomial in
Multivariable Polynomials
For
and we write . The degree of is . The collection of all these is called the ring of polynomials in variables with coefficients in and denoted .
Proposition
Prop Every ideal in the polynomial ring
Proof
Def Greatest Common Divisor
Let
- If
then - There are polynomials
such that