Homepage › Solution manuals › Kenneth Ireland › A Classical Introduction to Modern Number Theory › Exercise 8.1
Exercise 8.1
Let be a prime and . Prove that , the sum being over all such that .
Answers
Proof. Let . We prove that for all .
If , is the only root of or , so .
If and has a solution, then we know from the demonstration of Proposition 4.2.1 that , and , thus .
If and has no solution, then (Prop. 4.2.1) , thus has no solution : .
Using Prop. 8.1.5, as , we obtain
□