|San José State University|
& Tornado Alley
for Polynomials over a Field
A field is a mathematical structure consisting of a set of elements and two binary functions called addition and multiplication, both of which are associative. Addition is communicative and there exists an identity element. Also there exist an additive inverse for every element. Multiplication is not necessarily communicative but there does exist a multiplicative identity. There exist muliplicative inverves for all elements except the additive identity.
Let F be a field with S the set of its elements and its two operation denoted by + and juxtaposition for addition and multiplication, respectively. The additive and multiplicative identities are denoted as 0 and1, respectively . The additive inverse of an element x is denoted as −x. The multiplicative inverse of x is denoted as x−1.
A polynomial over F is of the form
where the coefficients cj and the base of the polynomical k belong to S and n is a nonnegative integer.
The largest power n in a polynomial is called its degree and the smallest power m with a nonzero coefficient will be called its minimum power, The difference (n−m) will be called the degree span of the polynomial.
It was found first that the sum of the digits of a decimal number is essentially equal to its remainder upon division by 9. Furthermore the remainder modulo 9 of the product of two numbers is equal to the remainder modulo 9 of the product of the remainders of the two numbers. This is a property of remainder arithmetic. The concept of a remainder requires an order relation, which is not part of the structure of a field. Later it was found that the net sum of the digits of a decimal number created a alternately adding and subtracting its digits is equal its remainder upon division by 11.
Consider a polynomial
where C is the sequence of coefficients in F, cncn-1…c1c0, and k is an element of F. The sequence C. can be considered a representation of the element N=P(C, k) to the base k..
The sum of the coefficients can be represented as the value of P(C, k) with k set equal to the multiplicative identity 1; i.e.,
Likewise an alternating net sum of the coefficients of a polynomial is equal to the value of P(C, k) with k set equal to the additive inverse of the multiplicative identity, −1; i.e.,
There is also the trivial special case of the constant term c0, which. is the value of P(C, k) with k set equal to the additive identity 0.
For the following it is necessary to assume that the multiplication function for the field is commutative. Let h be any element of the commutative field F except k and let (k+(−h)) be denoted as (k−h). Note that
This is established by representing the two terms created from the LHS as
Thus the lemma:
Now consider the polynomial
and form P(C, h) and [ P(C, k) − P(C, h)]
Note that (k−h) is a factor of each term of the above and therefore is a factor of the sum. Consequently
This means that
where Q is a polynomial in k and h. Hence
Thus P(C, h) is in the nature of a remainder upon the division of P(C, k) by (k−h). If 0≤P(C, h)<(k−h) then it is the remainder. If not, the remainder is easily obtained by a simple operation such as [(k−h)+P(C, h)] when P(C, k) is negative.
Note the special cases mentioned previously
Let N and P be two polynomials over F with degrees respectively of n and p, where p<n. The remainder R of N with respect to P is a polynomial of degree r such that r is less than the minimum power of N and 0≤r<p and such that there exist a polynomial Q such that the degree q of Q is (n-p) and
Let Rem(Q, L) denote the remainder function, the remainder of Q with respect to L. Then
The proofs consist of noting that the multiples of L in N and M are irrelevant in determining the remainders.
Now consider two polynomials in k, P(C , k) and P(D, k) and form their sum S(C+D, k)=P(C, k)+P(D, k) and their product Q(E, k)=P(C, k)*P(D, k). Then
Restated these are:
HOME PAGE OF Thayer Watkins