5
$\begingroup$

Show that if $ R $ is an integral domain then a polynomial in $ R[X] $ of degree $ d $ can have at most $ d $ roots.

Thoughts so far:

I feel like I might be missing something here. If $ R $ is an integral domain, then so is $ R[X] $. The factor theorem gives a correspondence between roots and factors. Clearly (is this clear?) a polynomial of degree $ d $ can't have more than $ d $ irreducible factors.

2 Answers 2

5

It is only mildly clear; you have to show that, when $R$ (and hence $R[x]$) is an integral domain, the degree function does in fact satisfy $\text{deg}(fg)=\text{deg}(f)+\text{deg}(g).$ Then you can argue that (by the factor theorem), if $a_1,\ldots,a_n$ were roots of $f$, then $f=(x-a_1)\cdots(x-a_n)g$ for some $g\in R[x]$, so that $\deg(f)=n+\deg(g)$ and $\deg(g)\geq0$, hence $\deg(f)\geq n$.

When $R$ is not an integral domain, we might have $\text{deg}(fg)<\text{deg}(f)+\text{deg}(g)$ (do you see why?)

  • 0
    @user938272: Quite right. Glad to help :)2011-05-06
5

Note $\, a_i\ne a_j\, \Rightarrow\, x\!-\!a_i\ $ are nonassociate primes in $R[x]$ since $ R[x]/(x\!-\!a_i) \cong R\:$ is a domain.

Hence $\ x\!-\!a_1\ |\ f(x),\, \ldots,\, x\!-\!a_n\ |\ f(x)\, \Rightarrow\ \ (x\!-\!a_1)\cdots (x\!-\!a_n)\ |\ f(x) $

since LCM = product for nonassociate primes. But this is contra degree if $\ n > \deg f$.

Remark $\, D\,$ is a domain $\!\iff\!$ every polynomial $\,f(x)\neq 0\in D[x]\, $ has at most $\, \deg f $ roots in $\,D.\,$ For the simple proof see my here, where I illustrate it constructively in $\,\Bbb Z/m\, $ by showing that given any $\,f(x)\,$ with more roots than its degree,$\:$ we can quickly compute a nontrivial factor of $\,m\,$ via a simple gcd computation. The quadratic case of this result is at the heart of many integer factorization algorithms, which try to factor $\:m\:$ by searching for a square root of $1$ that's $\not\equiv \pm1\,$ in $\: \mathbb Z/m$.