|
|
|
|
a polynomial of degree over a field has at most roots
|
(Theorem)
|
|
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. 
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 over a field has at most roots" is owned by alozano.
|
|
(view preamble | get metadata)
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 over a field has at most roots, born on 2005-03-22, modified 2006-06-20.
Object id is 6897, canonical name is APolynomialOfDegreeNOverAFieldHasAtMostNRoots.
Accessed 3256 times total.
Classification:
| AMS MSC: | 12E05 (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
|
|
|
|
|
|
|
|
|
|
|