A question on square residue.


by MathematicalPhysicist
Tags: residue, square
MathematicalPhysicist
MathematicalPhysicist is offline
#1
Jul16-11, 03:01 AM
P: 3,175
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{p-1}{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*....((p-1)/2)*(-1)*(-2)....*(-(p-1)/2)

which on the one hand because p =1 mod 4 it equals [tex]((\frac{p-1}{2})!)^2 [/tex]
on the other hand it also equals (p-1)!, but why does this equal -1?

Thanks.
Phys.Org News Partner Science news on Phys.org
NASA's space station Robonaut finally getting legs
Free the seed: OSSI nurtures growing plants without patent barriers
Going nuts? Turkey looks to pistachios to heat new eco-city
cubzar
cubzar is offline
#2
Jul19-11, 12:48 AM
P: 26
x2modp is not -1 for all x. Examples of exceptions include p=13, x=4; p=13 x=2; p=101, x=5...
disregardthat
disregardthat is online now
#3
Jul19-11, 01:28 AM
Sci Advisor
P: 1,690
cubzar, what he meant was that there is a solution to x^2 = -1 mod p.

It's because (p-1)! = -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,...,p-1 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 = p-1, so we can ignore them and pair up the others. Thus 2*3*...*(p-2) = 1, and so (p-1)! = -1.

MathematicalPhysicist
MathematicalPhysicist is offline
#4
Jul20-11, 11:05 AM
P: 3,175

A question on square residue.


Ok, thanks, now I do get it.
in 2*3*...*(p-2) 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... :-(
agentredlum
agentredlum is offline
#5
Jul23-11, 06:36 AM
P: 460
Quote Quote by MathematicalPhysicist View Post
Ok, thanks, now I do get it.
in 2*3*...*(p-2) 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... :-(
I don't think it is your fault, the author should have explained it instead of showing off. This is the problem with mathematicians, they write books as incomplete instruction manuals and expect the reader to fill in the gaps.


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