mersenneforum.org > Math Basic Number Theory 20: polynomials
 Register FAQ Search Today's Posts Mark Forums Read

 2017-04-23, 21:33 #1 Nick     Dec 2012 The Netherlands 167110 Posts Basic Number Theory 20: polynomials Polynomials are used constantly in Number Theory, so it is important to understand them thoroughly. Example Let $$a,b,c,r,s,t$$ be real numbers and define functions $$f,g:\mathbb{R}\rightarrow\mathbb{R}$$ by $f(x)=ax^2+bx+c\mbox{ and }g(x)=rx^2+sx+t.$ If $$a=r,b=s$$ and $$c=t$$ then $$f(x)=g(x)$$ for all $$x\in\mathbb{R}$$ (and both functions have the same domain and codomain) so $$f=g$$. What about the converse - if $$f=g$$ (and therefore $$f(x)=g(x)$$ for all $$x\in\mathbb{R}$$), does it follow that $$a=r,b=s$$ and $$c=t$$? One way to answer this is with a little calculus. If we differentiate $$f$$, we get the function $$f'$$ given by $$f'(x)=2ax+b$$ and, differentiating again, we get $$f''$$ given by $$f''(x)=2a$$ (a constant function). Similarly the functions $$g'$$ and $$g''$$ are given by $$g'(x)=2rx+s$$ and $$g''(x)=2r$$. If $$f=g$$ then $$f'=g'$$ and $$f''=g''$$ so, in particular, $\begin{eqnarray*} c & = & f(0)=g(0)=t \\ b & = & f'(0)=g'(0)=s \\ a & = & \frac{1}{2}f''(0)=\frac{1}{2}g''(0)=r. \end{eqnarray*}$ Thus $$f=g$$ if and only if $$a=r,b=s$$ and $$c=t$$ but in order to prove this we relied upon the fact that we were working in the real numbers. Example Let $$R=\mathbb{Z}/2\mathbb{Z}$$ (the set of integers modulo 2) and define functions $$f,g:R\rightarrow R$$ by $f(x)=x^2\mbox{ and }g(x)=x.$ The integers modulo 2 are just $$\bar{0}$$ and $$\bar{1}$$, and we have $$\bar{0}^2=\bar{0}$$ and $$\bar{1}^2=\bar{1}$$, so $$f(x)=g(x)$$ for all $$x\in R$$ hence $$f=g$$. In this case, the two distinct polynomials $$x^2$$ and $$x$$ gave us the same function. Proposition 112 Let $$R$$ be an infinite integral domain, $$m,n$$ non-negative integers and $$a_0,a_1,\ldots,a_n$$ and $$b_0,b_1,\ldots,b_m$$ elements of $$R$$. Define $$a_i=0$$ for all integers $$i>n$$ and $$b_i=0$$ for all $$b>m$$. Let $$f,g:R\rightarrow R$$ be the functions given by $\begin{eqnarray*} f(x) & = & a_0+a_1x+a_2x^2+a_3x^3+\ldots +a_nx^n \\ g(x) & = & b_0+b_1x+b_2x^2+b_3x^3+\ldots +b_mx^m. \end{eqnarray*}$ If $$f=g$$ then it follows for all integers $$i\geq 0$$ that $$a_i=b_i$$. proof Let $$k$$ be the maximum of $$m$$ and $$n$$, and $$h:R\rightarrow R$$ the function given by $h(x)=(a_0-b_0)+(a_1-b_1)x+(a_2-b_2)x^2+\ldots +(a_k-b_k)x^k.$ Suppose there exists $$j\in \{0,1,\ldots,k\}$$ for which $$a_j\neq b_j$$, choosing $$j$$ as large as possible. If $$j>0$$ then, by proposition 60, there are at most $$j$$ values of $$x$$ for which $$h(x)=0$$. But $$R$$ is infinite, so there exists $$x\in R$$ with $$h(x)\neq 0$$ and therefore $$f(x)\neq g(x)$$. If instead $$j=0$$ then $$h(0)\neq 0$$ so $$f(0)\neq g(0)$$. It follows that if $$f=g$$ then no such $$j$$ exists, hence $$a_i=b_i$$ for all integers $$i\geq 0$$. ∎ Proposition 113 Let $$R$$ be a finite ring and, for each positive integer $$n$$, let $$f_n:R\rightarrow R$$ be the function given by $$f_n(x)=x^n$$. Then there exist positive integers $$i,j$$ such that $$i\neq j$$ but $$f_i=f_j$$. proof Let $$n$$ be the number of elements in the finite ring $$R$$. Then there are only $$n^n$$ distinct functions from $$R$$ to itself (we only have $$n$$ options for the image of each element) so the functions $$f_1,f_2,\ldots,f_{n^n+1}$$ cannot all be different. Hence there exist $$i,j$$ such that $$i\neq j$$ but $$f_i=f_j$$. ∎ In general, therefore, distinct polynomials may give us the same function. So our rigorous definition of what a polynomial actually is cannot make use of these functions - we must find a different approach. Let $$R$$ be a ring. A sequence in $$R$$ is a list of elements of $$R$$ indexed by the non-negative integers: $a_0,a_1,a_2,a_3,\ldots$ (it corresponds with a function $$a:\mathbb{N}\rightarrow R$$). Sequences are by definition infinitely long, and the same element is allowed to appear more than once. For each $$i\in\mathbb{N}$$, the element $$a_i\in R$$ is called a term in the sequence. We denote the entire sequence by giving the $$i$$-th term in brackets: $$(a_i)_{i\in\mathbb{N}}$$ or simply $$(a_i)$$. For example, we write $$(2i+1)_{i\in\mathbb{N}}$$ for the sequence $1,3,5,7,9,11,\ldots$ Sequences $$(a_i)_{i\in\mathbb{N}}$$ and $$(b_i)_{i\in\mathbb{N}}$$ in $$R$$ are equal if and only if the corresponding terms are equal, i.e. $$a_i=b_i$$ for all $$i\in\mathbb{N}$$. A polynomial over $$R$$ is a sequence in $$R$$ with only finitely many non-zero terms. Thus, if $$(a_i)_{i\in\mathbb{N}}$$ is a polynomial over $$R$$ then there exists an integer $$n\geq 0$$ such that, for all $$i>n$$, $$a_i=0$$. Let $$(a_i)_{i\in\mathbb{N}}$$ and $$(b_i)_{i\in\mathbb{N}}$$ be polynomials over $$R$$. We produce their sum by adding together corresponding terms, i.e. we define $(a_i)_{i\in\mathbb{N}}+(b_i)_{i\in\mathbb{N}}=(c_i)_{i\in\mathbb{N}} \mbox{ where }c_i=a_i+b_i\mbox{ for each }i\in\mathbb{N}.$ It is easy to see that the resulting sequence has only finitely many non-zero terms, so that the sum of two polynomials is again a polynomial. Now let $$c_0=a_0b_0$$, $$c_1=a_0b_1+a_1b_0$$, $$c_2=a_0b_2+a_1b_1+a_2c_0$$ and in general, for each non-negative integer $$k$$, let $$c_k=\sum_{i=0}^ka_ib_{k-i}$$. Then the product of the polynomials $$(a_i)_{i\in\mathbb{N}}$$ and $$(b_i)_{i\in\mathbb{N}}$$ is defined by $(a_i)_{i\in\mathbb{N}}(b_i)_{i\in\mathbb{N}}=(c_i)_{i\in\mathbb{N}}.$ There exist non-negative integers $$m,n$$ such that $$a_i=0$$ for all $$i>n$$ and $$b_i=0$$ for all $$i>m$$. Take any integer $$k>m+n$$. For all $$i\in\{0,1,\ldots,k\}$$, if $$i>n$$ then $$a_i=0$$ and otherwise $$k-i>m$$ so $$b_{k-i}=0$$, hence $$c_k=0$$. Thus the product of two polynomials is also a polynomial. Proposition 114 Let $$R$$ be a ring. Then the set of all polynomials over $$R$$ with addition and multiplication as defined above also forms a ring. proof Let $$S$$ be the set of all polynomials over $$R$$. As we add polynomials together term by term, the ring axioms for addition in $$S$$ follow directly from the corresponding properties in $$R$$. The neutral element is $$(0)_{i\in\mathbb{N}}$$ (i.e. the sequence $$0,0,0,\ldots$$) and, for each $$(a_i)_{i\in\mathbb{N}}\in S$$, its inverse under addition is $$(-a_i)_{i\in\mathbb{N}}$$. The neutral element of $$S$$ under multiplication is $$1,0,0,0,\ldots$$. Take any $$(a_i)_{i\in\mathbb{N}},(b_i)_{i\in\mathbb{N}}$$ and $$(c_i)_{i\in\mathbb{N}}\in S$$. We shall abbreviate these to $$a,b$$ and $$c$$ respectively. For any non-negative integer $$j$$, we shall write $$[ab]_j$$ for the $$j$$-th term of the sequence obtained by multiplying the sequences $$a$$ and $$b$$ together, and similarly for other sums and products. Take any $$m\in\mathbb{N}$$. Let $$X_2$$ be the set of all ordered pairs $$(i,j)$$ of non-negative integers with $$i+j=m$$, and $$X_3$$ the set of all ordered triples $$(i,j,k)$$ of non-negative integers with $$i+j+k=m$$. Then (using associativity of multiplication in $$R$$) $[(ab)c]_m=\sum_{(j,k)\in X_2}[ab]_jc_k =\sum_{(i,j,k)\in X_3}a_ib_jc_k=\sum_{(i,j)\in X_2}a_i[bc]_j=[a(bc)]_m$ hence multiplication in $$S$$ is associative. Also, using distributivity in $$R$$, $\begin{eqnarray*} [a(b+c)]_m & = & \sum_{i=0}^ma_i[b+c]_{m-i}=\sum_{i=0}^ma_i(b_{m-i}+c_{m-i}) \\ & = & \sum_{i=0}^m(a_ib_{m-i}+a_ic_{m-i}) =\sum_{i=0}^ma_ib_{m-i}+\sum_{i=0}^ma_ic_{m-i} \\ & = & [ab]_m+[ac]_m=[ab+ac]_m \end{eqnarray*}$ and similarly $$(a+b)c=ac+bc$$. It follows that $$S$$ is a ring under the given addition and multiplication. ∎ Notation Let $$R$$ be a ring, and $$S$$ the set of all polynomials over $$R$$. For any $$a,b\in R$$, the sum of the sequences $$a,0,0,0,\ldots$$ and $$b,0,0,0,\ldots$$ is the sequence $$a+b,0,0,0,\ldots$$, while their product is $$ab,0,0,0,\ldots$$. The neutral element of $$S$$ under addition (its zero) is the sequence $$0,0,0,0,\ldots$$ while the neutral element under multiplication (its one) is $$1,0,0,0,\ldots$$. Thus the polynomials in which all terms after the first are zero behave exactly like the elements of $$R$$. For each $$a\in R$$, we may therefore write the polynomial $$a,0,0,0\ldots$$ simply as $$a$$. These polynomials are called the constant polynomials, and identifying them with the elements of $$R$$ makes $$R$$ into a subring of $$S$$. We write $$X$$ for the polynomial $$0,1,0,0,0,\ldots$$. (Choose some other symbol if you are already using $$X$$ for something.) It then follows that $$X^2$$ is the sequence $$0,0,1,0,0,0,\ldots$$, $$X^3$$ is $$0,0,0,1,0,0,0,\ldots$$, etc. So, for any non-negative integer $$n$$ and any elements $$a_0,a_1,\ldots,a_n\in R$$, the polynomial $$a_0,a_1,a_2,\ldots,a_n,0,0,0,\ldots$$ can be written as $$a_0+a_1X+a_2X^2+\ldots +a_nX^n$$, and this is the standard notation for it. We write $$R[X]$$ for the set $$S$$ of all polynomials over $$R$$. Let $$f\in R[X]$$ with $$f\neq 0$$. Then $$f=a_0+a_1X+a_2X^2+\ldots +a_nX^n$$ for some integer $$n\geq 0$$ and some $$a_0,a_1,\ldots,a_n\in R$$, and we may choose $$n$$ so that $$a_n\neq 0$$. We call the elements $$a_0,a_1,\ldots,a_n$$ the coefficients of $$f$$, and $$n$$ is called the degree of $$f$$, written $$\deg(f)$$. We call $$a_n$$ the leading coefficient of $$f$$, and say that $$f$$ is monic if its leading coefficient is 1. (In the case $$f=0$$, some people define the degree of $$f$$ to be $$-1$$ or $$-\infty$$, while others leave it undefined.) Thus the constant polynomials are the polynomials of degree 0 together with the zero polynomial. Example $$X^2-3X+5\in\mathbb{Z}[X]$$ has degree 2 and leading coefficient 1, so it is monic. Proposition 115 Let $$R$$ be an integral domain. Then i) for all $$f,g\in R[X]\setminus\{0\}$$, $$\deg(fg)=\deg(f)+\deg(g)$$; ii) $$R[X]$$ is also an integral domain, and iii) $$R[X]^*=R^*$$. proof i) Take any $$f,g\in R[X]\setminus\{0\}$$. Then $f=a_0+a_1X+a_2X^2+\ldots +a_nX^n\mbox{ and } g=b_0+b_1X+b_2X^2+\ldots +b_mX^m$ for some non-negative integers $$m,n$$ and elements $$a_0,a_1,\ldots,a_n,b_0,b_1,\ldots,b_m\in R$$. As $$f\neq 0\neq g$$, we may choose these so that $$a_n\neq 0\neq b_m$$, and then $$\deg(f)=n$$ and $$\deg(g)=m$$. Define $$a_i=0$$ for all integers $$i>n$$ and similarly $$b_i=0$$ for all $$i>m$$. For each $$k\in\mathbb{N}$$, let $$c_k=\sum_{i=0}^ka_ib_{k-i}$$. Then, for all integers $$k>m+n$$, $$c_k=0$$ (shown above when we defined the product of polynomials). And $$c_{m+n}=a_nb_m\neq 0$$ as $$R$$ is an integral domain,hence $$fg\neq 0$$ and $$\deg(fg)=m+n=\deg(f)+\deg(g)$$. ii) Still using the notation from part (i) above, we have for all $$i,j\in\mathbb{N}$$ that $$a_ib_j=b_ja_i$$ (as $$R$$ is a commutative ring) and it follows for each $$k\in\mathbb{N}$$ that $$\sum_{i=0}^ka_ib_{k-i}=\sum_{i=0}^kb_ia_{k-i}$$ hence $$fg=gf$$. Thus $$R[X]$$ is a commutative ring. The constant polynomials in $$R[X]$$ correspond with the elements of $$R$$, and $$1\neq 0$$ in $$R$$ so $$1\neq 0$$ in $$R[X]$$ too. Moreover, we saw in part (i) that $$R[X]$$ has no zero divisors. Hence $$R[X]$$ is an integral domain. iii) For any $$u\in R^*$$, there exists $$v\in R$$ with $$uv=vu=1$$. As $$R$$ is a subring of $$R[X]$$, we have $$uv=vu=1$$ in $$R[X]$$, too (viewing $$u,v$$ as constant polynomials) so $$u\in R[X]^*$$. Thus $$R^*\subset R[X]^*$$. Conversely, for any $$f\in R[X]^*$$, there exists $$g\in R[X]$$ with $$fg=gf=1$$ so, by part (i) above, $$\deg(f)+\deg(g)=\deg(1)=0$$. As the degree of a polynomial is non-negative, it follows that $$\deg(f)=\deg(0)=0$$. Thus $$f$$ and $$g$$ are both constant polynomials, behaving like the corresponding elements of $$R$$ hence $$f\in R^*$$ as well. It follows that $$R[X]^*\subset R^*$$ too, and therefore $$R[X]^*=R^*$$. ∎ Just as with the (rational) integers and Gaussian integers, division with remainder is important for polynomials. Proposition 116 Let $$R$$ be a ring and $$f,g\in R[X]$$ with $$g\neq 0$$ and $$g$$'s leading coefficient a unit in $$R$$. Then there exist unique $$q,r\in R[X]$$ such that $$f=qg+r$$ and either $$r=0$$ or $$\deg(r)<\deg(g)$$. proof EXISTENCE If $$f=0$$ then putting $$q=r=0$$ suffices. Otherwise, $f=a_0+a_1X+a_2X^2+\ldots +a_nX^n\mbox{ and } g=b_0+b_1X+b_2X^2+\ldots +b_mX^m$ where $$n=\deg(f)$$, $$m=\deg(g)$$ and $$a_0,\ldots,a_n,b_0\ldots,b_m\in R$$ with $$a_n\neq 0$$ and $$b_m\in R^*$$, so $$b_mc=cb_m=1$$ for some $$c\in R$$. Induction on $$n$$. In the case $$n=0$$, if $$m>0$$ then putting $$q=0$$ and $$r=f$$ suffices. If $$m=0$$ too, let $$q=a_0c$$ and $$r=0$$. Then $$qg+r=a_0cb_0+0=a_0=f$$ (and $$r=0$$). Take any integer $$N>0$$ and suppose existence holds for all $$n\in\mathbb{N}$$ with $$nn$$ then we can put $$q=0$$ and $$r=f$$ as before. Suppose instead that $$m\leq n$$, and let $$h=f-(a_ncX^{n-m})g$$. Then the coefficient of $$X^n$$ in $$h$$ is 0 so $$h=0$$ or $$\deg(h)  2017-04-25, 04:16 #2 LaurV Romulan Interpreter Jun 2011 Thailand 24E016 Posts Going to differentiation may be a bit tricky and not exactly "elementary" (as we learn polynomials in school much earlier than differentiation). One simpler way is to express the two in zero, getting \(c=t$$, then express them in 1 and -1 (or 2, etc) and get $$b=s$$, $$a=r$$ etc. We have: $$f(0)=g(0),\ \ \text{i.e.}\ \ a\cdot 0^2+b\cdot 0+c=r\cdot 0^2+s\cdot 0+t$$ from which $$s=t$$, then express them in 1 and eliminate t=c from the both sides:$$f(1)=g(1),\ \ \text{i.e.}\ \ a\cdot 1^2+b\cdot 1+c=r\cdot 0^2+s\cdot 0+t$$ or $$a+b=r+s$$. Doing the same for -1, we get $$a-b=r-s$$ and now we add them together or subtract them together, and get a=r and b=s. This also proves that it is enough for two polynomials of degree n to be the same in n+1 values (as they have n+1 coefficients), to be the same in all their domain. (i.e. if two polynomials of degree n in R have the same values in n+1 points, they are the same in all R, following a similar procedure, and induction). Again, congratulations for your effort and for your patience to write another excellent and educative post! Last fiddled with by LaurV on 2017-04-25 at 04:32 Reason: fixing \tex thingies
2017-04-25, 07:14   #3
Nick

Dec 2012
The Netherlands

3×557 Posts

Thanks for the tip and the additional explanation!

Quote:
 Originally Posted by LaurV This also proves that it is enough for two polynomials of degree n to be the same in n+1 values (as they have n+1 coefficients), to be the same in all their domain. (i.e. if two polynomials of degree n in R have the same values in n+1 points, they are the same in all R, following a similar procedure, and induction).
Exactly - and the point in Number Theory is that we may not have n+1 distinct values, e.g. in the integers modulo n.

2017-04-25, 08:44   #4
LaurV
Romulan Interpreter

Jun 2011
Thailand

25·5·59 Posts

Quote:
 Originally Posted by LaurV $$f(1)=g(1),\ \ \text{i.e.}\ \ a\cdot 1^2+b\cdot 1+c=r\cdot 0^2+s\cdot 0+t$$
errata: (sorry, not all tex stuff were fixed...)
$$f(1)=g(1),\ \ \text{i.e.}\ \ a\cdot 1^2+b\cdot 1+c=r\cdot 1^2+s\cdot 1+t$$

Last fiddled with by LaurV on 2017-04-25 at 08:46

 2017-04-25, 14:12 #5 MattcAnderson     "Matthew Anderson" Dec 2010 Oregon, USA 2×359 Posts Hi Mersenneforum, With respect to exercise 94, 94. Show that every function from $Z/3Z$ to itself can be specified using a polynomial of degree at most 2 (or the zero polynomial). I want to clarify, when you write that we want a function 'to itself' we can assume that The domain and the range are the same set? For example suppose f(0)=0, f(1) = 1 and f(2) = 1. This would not meet the criterion for exercise 94, right? I assume the domain is {0,1,2} and the range is the same. I see '3 choose 2' or 6 cases that need to be considered for 94. Thank you, Nick for taking the time to write this up and put it on the internet. Regards, Matt Attached Thumbnails   Last fiddled with by MattcAnderson on 2017-04-25 at 14:17 Reason: not good ta TEK, I didn't count cases right.
 2017-04-25, 14:32 #6 Nick     Dec 2012 The Netherlands 3×557 Posts Hi Matt, I meant that the codomain is {0,1,2}, so the range can be the same or it can be any subset of that. Your example with f(0)=0, f(1)=1 and f(2)=1 does count as one of the functions that is allowed. Clearly I didn't formulate the question accurately enough - thanks for asking about it!

 Similar Threads Thread Thread Starter Forum Replies Last Post Nick Number Theory Discussion Group 17 2017-12-23 20:10 Nick Number Theory Discussion Group 0 2016-12-29 13:47 Nick Number Theory Discussion Group 0 2016-12-11 11:30 Nick Number Theory Discussion Group 0 2016-12-03 11:42 Nick Number Theory Discussion Group 5 2016-10-08 09:05

All times are UTC. The time now is 22:47.

Wed May 5 22:47:29 UTC 2021 up 27 days, 17:28, 0 users, load averages: 1.91, 1.58, 1.79