Math Help Forum

Math Help Forum Feed Site Feed

Go Back   Math Help Forum > University Math Help > Number theory
Reply
 
Thread Tools Display Modes
  #1  
Old November 5th, 2009, 10:34 PM
Newbie
 
Join Date: Oct 2009
Posts: 12
Thanks: 4
Thanked 3 Times in 2 Posts
keityo is on a distinguished road
Default Proof using induction

Prove that if f(x) \equiv 0(mod p) has j solutions x \equiv a_{1}, x \equiv a_{2},..., x \equiv a_{j} (mod p), there is a polynomial q(x) such that f(x) \equiv (x - a_{1}) (x - a_{2}) ... (x - a_{j})q(x)(mod p).

I feel that I need to somehow show that there is a polynomial q_{1}(x) such that f(x) \equiv (x-a_{1})q_{1}(x)(mod p)and that q_{1}(x) \equiv 0 (mod p)has solutions x=a_{2}, x=a_{3}, ..., x=a_{j} (mod p), but I don't know start from there and finish the proof using induction.
Reply With Quote
Advertisement
 
  #2  
Old November 5th, 2009, 10:46 PM
Bruno J.'s Avatar
Generous Contributor
 
Join Date: Jun 2009
Posts: 444
Country:
Thanks: 94
Thanked 154 Times in 137 Posts
Bruno J. has a spectacular aura aboutBruno J. has a spectacular aura about
Default

We proceed by induction on the degree of f. If f has degree 1, there is nothing to show because it is already in the form x-a. So suppose it holds for all polynomials having degree \leq n-1. Let f(x)=c_0+c_1x+...+c_nx^n be of degree n, and suppose x \equiv a \mod p is a solution. Then 0\equiv f(a) \equiv c_0+c_1a+...+c_na^n. So we have

f(x)\equiv f(x)-f(a) \equiv c_1(x-a)+...+c_n(x^n-a^n)

\equiv (x-a)(c_1+c_2(x+a)+...+c_n(x^{n-1}+x^{n-2}a+...+xa^{n-2}+a^{n-1}))

\equiv (x-a)g(x)

where g(x) is of degree \leq n-1. Now use the fact that p is prime to show that any other roots of f(x) must in fact be roots of g(x), and apply the induction hypothesis to obtain the desired factorization for f(x).

Hope that helps!
Reply With Quote
The following users thank Bruno J. for this useful post:
Donate to MHF
Reply

Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are Off
Pingbacks are Off
Refbacks are Off
Forum Jump


All times are GMT -7. The time now is 05:58 PM.


Powered by vBulletin® Version 3.7.3
Copyright ©2000 - 2009, Jelsoft Enterprises Ltd.
SEO by vBSEO 3.2.0 ©2008, Crawlability, Inc.
©2005 - 2009 Math Help Forum


Math Help Forum is a community of maths forums with an emphasis on maths help in all levels of mathematics.
Register to post your math questions or just hang out and try some of our math games or visit the arcade.