Monday, January 28, 2008

monic polynomials

In today's blog, I will present a property of monic polynomials. A monic polynomial is a polynomial of degree n where the coefficient of xn is 1.

Lemma 1: Division by a monic polynomial

If f,g,h are polynomials such that f = g/h and g,h are monic. Then f is also monic.

Proof:

(1) Let g(x) = a0xr + a1xr-1 + ... + ar-1x + ar

(2) Let h(x) = b0xs + b1xs-1 + ... + bs-1x + bs

(3) Let f(x) = c0xt + c1xt-1 + ... + ct-1x + ct

(4) Since g(x) = h(x)*f(x), it follows that:

r = s + t

and

a0 = b0*c0

(5) Since a0 = b0*c0, it follows that:

c0 = a0/b0

(5) Since g(x) is monic and h(x) is monic, it follows that a0 = 1 and b0= 1.

(6) It therefore follows that f(x) is monic since:

c0 = a0/b0 = 1/1 = 1

QED

Sunday, January 27, 2008

Roots of Polynomials

The following proof is taken from Jean-Pierre Tignol's Galois' Theory of Algebraic Equations.

Theorem: An element a ∈ F is a root of polynomial P ∈ F[X] if and only if (X-a) divides P.

Proof:

(1) deg(X - a) =1 [See Definition 4, here for definition of degree]

(2) Therefore, the remainder R of the division of P by (X - a) is a constant polynomial. [See Theorem, here]

(3) So, from the Division Algorithm for Polynomials (see Theorem, here), there exists Q,R such that:

P = (X - a)Q + R

(4) Further:

P(a) = (a -a)Q + R = R

(5) This shows that P(a) = 0 if and only if R = 0. That is, P(a) = 0 if and and only if P is divisible by (X - a).

QED

References