PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] a polynomial of degree $n$ over a field has at most $n$ roots (Theorem)
Lemma 1 (cf. factor theorem)   Let $R$ be a commutative ring with identity and let $p(x)\in R[x]$ be a polynomial with coefficients in $R$ . The element $a\in R$ is a root of $p(x)$ if and only if $(x-a)$ divides $p(x)$ .

Theorem 1   Let $F$ be a field and let $p(x)$ be a non-zero polynomial in $F[x]$ of degree $n\geq 0$ . Then $p(x)$ has at most $n$ roots in $F$ (counted with multiplicity).
Proof. We proceed by induction. The case $n=0$ is trivial since $p(x)$ is a non-zero constant, thus $p(x)$ cannot have any roots.

Suppose that any polynomial in $F[x]$ of degree $n$ has at most $n$ roots and let $p(x)\in F[x]$ be a polynomial of degree $n+1$ . If $p(x)$ has no roots then the result is trivial, so let us assume that $p(x)$ has at least one root $a\in F$ . Then, by the lemma above, there exist a polynomial $q(x)$ such that: $$p(x)=(x-a)\cdot q(x).$$ Hence, $q(x)\in F[x]$ is a polynomial of degree $n$ . By the induction hypothesis, the polynomial $q(x)$ has at most $n$ roots. It is clear that any root of $q(x)$ is a root of $p(x)$ and if $b\neq a$ is a root of $p(x)$ then $b$ is also a root of $q(x)$ . Thus, $p(x)$ has at most $n+1$ roots, which concludes the proof of the theorem. $ \qedsymbol$

Note: The fundamental theorem of algebra states that if $F$ is algebraically closed then any polynomial of degree $n$ has exactly $n$ roots (counted with multiplicity).




"a polynomial of degree $n$ over a field has at most $n$ roots" is owned by alozano.
(view preamble | get metadata)

View style:

See Also: root, factor theorem, formal congruence, every prime has a primitive root, congruence of arbitrary degree

Keywords:  roots, polynomial, field

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: algebraically closed, fundamental theorem of algebra, theorem, proof, clear, induction hypothesis, induction, multiplicity, degree, field, proof of factor theorem using division, divides, root, element, coefficients, polynomial, identity, commutative ring, factor theorem
There is 1 reference to this entry.

This is version 2 of a polynomial of degree $n$ over a field has at most $n$ roots, born on 2005-03-22, modified 2006-06-20.
Object id is 6897, canonical name is APolynomialOfDegreeNOverAFieldHasAtMostNRoots.
Accessed 3256 times total.

Classification:
AMS MSC12E05 (Field theory and polynomials :: General field theory :: Polynomials )
 11C08 (Number theory :: Polynomials and matrices :: Polynomials)
 13P05 (Commutative rings and algebras :: Computational aspects of commutative algebra :: Polynomials, factorization)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)