Register to reply 
A question on square residue. 
Share this thread: 
#1
Jul1611, 03:01 AM

P: 3,243

I forgot why the next statement is true and it's bugging me endlessly...
If p is prime such that p =1 mod 4 then (1) = x^2 mod p. Now in Ashe's Algebriac Number theory notes (book?), he says that [tex]((\frac{p1}{2})!)^2= 1 mod p[/tex] I am quite stumped as how to show this, he argues we just need to look at: 1*2*....((p1)/2)*(1)*(2)....*((p1)/2) which on the one hand because p =1 mod 4 it equals [tex]((\frac{p1}{2})!)^2 [/tex] on the other hand it also equals (p1)!, but why does this equal 1? Thanks. 


#2
Jul1911, 12:48 AM

P: 26

x^{2}modp is not 1 for all x. Examples of exceptions include p=13, x=4; p=13 x=2; p=101, x=5...



#3
Jul1911, 01:28 AM

Sci Advisor
P: 1,807

cubzar, what he meant was that there is a solution to x^2 = 1 mod p.
It's because (p1)! = 1 mod p for all prime p. I believe this is called wilsons theorem. The reasons why this is true is that 1,2,3,...,p1 are all residue classes mod p, so for each number in the product, its inverse is also a factor for all numbers which are not their own inverse. These are 1 and 1 = p1, so we can ignore them and pair up the others. Thus 2*3*...*(p2) = 1, and so (p1)! = 1. 


#4
Jul2011, 11:05 AM

P: 3,243

A question on square residue.
Ok, thanks, now I do get it.
in 2*3*...*(p2) we have a number and its inverse multiplied together, this is why it equals 1. I don't understand how I didn't notice this triviality, I guess the age does it trick... :( 


#5
Jul2311, 06:36 AM

P: 460




Register to reply 
Related Discussions  
Finding Residue using Cauchy's Integral & Residue Thms  Calculus & Beyond Homework  2  
Residue theorem question  Calculus  23  
Simple residue question  Calculus  0  
Residue Calculus question  Calculus & Beyond Homework  4  
Question about residue  Calculus & Beyond Homework  1 