Prove that if then can have at most roots module - try induction-. (*)
Now in your case, suppose for some then by (*) it can have at most roots module p for some -the greatest nonzero coefficient mod. p-, but it has roots! Contradiction
How would I go about proving that for all .
The way I'm doing it now assumes that there is one coefficient which is not congruent to 0 mod p. This implies that the variable must be congruent to 0 mod p, but since the summation is true for all x, we get our contradiction.
My problem is that I'm assuming that there is only one coefficient which isn't congruent to 0 mod p. In the case of 2 coefficients not congruent to 0, I think I can do it by showing that the two terms have to be additive inverses, and eventually we get back to x being forced to zero (contradiction). What do I do in the case of more than 2 coefficients not being congruent to 0 mod p?
Can you use algebra?
It is a theorem that if is a field, the polynomial ring is a unique factorization domain. Since is a field, is a unique factorization domain, which implies that a polynomial having degree can have at most roots in . In particular, a nonzero polynomial of degree can have at most roots. In other words, if it has roots it must be the zero polynomial.
AH!!! Okay ... I think it just clicked together ... sorry, alot of the stuff you guys are saying is kinda advanced for me, hehehe. Um, I didn't study number theory with an algebra approach, so I'm not too familiar with all that notation about fields, rings, and such ... but I did look it up .
I think the two of you are kinda doing the same thing ... and this is what I basically get.
The polynomial I gave has p roots (since it works for all 0<=x<p). But, the polynomial is of order p-1, so it should have at most p-1 roots. Which is the contradiction that PaulRS was talking about, so all the coefficients should be congruent to 0 mod p. As for Bruno, I'm not sure how/why we can say that (aside from PaulRS way ) it must be the zero polynomial. This is probably because I don't know enough about fields and such .