Difference between revisions of "Quadratic residues"
ComplexZeta (talk | contribs) m |
(→Quadratic Reciprocity) |
||
Line 10: | Line 10: | ||
Let <math>p</math> and <math>q</math> be distinct odd primes. Then <math>\left(\frac{p}{q}\right)\left(\frac{q}{p}\right)=(-1)^{\frac{p-1}{2}\frac{q-1}{2}}</math>. This is known as the [[Quadratic Reciprocity Theorem]]. | Let <math>p</math> and <math>q</math> be distinct odd primes. Then <math>\left(\frac{p}{q}\right)\left(\frac{q}{p}\right)=(-1)^{\frac{p-1}{2}\frac{q-1}{2}}</math>. This is known as the [[Quadratic Reciprocity Theorem]]. | ||
− | Whereas the above are properties of the Legendre symbol, they still hold for any odd integers <math>p</math> and <math>q</math> when using the Jacobi symbol defined below. | + | Whereas the above are properties of the Legendre symbol, they still hold for any odd coprime integers <math>p</math> and <math>q</math> when using the Jacobi symbol defined below. |
== Additional properties == | == Additional properties == |
Revision as of 19:05, 28 June 2006
Let and be integers, with . We say that is a quadratic residue modulo if there is some integer so that is divisible by .
Contents
Legendre Symbol
Determining whether is a quadratic residue modulo is easiest if is a prime. In this case we write
The symbol is called the Legendre symbol.
Quadratic Reciprocity
Let and be distinct odd primes. Then . This is known as the Quadratic Reciprocity Theorem. Whereas the above are properties of the Legendre symbol, they still hold for any odd coprime integers and when using the Jacobi symbol defined below.
Additional properties
We have for any odd prime also the following rules:
Multiplicaticity:
Euler's criterion:
First supplementary rule: , so
Second supplementary rule: , so
It's also useful not to forget that the symbols are only properties , so
Jacobi Symbol
Now suppose that is odd, and let . Then we write . This symbol is called the Jacobi symbol. All properties mentioned above except Euler's criterion are also true for Jacobi symbols with odd (positive) integers and instead.
Note that does not mean that is a quadratic residue (but is necassary for it to be).
Calculation and examples
With the rules and properties already mentioned it's eays to calculate Jacobi symbols. Since they are for primes identical to the Legendre symbol, this gives a fast way to decide if an integer is a quadratic residue or not.
Example:
Thus we know that is a quadratic residue modulo the prime . Indeed:
In a more general manner, one for example also gets:
, so .
, so .
, so .
The general case
In general, to determine whether is a quadratic residue modulo one has to check whether is a quadratic residue modulo every odd prime dividing . This is enough if is odd or and is odd. if and is odd, one has also to check that . Finally, if is divisible by , one has also to check that .