Quantum electrodynamics: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Makecat-bot
m r2.7.2) (Robot: Adding simple:Quantum electrodynamics
 
change link
Line 1: Line 1:
My name is Lucretia and I am studying Continuing Education and Summer Sessions and Social Science Education at Fakse / Denmark.<br><br>Take a look at my web blog [http://voipservicedirectory.com/forums/index.php?a=member&m=1920333 Fifa Coin Generator]
{{redirect|Law of reciprocity|the philosophical concept known as the "ethic of reciprocity"|Golden Rule}}
 
In [[number theory]], the '''law of quadratic reciprocity''' is a theorem about [[modular arithmetic]] which gives conditions for the solvability of [[quadratic equation]]s modulo [[prime number]]s. There are a number of [[#History and alternative statements|equivalent statements]] of the theorem.
 
Although the law can be used to tell whether any quadratic equation modulo a prime number has a solution, it does not provide any help at all for actually ''finding'' the solution. (The article on [[quadratic residue]]s discusses algorithms for this.)
 
The theorem was conjectured by [[Leonhard Euler|Euler]] and [[Adrien-Marie Legendre|Legendre]] and first proven by [[Carl Friedrich Gauss|Gauss]].<ref>Gauss, DA § 4, arts 107&ndash;150</ref> He refers to it as the "fundamental theorem" in the ''[[Disquisitiones Arithmeticae]]'' and his papers, writing
 
:''The fundamental theorem must certainly be regarded as one of the most elegant of its type.'' (Art. 151)
 
Privately he referred to it as the "golden theorem."<ref>E.g. in his mathematical diary entry for April 8, 1796 (the date he first proved quadratic reciprocity). See [http://books.google.com/books?id=NM36hgqmOLkC&pg=PA30&lpg=PA30&dq=+%22theorema+aureum%22++diary+gauss&source=web&ots=m5uXIuw73w&sig=Bzhx36Y3ZVh6WniMjT6kWUIpZqY&hl=en facsimile page from Felix Klein's ''Development of Mathematics in the 19th century'']</ref> He published six  [[mathematical proof|proofs]], and two more were found in his posthumous papers. There are now over 200 published proofs.<ref>See F. Lemmermeyer's chronology and bibliography of proofs in the [[#External links|external references]]</ref>
 
The first section of this article gives a special case of quadratic reciprocity that is representative of the general case. The second section gives the formulations of quadratic reciprocity found by Legendre and Gauss.
 
==Motivating example==
 
Consider the polynomial ''f''(''n'') = ''n''<sup>2</sup> &minus; 5 and its values for ''n'' = 1, 2, 3, 4, ... The prime factorizations of these values are given as follows:
 
{| class="wikitable"
|-
! ''n'' !! ''f(n)'' !!  !! ''n'' !! ''f(n)'' !! !! ''n'' !! ''f(n)'' !!
|-
| 1&nbsp;  || &minus;4 || &minus;2<sup>2</sup> || 16&nbsp;  || 251 || 251 || 31&nbsp;  || 956 || 2<sup>2</sup>&sdot;239
|-
| 2&nbsp;  || &minus;1 || &minus;1 || 17 || 284 || 2<sup>2</sup>&sdot;71 || 32 || 1019 || 1019
|-
| 3&nbsp;  || 4 || 2<sup>2</sup> || 18 || 319 || 11&sdot;29 || 33 || 1084 || 2<sup>2</sup>&sdot;271
|-
| 4&nbsp;  || 11 || 11 || 19 || 356 || 2<sup>2</sup>&sdot;89 || 34 || 1151 || 1151
|-
| 5 || 20 || 2<sup>2</sup>&sdot;5 || 20 || 395 || 5&sdot;79 || 35 || 1220 || 2<sup>2</sup>&sdot;5&sdot;61
|-
| 6 || 31 || 31 || 21 || 436 || 2<sup>2</sup>&sdot;109 || 36 || 1291 || 1291
|-
| 7 || 44 || 2<sup>2</sup>&sdot;11 || 22 || 479 || 479 || 37 || 1364 || 2<sup>2</sup>&sdot;11&sdot;31
|-
| 8 || 59 || 59 || 23 || 524 || 2<sup>2</sup>&sdot;131 || 38 || 1439 || 1439
|-
| 9 || 76 || 2<sup>2</sup>&sdot;19 || 24 || 571 || 571 || 39 || 1516 || 2<sup>2</sup>&sdot;379
|-
| 10 || 95 || 5&sdot;19 || 25 || 620 || 2<sup>2</sup>&sdot;5&sdot;31 || 40 || 1595 || 5&sdot;11&sdot;29
|-
| 11&nbsp;  || 116 ||  2<sup>2</sup>&sdot;29 || 26 || 671 || 11&sdot;61 || 41 || 1676 || 2<sup>2</sup>&sdot;419
|-
| 12 || 139 || 139 || 27 || 724 || 2<sup>2</sup>&sdot;181 || 42 || 1759 || 1759
|-
| 13 || 164 ||  2<sup>2</sup>&sdot;41 || 28 || 779 || 19&sdot;41 || 43 || 1844 || 2<sup>2</sup>&sdot;461
|-
| 14 || 191 || 191 || 29 || 836 || 2<sup>2</sup>&sdot;11&sdot;19 &nbsp; &nbsp; || 44 || 1931 || 1931
|-
| 15 || 220&nbsp;  ||  2<sup>2</sup>&sdot;5&sdot;11 &nbsp; &nbsp; || 30 || 895&nbsp;  || 5&sdot;179 || 45 || 2020&nbsp;  || 2<sup>2</sup>&sdot;5&sdot;101
|}
 
A striking feature of the data is that with the exceptions of 2 and 5, ''the prime numbers that appear as factors are precisely those with final digit 1 or 9.''
 
Another way of phrasing this is that the primes ''p'' for which there exists an ''n'' such that ''n''<sup>2</sup> &equiv; 5 (mod ''p'') are precisely 2, 5, and those primes ''p'' that are &equiv; 1 or 4 (mod 5).
 
The law of quadratic reciprocity gives a similar characterization of prime divisors of ''f''(''n'') = ''n''<sup>2</sup> &minus; ''c'' for any integer ''c''.
 
==Terminology, data, and two statements of the theorem==
A [[quadratic residue|quadratic residue (mod ''n'')]]  is any number congruent to a square (mod ''n''). A quadratic nonresidue (mod ''n'') is any number which is not congruent to a square (mod ''n''). The adjective "quadratic" can be dropped if the context makes it clear that it is implied. When working modulo primes (as in this article), it is usual to treat zero as a special case. By doing so, the following statements become true:
 
*Modulo a prime, there are an equal number of quadratic residues and nonresidues.
 
*Modulo a prime, the product of two quadratic residues is a residue, the product of a residue and a nonresidue is a nonresidue, and the product of two nonresidues is a residue.
 
===Table of quadratic residues===
{|  class="wikitable" style="text-align:center" cellpadding="2"
|+ Squares mod primes
|-
! n || 1||2|| 3|| 4||5|| 6|| 7|| 8 ||9 ||10|| 11|| 12|| 13|| 14 ||15|| 16|| 17|| 18 ||19|| 20|| 21|| 22|| 23|| 24 ||25
|-
! n<sup>2</sup>
! width="25" |1
! width="25" |4
! width="25" |9
! width="25" |16
! width="25" |25
! width="25" |36
! width="25" |49
! width="25" |64
! width="25" |81
!100|| 121|| 144|| 169|| 196 ||225|| 256|| 289|| 324 ||361 || 400|| 441|| 484|| 529|| 576 ||625
|-
! mod 3
| 1 || 1 || 0
| 1 || 1 || 0
| 1 || 1 || 0
| 1 || 1 || 0
| 1 || 1 || 0
| 1 || 1 || 0
| 1 || 1 || 0
| 1 || 1 || 0
| 1 
|-
! mod 5
| 1 || 4 || 4 || 1 || 0
| 1 || 4 || 4 || 1 || 0
| 1 || 4 || 4 || 1 || 0
| 1 || 4 || 4 || 1 || 0
| 1 || 4 || 4 || 1 || 0
|-
! mod 7
| 1 || 4 || 2 || 2 || 4 || 1 || 0
| 1 || 4 || 2 || 2 || 4 || 1 || 0
| 1 || 4 || 2 || 2 || 4 || 1 || 0
| 1 || 4 || 2 || 2 
|-
! mod 11
| 1 || 4 || 9 || 5 || 3 || 3 || 5 || 9 || 4 || 1 || 0
| 1 || 4 || 9 || 5 || 3 || 3 || 5 || 9 || 4 || 1 || 0
| 1 || 4 || 9 
|-
! mod 13
| 1 || 4 || 9 || 3 || 12 || 10 || 10 || 12 || 3 || 9 || 4 || 1 || 0
| 1 || 4 || 9 || 3 || 12 || 10 || 10 || 12 || 3 || 9 || 4 || 1
|-
! mod 17
| 1 || 4 || 9 || 16 || 8 || 2 || 15 || 13 || 13 || 15 || 2 || 8 || 16 || 9 || 4 || 1 || 0
| 1 || 4 || 9 || 16 || 8 || 2 || 15 || 13 
|-
! mod 19
| 1 || 4 || 9 || 16 || 6 || 17 || 11 || 7 || 5 || 5 || 7 || 11 || 17 || 6 || 16 || 9 || 4 || 1 || 0
| 1 || 4 || 9 || 16 || 6 || 17 
|-
! mod 23
| 1 || 4 || 9 || 16 || 2 || 13 || 3 || 18 || 12 || 8 || 6 || 6 || 8 || 12 ||18 || 3 || 13 || 2 || 16 || 9 || 4 || 1 || 0
| 1 || 4 
|-
! mod 29
| 1 ||4|| 9|| 16|| 25|| 7|| 20|| 6 ||23 ||13|| 5|| 28|| 24|| 22 ||22|| 24|| 28|| 5 ||13 || 23|| 6|| 20|| 7|| 25 ||16
|-
! mod 31
| 1 ||4|| 9|| 16||25|| 5|| 18|| 2 ||19 ||7|| 28|| 20|| 14|| 10 ||8|| 8|| 10|| 14 ||20 || 28|| 7|| 19|| 2|| 18 ||5
|-
! mod 37
| 1 ||4|| 9|| 16||25|| 36|| 12|| 27 ||7 ||26||10|| 33|| 21|| 11 ||3|| 34|| 30|| 28 ||28 || 30|| 34|| 3|| 11|| 21 ||33
|- 
! mod 41
| 1 ||4|| 9|| 16||25|| 36|| 8|| 23 ||40 ||18||39||21|| 5|| 32 ||20|| 10|| 2|| 37 ||33 || 31|| 31|| 33|| 37|| 2 ||10
|-
! mod 43
| 1 ||4|| 9|| 16||25|| 36|| 6|| 21 ||38 ||14|| 35|| 15|| 40|| 24 ||10|| 41|| 31|| 23 ||17 || 13|| 11 || 11|| 13|| 17 ||23
|-
! mod 47
| 1 ||4|| 9|| 16||25|| 36|| 2|| 17 ||34 ||6|| 27|| 3|| 28|| 8 ||37||21||7||42||32||24||18|| 14|| 12 || 12 ||14
|}
 
This table is complete for primes less than 50. To check whether a number ''n'' is a quadratic residue mod one of these primes ''p'', find ''a'' ≡ ''n'' (mod ''p'') and 0 ≤ ''a'' &lt; ''p''. If ''a'' is in row ''p'' it is a residue (mod ''p''); if it is not in row ''p'' of the table, it is a nonresidue (mod ''p'').
 
The quadratic reciprocity law is the statement that certain patterns found in the table are true in general.
 
In this article, ''p'' and ''q'' always refer to distinct positive odd prime numbers.
 
===−1 and the first supplement===
First of all, for which prime numbers is −1 a quadratic residue? Examining the table, we find −1 in rows 5, 13, 17, 29, 37, and 41 but not in rows 3, 7, 11, 19, 23, 31, 43 or 47.
 
<blockquote>(−1 ≡ 2 (mod 3),&nbsp; −1 ≡ 4 (mod 5), &nbsp; −1 ≡ 10 (mod 11), &nbsp;etc.)</blockquote>
 
The former primes are all ≡ 1 (mod 4), and the latter are all ≡ 3 (mod 4). This leads to
 
The first supplement to quadratic reciprocity:
 
:<math>
\text{The congruence }x^2 \equiv -1 \pmod p \text{ is solvable if and only if }p\equiv 1 \pmod 4.
</math>
 
===±2 and the second supplement===
For which prime numbers is 2 a quadratic residue? Examining the table, we find 2 in rows 7, 17, 23, 31, 41, and 47, but not in rows 3, 5, 11, 13, 19, 29, 37, or 43.
 
The former primes are all ≡ ±1 (mod 8), and the latter are all ≡ ±3 (mod 8). This leads to
 
The second supplement to quadratic reciprocity:
 
:<math>
\text{The congruence }x^2 \equiv 2 \pmod p \text{ is solvable if and only if }p\equiv \pm 1 \pmod 8.
</math>
 
−2 is in rows 3, 11, 17, 19, 41, 43, but not in rows 5, 7, 13, 23, 29, 31, 37, or 47. The former are ≡ 1 or ≡ 3 (mod 8), and the latter are ≡ 5 or ≡ 7 (mod 8).
 
===±3===
3 is in rows 11, 13, 23, 37, and 47, but not in rows 5, 7, 17, 19, 29, 31, 41, or 43.
 
The former are  ≡ ±1 (mod 12) and the latter are all ≡ ±5 (mod 12).
 
−3 is in rows 7, 13, 19, 31, 37, and 43 but not in rows 5, 11, 17, 23, 29, 41, or 47. The former are ≡ 1 (mod 3) and the latter ≡ 2 (mod 3).
 
Since the only residue (mod 3) is 1, we see that −3 is a quadratic residue modulo every prime which is a residue (mod 3).
 
===±5===
5 is in rows 11, 19, 29, 31, and 41 but not in rows 3, 7, 13, 17, 23, 37, 43, or 47.
 
The former are  ≡ ±1 (mod 5) and the latter are ≡ ±2 (mod 5).
 
Since the only residues (mod 5) are ±1, we see that 5 is a quadratic residue modulo every prime which is a residue (mod 5).
 
−5 is in rows 3, 7, 23, 29, 41, 43, and 47 but not in rows 11, 13, 17, 19, 31, or 37. The former are ≡ 1, 3, 7, 9 (mod 20) and the latter are ≡ 11, 13, 17, 19 (mod 20).
 
===Gauss's version===
The observations about −3 and +5 continue to hold: −7 is a residue (mod ''p'') if and only if ''p'' is a residue (mod 7), −11 is a residue (mod  ''p'') if and only if ''p'' is a residue (mod 11), +13 is a residue (mod ''p'') if and only if ''p'' is a residue (mod 13), ...
 
The more complicated-looking rules for the quadratic characters of +3 and −5, which depend upon congruences (mod 12) and (mod 20) respectively, are simply the ones for −3 and +5 working with the first supplement.
<blockquote>
For example, for −5 to be a residue (mod ''p''), either both 5 and −1 have to be residues (mod ''p'') or they both have to be nonresidues:
 
i.e., ''p'' has to be ≡ ±1 (mod 5) ''and'' ≡ 1 (mod 4), which is the same thing as ''p''  ≡ 1 or 9 (mod 20), or ''p'' has to be ≡ ±2 mod 5 ''and'' ≡ 3 mod 4, which is the same as ''p'' ≡ 3 or 7 (mod 20). See [[Chinese remainder theorem]].</blockquote>
 
The generalization of the rules for −3 and +5 is Gauss's statement of quadratic reciprocity:
 
: <math>
\text{If }q \equiv 1 \pmod 4 \text{ then}
</math>
 
:<math>
\text{the congruence }x^2 \equiv p \pmod q \text{ is solvable if and only if }x^2 \equiv q \pmod p
\text{ is, but}
</math>
 
: <math>
\text{If }q \equiv 3 \pmod 4 \text{ then}
</math>
 
:<math>
\text{the congruence }x^2 \equiv p \pmod q \text{ is solvable if and only if }x^2 \equiv -q \pmod p
\text{ is.}
</math>
 
These statements may be combined:
 
:Let ''q''<sup>*</sup>&nbsp;=&nbsp;(&minus;1)<sup>(''q''&minus;1)/2</sup>''q''.  Then the congruence ''x''<sup>2</sup>&nbsp;≡&nbsp;''p'' (mod ''q'') is solvable if and only if ''x''<sup>2</sup>&nbsp;≡&nbsp;''q''<sup>*</sup> (mod ''p'') is.
 
===Table of quadratic character of primes===
{|  class="wikitable" style="text-align:center; border:3px solid black;"
|+ Legend
|-
|width="25" style="background:#98ff98;" |'''R'''
| align="left" | ''q'' is a residue (mod ''p'')
|rowspan="2" | &nbsp;&nbsp;&nbsp;''q'' ≡ 1 (mod 4) or ''p'' ≡ 1 (mod 4) (or both) &nbsp;
|-
|width="25" style="background:#ADD8E6;" |'''N''' || align="left" | ''q'' is a nonresidue (mod ''p'') &nbsp;
|-
|width="25" style="background:#FFCC99;" |'''R'''
| align="left" | ''q'' is a residue (mod ''p'')
| rowspan="2" |  both ''q'' ≡ 3 (mod 4) and ''p'' ≡ 3 (mod 4)
|-
|width="25" style="background:#FBEC5D;" |'''N''' || align="left" | ''q'' is a nonresidue (mod ''p'') &nbsp;
|}
{|  class="wikitable" style="text-align:center; border:3px solid black;"
|-
| colspan="2" rowspan="2" |
! colspan="24" | ''q''
|-
 
!width="25" | 3
!width="25" | 5
!width="25" | 7
!width="25" |11
!width="25" |13
!width="25" |17
!width="25" |19
!width="25" |23
!width="25" |29
!width="25" |31
!width="25" |37
!width="25" |41
!width="25" |43
!width="25" |47
!width="25" |53
!width="25" |59
!width="25" |61
!width="25" |67
!width="25" |71
!width="25" |73
!width="25" |79
!width="25" |83
!width="25" |89
!width="25" |97
|-
!rowspan="24" width="25" | ''p''
 
! width="25" | 3
 
!&nbsp; <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
|style="background:#FFCC99;" |'''R''' <!--  7 -->
|style="background:#FBEC5D;" |'''N''' <!-- 11 -->
|style="background:#98ff98;" |'''R'''<!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#FFCC99;" |'''R'''<!-- 19 -->
|style="background:#FBEC5D;" |'''N'''<!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#FFCC99;" |'''R'''<!-- 31 -->
|style="background:#98ff98;" |'''R''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N'''<!-- 41 -->
|style="background:#FFCC99;" |'''R'''<!-- 43 -->
|style="background:#FBEC5D;" |'''N''' <!-- 47 -->
|style="background:#ADD8E6;" |'''N'''<!-- 53 -->
|style="background:#FBEC5D;" |'''N''' <!-- 59 -->
|style="background:#98ff98;" |'''R''' <!-- 61 -->
|style="background:#FFCC99;" |'''R''' <!-- 67 -->
|style="background:#FBEC5D;" |'''N''' <!-- 71 -->
|style="background:#98ff98;" |'''R''' <!-- 73 -->
|style="background:#FFCC99;" |'''R''' <!-- 79 -->
|style="background:#FBEC5D;" |'''N''' <!-- 83 -->
|style="background:#ADD8E6;" |'''N'''<!-- 89 -->
|style="background:#98ff98;" |'''R'''<!-- 97 -->
|-
 
! 5
|style="background:#ADD8E6;" |'''N''' <!--  3 -->
!&nbsp; <!--  5 -->
|style="background:#ADD8E6;" |'''N''' <!--  7 -->
|style="background:#98ff98;" |'''R''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#98ff98;" |'''R''' <!-- 19 -->
|style="background:#ADD8E6;" |'''N'''<!-- 23 -->
|style="background:#98ff98;" |'''R'''<!-- 29 -->
|style="background:#98ff98;" |'''R'''<!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#98ff98;" |'''R'''<!-- 41 -->
|style="background:#ADD8E6;" |'''N''' <!-- 43 -->
|style="background:#ADD8E6;" |'''N''' <!-- 47 -->
|style="background:#ADD8E6;" |'''N''' <!-- 53 -->
|style="background:#98ff98;" |'''R''' <!-- 59 -->
|style="background:#98ff98;" |'''R''' <!-- 61 -->
|style="background:#ADD8E6;" |'''N''' <!-- 67 -->
|style="background:#98ff98;" |'''R''' <!-- 71 -->
|style="background:#ADD8E6;" |'''N''' <!-- 73 -->
|style="background:#98ff98;" |'''R''' <!-- 79 -->
|style="background:#ADD8E6;" |'''N''' <!-- 83 -->
|style="background:#98ff98;" |'''R''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
!7
|style="background:#FBEC5D;" |'''N''' <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
!&nbsp; <!--  7 -->
|style="background:#FFCC99;" |'''R''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#FBEC5D;" |'''N''' <!-- 19 -->
|style="background:#FFCC99;" |'''R''' <!-- 23 -->
|style="background:#98ff98;" |'''R''' <!-- 29 -->
|style="background:#FBEC5D;" |'''N''' <!-- 31 -->
|style="background:#98ff98;" |'''R''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#FFCC99;" |'''R''' <!-- 43 -->
|style="background:#FBEC5D;" |'''N''' <!-- 47 -->
|style="background:#98ff98;" |'''R''' <!-- 53 -->
|style="background:#FBEC5D;" |'''N''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#FFCC99;" |'''R''' <!-- 67 -->
|style="background:#FFCC99;" |'''R'''<!-- 71 -->
|style="background:#ADD8E6;" |'''N''' <!-- 73 -->
|style="background:#FFCC99;" |'''R''' <!-- 79 -->
|style="background:#FBEC5D;" |'''N''' <!-- 83 -->
|style="background:#ADD8E6;" |'''N''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
! 11
|style="background:#FFCC99;" |'''R''' <!--  3 -->
|style="background:#98ff98;" |'''R''' <!--  5 -->
|style="background:#FBEC5D;" |'''N''' <!--  7 -->
!&nbsp; <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#FBEC5D;" |'''N''' <!-- 19 -->
|style="background:#FFCC99;" |'''R''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#FFCC99;" |'''R''' <!-- 31 -->
|style="background:#98ff98;" |'''R''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#FBEC5D;" |'''N''' <!-- 43 -->
|style="background:#FFCC99;" |'''R''' <!-- 47 -->
|style="background:#98ff98;" |'''R''' <!-- 53 -->
|style="background:#FFCC99;" |'''R''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#FFCC99;" |'''R''' <!-- 67 -->
|style="background:#FFCC99;" |'''R''' <!-- 71 -->
|style="background:#ADD8E6;" |'''N''' <!-- 73 -->
|style="background:#FBEC5D;" |'''N''' <!-- 79 -->
|style="background:#FBEC5D;" |'''N''' <!-- 83 -->
|style="background:#98ff98;" |'''R''' <!-- 89 -->
|style="background:#98ff98;" |'''R''' <!-- 97 -->
|-
 
! 13
|style="background:#98ff98;" |'''R''' <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
|style="background:#ADD8E6;" |'''N''' <!--  7 -->
|style="background:#ADD8E6;" |'''N''' <!-- 11 -->
!&nbsp; <!-- 13 -->
|style="background:#98ff98;" |'''R''' <!-- 17 -->
|style="background:#ADD8E6;" |'''N''' <!-- 19 -->
|style="background:#98ff98;" |'''R''' <!-- 23 -->
|style="background:#98ff98;" |'''R''' <!-- 29 -->
|style="background:#ADD8E6;" |'''N''' <!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#98ff98;" |'''R''' <!-- 43 -->
|style="background:#ADD8E6;" |'''N''' <!-- 47 -->
|style="background:#98ff98;" |'''R''' <!-- 53 -->
|style="background:#ADD8E6;" |'''N''' <!-- 59 -->
|style="background:#98ff98;" |'''R''' <!-- 61 -->
|style="background:#ADD8E6;" |'''N''' <!-- 67 -->
|style="background:#ADD8E6;" |'''N''' <!-- 71 -->
|style="background:#ADD8E6;" |'''N''' <!-- 73 -->
|style="background:#98ff98;" |'''R''' <!-- 79 -->
|style="background:#ADD8E6;" |'''N''' <!-- 83 -->
|style="background:#ADD8E6;" |'''N''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
!17
|style="background:#ADD8E6;" |'''N''' <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
|style="background:#ADD8E6;" |'''N''' <!--  7 -->
|style="background:#ADD8E6;" |'''N''' <!-- 11 -->
|style="background:#98ff98;" |'''R'''<!-- 13 -->
!&nbsp; <!-- 17 -->
|style="background:#98ff98;" |'''R''' <!-- 19 -->
|style="background:#ADD8E6;" |'''N''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#ADD8E6;" |'''N''' <!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#98ff98;" |'''R''' <!-- 43 -->
|style="background:#98ff98;" |'''R''' <!-- 47 -->
|style="background:#98ff98;" |'''R''' <!-- 53 -->
|style="background:#98ff98;" |'''R''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#98ff98;" |'''R''' <!-- 67 -->
|style="background:#ADD8E6;" |'''N''' <!-- 71 -->
|style="background:#ADD8E6;" |'''N''' <!-- 73 -->
|style="background:#ADD8E6;" |'''N''' <!-- 79 -->
|style="background:#98ff98;" |'''R''' <!-- 83 -->
|style="background:#98ff98;" |'''R''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
!19
|style="background:#FBEC5D;" |'''N''' <!--  3 -->
|style="background:#98ff98;" |'''R''' <!--  5 -->
|style="background:#FFCC99;" |'''R''' <!--  7 -->
|style="background:#FFCC99;" |'''R''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#98ff98;" |'''R''' <!-- 17 -->
!&nbsp; <!-- 19 -->
|style="background:#FFCC99;" |'''R''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#FBEC5D;" |'''N''' <!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#FFCC99;" |'''R''' <!-- 43 -->
|style="background:#FFCC99;" |'''R''' <!-- 47 -->
|style="background:#ADD8E6;" |'''N''' <!-- 53 -->
|style="background:#FBEC5D;" |'''N''' <!-- 59 -->
|style="background:#98ff98;" |'''R''' <!-- 61 -->
|style="background:#FBEC5D;" |'''N''' <!-- 67 -->
|style="background:#FBEC5D;" |'''N''' <!-- 71 -->
|style="background:#98ff98;" |'''R''' <!-- 73 -->
|style="background:#FBEC5D;" |'''N''' <!-- 79 -->
|style="background:#FFCC99;" |'''R''' <!-- 83 -->
|style="background:#ADD8E6;" |'''N''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
!23
|style="background:#FFCC99;" |'''R''' <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
|style="background:#FBEC5D;" |'''N''' <!--  7 -->
|style="background:#FBEC5D;" |'''N''' <!-- 11 -->
|style="background:#98ff98;" |'''R''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#FBEC5D;" |'''N''' <!-- 19 -->
!&nbsp; <!-- 23 -->
|style="background:#98ff98;" |'''R''' <!-- 29 -->
|style="background:#FFCC99;" |'''R''' <!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#98ff98;" |'''R''' <!-- 41 -->
|style="background:#FBEC5D;" |'''N''' <!-- 43 -->
|style="background:#FFCC99;" |'''R''' <!-- 47 -->
|style="background:#ADD8E6;" |'''N''' <!-- 53 -->
|style="background:#FFCC99;" |'''R''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#FBEC5D;" |'''N''' <!-- 67 -->
|style="background:#FFCC99;" |'''R''' <!-- 71 -->
|style="background:#98ff98;" |'''R''' <!-- 73 -->
|style="background:#FBEC5D;" |'''N''' <!-- 79 -->
|style="background:#FBEC5D;" |'''N''' <!-- 83 -->
|style="background:#ADD8E6;" |'''N''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
!29
|style="background:#ADD8E6;" |'''N''' <!--  3 -->
|style="background:#98ff98;" |'''R''' <!--  5 -->
|style="background:#98ff98;" |'''R''' <!--  7 -->
|style="background:#ADD8E6;" |'''N''' <!-- 11 -->
|style="background:#98ff98;" |'''R''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#ADD8E6;" |'''N''' <!-- 19 -->
|style="background:#98ff98;" |'''R''' <!-- 23 -->
!&nbsp; <!-- 29 -->
|style="background:#ADD8E6;" |'''N''' <!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#ADD8E6;" |'''N''' <!-- 43 -->
|style="background:#ADD8E6;" |'''N''' <!-- 47 -->
|style="background:#98ff98;" |'''R''' <!-- 53 -->
|style="background:#98ff98;" |'''R''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#98ff98;" |'''R''' <!-- 67 -->
|style="background:#98ff98;" |'''R''' <!-- 71 -->
|style="background:#ADD8E6;" |'''N''' <!-- 73 -->
|style="background:#ADD8E6;" |'''N''' <!-- 79 -->
|style="background:#98ff98;" |'''R''' <!-- 83 -->
|style="background:#ADD8E6;" |'''N''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
!31
|style="background:#FBEC5D;" |'''N''' <!--  3 -->
|style="background:#98ff98;" |'''R''' <!--  5 -->
!style="background:#FFCC99;" |'''R''' <!--  7 -->
|style="background:#FBEC5D;" |'''N''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#FFCC99;" |'''R''' <!-- 19 -->
|style="background:#FBEC5D;" |'''N''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
!&nbsp; <!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#98ff98;" |'''R''' <!-- 41 -->
|style="background:#FBEC5D;" |'''N''' <!-- 43 -->
|style="background:#FFCC99;" |'''R''' <!-- 47 -->
|style="background:#ADD8E6;" |'''N''' <!-- 53 -->
|style="background:#FFCC99;" |'''R''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#FFCC99;" |'''R''' <!-- 67 -->
|style="background:#FFCC99;" |'''R''' <!-- 71 -->
|style="background:#ADD8E6;" |'''N''' <!-- 73 -->
|style="background:#FBEC5D;" |'''N''' <!-- 79 -->
|style="background:#FBEC5D;" |'''N''' <!-- 83 -->
|style="background:#ADD8E6;" |'''N''' <!-- 89 -->
|style="background:#98ff98;" |'''R''' <!-- 97 -->
|-
 
!37
|style="background:#98ff98;" |'''R''' <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
|style="background:#98ff98;" |'''R''' <!--  7 -->
|style="background:#98ff98;" |'''R''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#ADD8E6;" |'''N''' <!-- 19 -->
|style="background:#ADD8E6;" |'''N''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#ADD8E6;" |'''N''' <!-- 31 -->
!&nbsp; <!-- 37 -->
|style="background:#98ff98;" |'''R''' <!-- 41 -->
|style="background:#ADD8E6;" |'''N''' <!-- 43 -->
|style="background:#98ff98;" |'''R''' <!-- 47 -->
|style="background:#98ff98;" |'''R''' <!-- 53 -->
|style="background:#ADD8E6;" |'''N''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#98ff98;" |'''R''' <!-- 67 -->
|style="background:#98ff98;" |'''R''' <!-- 71 -->
|style="background:#98ff98;" |'''R''' <!-- 73 -->
|style="background:#ADD8E6;" |'''N''' <!-- 79 -->
|style="background:#98ff98;" |'''R''' <!-- 83 -->
|style="background:#ADD8E6;" |'''N''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
!41
|style="background:#ADD8E6;" |'''N''' <!--  3 -->
|style="background:#98ff98;" |'''R''' <!--  5 -->
|style="background:#ADD8E6;" |'''N''' <!--  7 -->
|style="background:#ADD8E6;" |'''N''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#ADD8E6;" |'''N''' <!-- 19 -->
|style="background:#98ff98;" |'''R''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#98ff98;" |'''R''' <!-- 31 -->
|style="background:#98ff98;" |'''R''' <!-- 37 -->
!&nbsp;  <!-- 41 -->
|style="background:#98ff98;" |'''R''' <!-- 43 -->
|style="background:#ADD8E6;" |'''N''' <!-- 47 -->
|style="background:#ADD8E6;" |'''N''' <!-- 53 -->
|style="background:#98ff98;" |'''R''' <!-- 59 -->
|style="background:#98ff98;" |'''R''' <!-- 61 -->
|style="background:#ADD8E6;" |'''N''' <!-- 67 -->
|style="background:#ADD8E6;" |'''N''' <!-- 71 -->
|style="background:#98ff98;" |'''R''' <!-- 73 -->
|style="background:#ADD8E6;" |'''N''' <!-- 79 -->
|style="background:#98ff98;" |'''R''' <!-- 83 -->
|style="background:#ADD8E6;" |'''N''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
!43
|style="background:#FBEC5D;" |'''N''' <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
|style="background:#FBEC5D;" |'''N''' <!--  7 -->
|style="background:#FFCC99;" |'''R''' <!-- 11 -->
|style="background:#98ff98;" |'''R''' <!-- 13 -->
|style="background:#98ff98;" |'''R''' <!-- 17 -->
|style="background:#FBEC5D;" |'''N''' <!-- 19 -->
|style="background:#FFCC99;" |'''R''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#FFCC99;" |'''R''' <!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#98ff98;" |'''R''' <!-- 41 -->
!&nbsp; <!-- 43 -->
|style="background:#FFCC99;" |'''R''' <!-- 47 -->
|style="background:#98ff98;" |'''R''' <!-- 53 -->
|style="background:#FFCC99;" |'''R''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#FFCC99;" |'''R''' <!-- 67 -->
|style="background:#FBEC5D;" |'''N''' <!-- 71 -->
|style="background:#ADD8E6;" |'''N''' <!-- 73 -->
|style="background:#FFCC99;" |'''R''' <!-- 79 -->
|style="background:#FFCC99;" |'''R''' <!-- 83 -->
|style="background:#ADD8E6;" |'''N''' <!-- 89 -->
|style="background:#98ff98;" |'''R''' <!-- 97 -->
|-
 
!47
|style="background:#FFCC99;" |'''R''' <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
|style="background:#FFCC99;" |'''R''' <!--  7 -->
|style="background:#FBEC5D;" |'''N''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#98ff98;" |'''R''' <!-- 17 -->
|style="background:#FBEC5D;" |'''N''' <!-- 19 -->
|style="background:#FBEC5D;" |'''N''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#FBEC5D;" |'''N''' <!-- 31 -->
|style="background:#98ff98;" |'''R''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#FBEC5D;" |'''N''' <!-- 43 -->
!&nbsp; <!-- 47 -->
|style="background:#98ff98;" |'''R''' <!-- 53 -->
|style="background:#FFCC99;" |'''R''' <!-- 59 -->
|style="background:#98ff98;" |'''R''' <!-- 61 -->
|style="background:#FBEC5D;" |'''N''' <!-- 67 -->
|style="background:#FFCC99;" |'''R''' <!-- 71 -->
|style="background:#ADD8E6;" |'''N''' <!-- 73 -->
|style="background:#FFCC99;" |'''R''' <!-- 79 -->
|style="background:#FFCC99;" |'''R''' <!-- 83 -->
|style="background:#98ff98;" |'''R''' <!-- 89 -->
|style="background:#98ff98;" |'''R''' <!-- 97 -->
|-
 
!53
|style="background:#ADD8E6;" |'''N''' <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
|style="background:#98ff98;" |'''R''' <!--  7 -->
|style="background:#98ff98;" |'''R''' <!-- 11 -->
|style="background:#98ff98;" |'''R''' <!-- 13 -->
|style="background:#98ff98;" |'''R''' <!-- 17 -->
|style="background:#ADD8E6;" |'''N''' <!-- 19 -->
|style="background:#ADD8E6;" |'''N''' <!-- 23 -->
|style="background:#98ff98;" |'''R''' <!-- 29 -->
|style="background:#ADD8E6;" |'''N''' <!-- 31 -->
|style="background:#98ff98;" |'''R''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#98ff98;" |'''R''' <!-- 43 -->
|style="background:#98ff98;" |'''R''' <!-- 47 -->
!&nbsp;  <!-- 53 -->
|style="background:#98ff98;" |'''R''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#ADD8E6;" |'''N''' <!-- 67 -->
|style="background:#ADD8E6;" |'''N''' <!-- 71 -->
|style="background:#ADD8E6;" |'''N''' <!-- 73 -->
|style="background:#ADD8E6;" |'''N''' <!-- 79 -->
|style="background:#ADD8E6;" |'''N''' <!-- 83 -->
|style="background:#98ff98;" |'''R''' <!-- 89 -->
|style="background:#98ff98;" |'''R''' <!-- 97 -->
|-
 
!59
|style="background:#FFCC99;" |'''R''' <!--  3 -->
|style="background:#98ff98;" |'''R''' <!--  5 -->
|style="background:#FFCC99;" |'''R''' <!--  7 -->
|style="background:#FBEC5D;" |'''N''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#98ff98;" |'''R''' <!-- 17 -->
|style="background:#FFCC99;" |'''R''' <!-- 19 -->
|style="background:#FBEC5D;" |'''N''' <!-- 23 -->
|style="background:#98ff98;" |'''R''' <!-- 29 -->
|style="background:#FBEC5D;" |'''N''' <!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#98ff98;" |'''R''' <!-- 41 -->
|style="background:#FBEC5D;" |'''N''' <!-- 43 -->
|style="background:#FBEC5D;" |'''N''' <!-- 47 -->
|style="background:#98ff98;" |'''R''' <!-- 53 -->
!&nbsp;  <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#FBEC5D;" |'''N''' <!-- 67 -->
|style="background:#FFCC99;" |'''R''' <!-- 71 -->
|style="background:#ADD8E6;" |'''N''' <!-- 73 -->
|style="background:#FFCC99;" |'''R''' <!-- 79 -->
|style="background:#FBEC5D;" |'''N''' <!-- 83 -->
|style="background:#ADD8E6;" |'''N''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
!61
|style="background:#98ff98;" |'''R''' <!--  3 -->
|style="background:#98ff98;" |'''R''' <!--  5 -->
|style="background:#ADD8E6;" |'''N''' <!--  7 -->
|style="background:#ADD8E6;" |'''N''' <!-- 11 -->
|style="background:#98ff98;" |'''R''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#98ff98;" |'''R''' <!-- 19 -->
|style="background:#ADD8E6;" |'''N''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#ADD8E6;" |'''N''' <!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#98ff98;" |'''R''' <!-- 41 -->
|style="background:#ADD8E6;" |'''N''' <!-- 43 -->
|style="background:#98ff98;" |'''R''' <!-- 47 -->
|style="background:#ADD8E6;" |'''N''' <!-- 53 -->
|style="background:#ADD8E6;" |'''N''' <!-- 59 -->
!&nbsp; <!-- 61 -->
|style="background:#ADD8E6;" |'''N''' <!-- 67 -->
|style="background:#ADD8E6;" |'''N''' <!-- 71 -->
|style="background:#98ff98;" |'''R''' <!-- 73 -->
|style="background:#ADD8E6;" |'''N''' <!-- 79 -->
|style="background:#98ff98;" |'''R''' <!-- 83 -->
|style="background:#ADD8E6;" |'''N''' <!-- 89 -->
|style="background:#98ff98;" |'''R''' <!-- 97 -->
|-
 
!67
|style="background:#FBEC5D;" |'''N''' <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
|style="background:#FBEC5D;" |'''N''' <!--  7 -->
|style="background:#FBEC5D;" |'''N''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#98ff98;" |'''R''' <!-- 17 -->
|style="background:#FFCC99;" |'''R''' <!-- 19 -->
|style="background:#FFCC99;" |'''R''' <!-- 23 -->
|style="background:#98ff98;" |'''R''' <!-- 29 -->
|style="background:#FBEC5D;" |'''N''' <!-- 31 -->
|style="background:#98ff98;" |'''R''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#FBEC5D;" |'''N''' <!-- 43 -->
|style="background:#FFCC99;" |'''R''' <!-- 47 -->
|style="background:#ADD8E6;" |'''N''' <!-- 53 -->
|style="background:#FFCC99;" |'''R''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
!&nbsp; <!-- 67 -->
|style="background:#FFCC99;" |'''R''' <!-- 71 -->
|style="background:#98ff98;" |'''R''' <!-- 73 -->
|style="background:#FBEC5D;" |'''N''' <!-- 79 -->
|style="background:#FFCC99;" |'''R''' <!-- 83 -->
|style="background:#98ff98;" |'''R''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
!71
|style="background:#FFCC99;" |'''R''' <!--  3 -->
|style="background:#98ff98;" |'''R''' <!--  5 -->
|style="background:#FBEC5D;" |'''N''' <!--  7 -->
|style="background:#FBEC5D;" |'''N''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#FFCC99;" |'''R''' <!-- 19 -->
|style="background:#FBEC5D;" |'''N''' <!-- 23 -->
|style="background:#98ff98;" |'''R''' <!-- 29 -->
|style="background:#FBEC5D;" |'''N''' <!-- 31 -->
|style="background:#98ff98;" |'''R''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#FFCC99;" |'''R''' <!-- 43 -->
|style="background:#FBEC5D;" |'''N''' <!-- 47 -->
|style="background:#ADD8E6;" |'''N''' <!-- 53 -->
|style="background:#FBEC5D;" |'''N''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#FBEC5D;" |'''N''' <!-- 67 -->
!&nbsp; <!-- 71 -->
|style="background:#98ff98;" |'''R''' <!-- 73 -->
|style="background:#FFCC99;" |'''R''' <!-- 79 -->
|style="background:#FFCC99;" |'''R''' <!-- 83 -->
|style="background:#98ff98;" |'''R''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
!73
|style="background:#98ff98;" |'''R''' <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
|style="background:#ADD8E6;" |'''N''' <!--  7 -->
|style="background:#ADD8E6;" |'''N''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#98ff98;" |'''R''' <!-- 19 -->
|style="background:#98ff98;" |'''R''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#ADD8E6;" |'''N''' <!-- 31 -->
|style="background:#98ff98;" |'''R''' <!-- 37 -->
|style="background:#98ff98;" |'''R''' <!-- 41 -->
|style="background:#ADD8E6;" |'''N''' <!-- 43 -->
|style="background:#ADD8E6;" |'''N''' <!-- 47 -->
|style="background:#ADD8E6;" |'''N''' <!-- 53 -->
|style="background:#ADD8E6;" |'''N''' <!-- 59 -->
|style="background:#98ff98;" |'''R''' <!-- 61 -->
|style="background:#98ff98;" |'''R''' <!-- 67 -->
|style="background:#98ff98;" |'''R''' <!-- 71 -->
!&nbsp; <!-- 73 -->
|style="background:#98ff98;" |'''R''' <!-- 79 -->
|style="background:#ADD8E6;" |'''N''' <!-- 83 -->
|style="background:#98ff98;" |'''R''' <!-- 89 -->
|style="background:#98ff98;" |'''R''' <!-- 97 -->
|-
 
!79
|style="background:#FBEC5D;" |'''N''' <!--  3 -->
|style="background:#98ff98;" |'''R''' <!--  5 -->
|style="background:#FBEC5D;" |'''N''' <!--  7 -->
|style="background:#FFCC99;" |'''R''' <!-- 11 -->
|style="background:#98ff98;" |'''R''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#FFCC99;" |'''R''' <!-- 19 -->
|style="background:#FFCC99;" |'''R''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#FFCC99;" |'''R''' <!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#FBEC5D;" |'''N''' <!-- 43 -->
|style="background:#FBEC5D;" |'''N''' <!-- 47 -->
|style="background:#ADD8E6;" |'''N''' <!-- 53 -->
|style="background:#FBEC5D;" |'''N''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#FFCC99;" |'''R''' <!-- 67 -->
|style="background:#FBEC5D;" |'''N''' <!-- 71 -->
|style="background:#98ff98;" |'''R''' <!-- 73 -->
!&nbsp; <!-- 79 -->
|style="background:#FFCC99;" |'''R''' <!-- 83 -->
|style="background:#98ff98;" |'''R''' <!-- 89 -->
|style="background:#98ff98;" |'''R''' <!-- 97 -->
|-
 
!83
|style="background:#FFCC99;" |'''R''' <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
|style="background:#FFCC99;" |'''R''' <!--  7 -->
|style="background:#FFCC99;" |'''R''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#98ff98;" |'''R''' <!-- 17 -->
|style="background:#FBEC5D;" |'''N''' <!-- 19 -->
|style="background:#FFCC99;" |'''R''' <!-- 23 -->
|style="background:#98ff98;" |'''R''' <!-- 29 -->
|style="background:#FFCC99;" |'''R''' <!-- 31 -->
|style="background:#98ff98;" |'''R''' <!-- 37 -->
|style="background:#98ff98;" |'''R''' <!-- 41 -->
|style="background:#FBEC5D;" |'''N''' <!-- 43 -->
|style="background:#FBEC5D;" |'''N''' <!-- 47 -->
|style="background:#ADD8E6;" |'''N''' <!-- 53 -->
|style="background:#FFCC99;" |'''R''' <!-- 59 -->
|style="background:#98ff98;" |'''R''' <!-- 61 -->
|style="background:#FBEC5D;" |'''N''' <!-- 67 -->
|style="background:#FBEC5D;" |'''N''' <!-- 71 -->
|style="background:#ADD8E6;" |'''N''' <!-- 73 -->
|style="background:#FBEC5D;" |'''N''' <!-- 79 -->
!&nbsp; <!-- 83 -->
|style="background:#ADD8E6;" |'''N''' <!-- 89 -->
|style="background:#ADD8E6;" |'''N''' <!-- 97 -->
|-
 
!89
|style="background:#ADD8E6;" |'''N''' <!--  3 -->
|style="background:#98ff98;" |'''R''' <!--  5 -->
|style="background:#ADD8E6;" |'''N''' <!--  7 -->
|style="background:#98ff98;" |'''R''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#98ff98;" |'''R''' <!-- 17 -->
|style="background:#ADD8E6;" |'''N''' <!-- 19 -->
|style="background:#ADD8E6;" |'''N''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#ADD8E6;" |'''N''' <!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#ADD8E6;" |'''N''' <!-- 43 -->
|style="background:#98ff98;" |'''R''' <!-- 47 -->
|style="background:#98ff98;" |'''R''' <!-- 53 -->
|style="background:#ADD8E6;" |'''N''' <!-- 59 -->
|style="background:#ADD8E6;" |'''N''' <!-- 61 -->
|style="background:#98ff98;" |'''R''' <!-- 67 -->
|style="background:#98ff98;" |'''R''' <!-- 71 -->
|style="background:#98ff98;" |'''R''' <!-- 73 -->
|style="background:#98ff98;" |'''R''' <!-- 79 -->
|style="background:#ADD8E6;" |'''N''' <!-- 83 -->
!&nbsp;  <!-- 89 -->
|style="background:#98ff98;" |'''R''' <!-- 97 -->
|-
 
!97
|style="background:#98ff98;" |'''R''' <!--  3 -->
|style="background:#ADD8E6;" |'''N''' <!--  5 -->
|style="background:#ADD8E6;" |'''N''' <!--  7 -->
|style="background:#98ff98;" |'''R''' <!-- 11 -->
|style="background:#ADD8E6;" |'''N''' <!-- 13 -->
|style="background:#ADD8E6;" |'''N''' <!-- 17 -->
|style="background:#ADD8E6;" |'''N''' <!-- 19 -->
|style="background:#ADD8E6;" |'''N''' <!-- 23 -->
|style="background:#ADD8E6;" |'''N''' <!-- 29 -->
|style="background:#98ff98;" |'''R''' <!-- 31 -->
|style="background:#ADD8E6;" |'''N''' <!-- 37 -->
|style="background:#ADD8E6;" |'''N''' <!-- 41 -->
|style="background:#98ff98;" |'''R''' <!-- 43 -->
|style="background:#98ff98;" |'''R''' <!-- 47 -->
|style="background:#98ff98;" |'''R''' <!-- 53 -->
|style="background:#ADD8E6;" |'''N''' <!-- 59 -->
|style="background:#98ff98;" |'''R''' <!-- 61 -->
|style="background:#ADD8E6;" |'''N''' <!-- 67 -->
|style="background:#ADD8E6;" |'''N''' <!-- 71 -->
|style="background:#98ff98;" |'''R''' <!-- 73 -->
|style="background:#98ff98;" |'''R''' <!-- 79 -->
|style="background:#ADD8E6;" |'''N''' <!-- 83 -->
|style="background:#98ff98;" |'''R''' <!-- 89 -->
!&nbsp; <!-- 97 -->
|}
 
===Legendre's version===
Another way to organize the data is to see which primes are residues mod which other primes, as illustrated in the above table. The entry in row ''p'' column ''q'' is '''R''' if ''q'' is a quadratic residue (mod ''p''); if it is a nonresidue the entry is '''N'''.
 
If the row, or the column, or both, are ≡ 1 (mod 4) the entry is blue or green; if both row and column are ≡ 3 (mod 4), it is yellow or orange.
 
The blue and green entries are symmetric around the diagonal: The entry for row ''p'', column ''q'' is '''R''' (resp '''N''') if and only if the entry at row ''q'', column ''p'', is '''R''' (resp '''N''').
 
The yellow and orange ones, on the other hand, are antisymmetric: The entry for row ''p'', column ''q'' is '''R''' (resp '''N''') if and only if the entry at row ''q'', column ''p'', is '''N''' (resp '''R''').
 
This observation is Legendre's statement of quadratic reciprocity:
 
:<math>
\text{If }p\equiv1\pmod4 \text{ or }q\equiv1\pmod4 \text{ (or both), then}
</math>
::<math>
x^2 \equiv q \pmod p \text{ is solvable if and only if }x^2 \equiv p \pmod q\text{ is solvable.}
</math>
 
:<math>
\text{If }p\equiv q \equiv 3 \pmod4, \text{ then}
</math>
::<math>
x^2 \equiv q \pmod p \text{ is solvable if and only if }x^2 \equiv p \pmod q\text{ is not solvable.}
</math>
 
It is a simple exercise to prove that Legendre's and Gauss's statements are equivalent – it requires no more than the first supplement and the facts about multiplying residues and nonresidues.
 
==Connection with cyclotomy==
 
The early proofs of quadratic reciprocity are relatively unilluminating. The situation changed when Gauss used [[Gauss sum]]s to show that [[quadratic field]]s are subfields of [[cyclotomic field]]s, and implicitly deduced quadratic reciprocity from a reciprocity theorem for cyclotomic fields. His proof was cast in modern form by later algebraic number theorists. This proof served as a template for [[class field theory]], which can be viewed as a vast generalization of quadratic reciprocity
 
[[Robert Langlands]] formulated the [[Langlands program]], which gives a conjectural vast generalization of class field theory. He wrote:<ref>http://www.math.duke.edu/langlands/Three.pdf</ref>
 
:''I confess that, as a student unaware of the history of the subject and unaware of the connection with cyclotomy, I did not find the law or its so-called elementary proofs appealing. I suppose, although I would not have (and could not have) expressed myself in this way that I saw it as little more than a mathematical curiosity, fit more for amateurs than for the attention of the serious mathematician that I then hoped to become. It was only in Hermann Weyl's book on the algebraic theory of numbers<ref>http://www.amazon.com/Algebraic-Theory-Numbers-Hermann-Weyl/dp/0691059179</ref> that I appreciated it as anything more.''
 
==History and alternative statements==
There are a number of ways to state the theorem. Keep in mind that Euler and Legendre did not have Gauss's congruence notation, nor did Gauss have the Legendre symbol.
 
In this article ''p'' and ''q'' always refer to distinct positive odd primes.
 
===Fermat===
Fermat proved<ref>Lemmermeyer, pp. 2&ndash;3</ref> (or claimed to have proved)<ref>Gauss, DA, art. 182</ref> a number of theorems about expressing a prime by a quadratic form:
:<math>p=x^2+\;\,y^2\text{ if and only if } p=2 \text{ or } p\equiv 1 \pmod4,</math>
:<math>\!\,p=x^2+2y^2\text{ if and only if } p=2 \text{ or } p\equiv 1, 3 \pmod8,</math>
:<math>\!\,p=x^2+3y^2\text{ if and only if } p=3 \text{ or } p\equiv 1 \pmod3.</math>
 
He did not state the law of quadratic reciprocity, although the cases −1, ±2, and ±3 are easy deductions from these and other of his theorems.
 
He also claimed to have a proof that if the prime number ''p'' ends with 7, (in base 10) and the prime number ''q'' ends in 3, and ''p'' ≡ ''q'' ≡ 3 (mod 4), then
 
:<math>pq=x^2+5y^2.</math>
 
Euler conjectured, and Lagrange proved, that<ref>Lemmermeyer, p. 3</ref>
:<math>\text{If }\;\,p \equiv 1, 9 \pmod{ 20 }\text{ then }\;\,p = x^2+5y^2,</math>
:<math>\!\,\text{if }p, q \equiv 3, 7 \pmod{ 20 }\text{ then } pq=x^2+5y^2.</math>
 
Proving these and other statements of Fermat was one of the things that led mathematicians to the reciprocity theorem.
 
===Euler===
Translated into modern notation, Euler stated:<ref>Lemmermeyer, p. 5, Ireland & Rosen, pp. 54, 61</ref>
 
# If ''q'' ≡ 1 (mod 4) then ''q'' is a quadratic residue (mod ''p'') if and only if p ≡ ''r'' (mod ''q''), where ''r'' is a quadratic residue of ''q''.
 
# If ''q'' ≡ 3 (mod 4) then ''q'' is a quadratic residue (mod ''p'') if and only if p ≡ ±''b''<sup>2</sup> (mod 4''q''), where ''b'' is odd and not divisible by ''q''.
 
This is equivalent to quadratic reciprocity.
 
He could not prove it, but he did prove the second supplement.<ref>Ireland & Rosen, pp. 69&ndash;70. His proof is based on what are now called Gauss sums.</ref>
 
===Legendre and his symbol===
Fermat proved that if ''p'' is a prime number and ''a'' is an integer,
:<math>a^p\equiv a\pmod{p}.</math>
 
Thus, if ''p'' does not divide ''a'',
:<math>a^{(p-1)/2} \equiv \pm 1 \pmod{p}.</math>
 
Legendre<ref>This section is based on Lemmermeyer, pp. 6&ndash;8</ref>  lets ''a'' and ''A'' represent positive primes ≡ 1 (mod 4) and ''b'' and ''B'' positive primes ≡ 3 (mod 4), and sets out a table of eight theorems that together are equivalent to quadratic reciprocity:
 
{| border="1"
|+
! Theorem
! width="200"|When
! width="200"|it follows that
|-
! I
|  <math>b^{(a-1)/2}\equiv +1 \pmod a\;</math>
|  <math>a^{(b-1)/2}\equiv +1 \pmod b\;</math>
|-
! II
|  <math>a^{(b-1)/2}\equiv -1 \pmod b\;</math>
|  <math>b^{(a-1)/2}\equiv -1 \pmod a\;</math>
|-
! III
|  <math>a^{(A-1)/2}\equiv +1 \pmod A\;</math>
|  <math>A^{(a-1)/2}\equiv +1 \pmod a\;</math>
|-
! IV
|  <math>a^{(A-1)/2}\equiv -1 \pmod A\;</math>
|  <math>A^{(a-1)/2}\equiv -1 \pmod a\;</math>
|-
! V
|  <math>a^{(b-1)/2}\equiv +1 \pmod b\;</math>
|  <math>b^{(a-1)/2}\equiv +1 \pmod a\;</math>
|-
! VI
|  <math>b^{(a-1)/2}\equiv -1 \pmod a\;</math>
|  <math>a^{(b-1)/2}\equiv -1 \pmod b\;</math>
|-
! VII
|  <math>b^{(B-1)/2}\equiv +1 \pmod B\;</math>
|  <math>B^{(b-1)/2}\equiv -1 \pmod b\;</math>
|-
! VIII
|  <math>b^{(B-1)/2}\equiv -1 \pmod B\;</math>
|  <math>B^{(b-1)/2}\equiv +1 \pmod b\;</math>
|}
 
<br>
He says that since expressions of the form
:<math>N^{(c-1)/2}\pmod c</math> &nbsp;(where ''N'' and ''c'' are relatively prime) will come up so often he will abbreviate them as:
 
:<math>
\left(\frac{N}{c}\right)
= \pm 1
\equiv N^{(c-1)/2} \pmod c.
</math>
 
This is now known as the [[Legendre symbol]], and an equivalent<ref>The equivalence is [[Euler's criterion]]</ref><ref>The analogue of Legendre's original definition is used for higher-power residue symbols</ref> definition is used today: for all integers ''a'' and all odd primes ''p''
 
:<math>
\left(\frac{a}{p}\right)
=
\begin{cases}
\;\;\,0\text{ if } a \equiv 0 \pmod{p}
\\+1\text{ if }a \not\equiv 0\pmod{p} \text{ and for some integer }x, \;a\equiv x^2\pmod{p}
\\-1\text{ if there is no such } x.
\end{cases}
</math>
 
====Legendre's version of quadratic reciprocity====
:<math>
\left(\frac{p}{q}\right)
=
\begin{cases}
  +\left(\frac{q}{p}\right)\text{ if }p\equiv 1 \pmod{4} \text{ or } q \equiv 1 \pmod{4}
\\-\left(\frac{q}{p}\right)\text{ if } p\equiv q \equiv 3 \pmod{4}
\end{cases}
</math>
 
He notes that these can be combined:
:<math> \left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{\frac{p-1}{2}\frac{q-1}{2}}.</math>
 
A number of proofs, especially those based on [[Gauss's lemma (number theory)|Gauss's Lemma]],<ref>E.g. Kronecker's proof (Lemmermeyer, ex. p. 31, 1.34)  is to use Gauss's lemma to establish that
:<math>
\left(\frac{p}{q}\right)
=\sgn\prod_{i=1}^{\frac{q-1}{2}}\prod_{k=1}^{\frac{p-1}{2}}\left(\frac{k}{p}-\frac{i}{q}\right)</math>
and then switch ''p'' and ''q''.</ref> explicitly calculate this formula.
 
====The supplementary laws using Legendre symbols====
:<math>
\left(\frac{-1}{p}\right)
= (-1)^{\frac{p-1}{2}}
= \left\{\begin{array}{cl} +1 & \textrm{if}\;p \equiv 1 \pmod 4\\ -1 &\textrm{if}\;p \equiv 3 \pmod 4\end{array}\right.
</math>
 
:<math>
{\left(\frac{2}{p}\right)
= (-1)^{\frac{p^2-1}{8}}
= \left\{\begin{array}{cl} +1 & \textrm{if}\;p \equiv 1\;\textrm{ or }\;7 \pmod 8\\ -1 &\textrm{if}\;p \equiv 3\;\textrm{ or }\;5\pmod 8\end{array}\right.}
</math>
 
Legendre's attempt to prove reciprocity is based on a theorem of his:
 
: <math>
\text{Let }a, b, \text{ and }c \text{ be integers that satisfy}
</math>
 
:<math>
\gcd(a,b) = \gcd(b,c) = \gcd(c,a) = 1.\;
</math>
 
:<math>
\text{At least one of }ab, \;bc, \;ca <0.
</math> &nbsp; (i.e. they don't all have the same sign)
 
:<math>
u^2 \equiv -bc \pmod a,\;
v^2 \equiv -ca \pmod b,
\text{ and }
w^2 \equiv -ab \pmod c
\text{ are solvable.}
</math>
 
<math>
\text{Then the equation }ax^2 + by^2 + cz^2=0 \text{ has a nontrivial solution in integers. }
</math>
 
E.g., Theorem I is handled by letting ''a'' ≡ 1 and ''b'' ≡ 3 (mod 4) be primes and assuming that <math>(\tfrac{b}{a}) = 1</math> and, contrary the theorem, that <math>(\tfrac{a}{b}) = -1.</math> Then <math>x^2+ay^2-bz^2=0</math> has a solution, and taking congruences (mod 4) leads to a contradiction.
 
This technique doesn't work for Theorem VIII. Let ''b'' ≡ ''B'' ≡ 3 (mod 4), and assume <math>(\tfrac{B}{b}) = (\tfrac{b}{B}) = -1.</math> Then if there is another prime ''p'' ≡ 1 (mod 4) such that <math>(\tfrac{p}{b}) =(\tfrac{p}{B}) = -1,</math> the solvability of <math>Bx^2+by^2-pz^2=0</math> leads to a contradiction (mod 4). But Legendre was unable to prove there has to be such a prime p; he was later able to show that all that is required is "Legendre's lemma":
 
: <math>
\text{If }a \equiv 1 \pmod4 \text{ is prime there exists a prime } \beta \text{ such that }\left(\frac{a}{\beta}\right)=-1, \,
</math>
 
but he couldn't prove that either. [[#Hilbert symbol|Hilbert symbol (below)]] discusses how techniques based on the existence of solutions to <math>ax^2+by^2+cz^2=0</math> can be made to work.
 
===Gauss===
[[Image:Disquisitiones-Arithmeticae-p133.jpg|200px|thumb|Part of Article 131 in the first edition (1801) of the ''[[Disquisitiones Arithmeticae|Disquisitiones]]'', listing the 8 cases of quadratic reciprocity]]
Gauss first proves<ref>Gauss, DA, arts 108&ndash;116</ref> the supplementary laws. He sets<ref>Gauss, DA, arts 117&ndash;123</ref>  the basis for induction by proving the theorem for ±3 and ±5. Noting<ref>Gauss, DA, arts 130</ref> that it is easier to state for &minus;3 and +5 than it is for +3 or −5, he states<ref>Gauss, DA, Art 131</ref> the general theorem in the form:
 
:If ''p'' is a prime of the form 4''n''&nbsp;+&nbsp;1 then ''p'', but if ''p'' is of the form 4''n''+3 then −''p'', is a quadratic residue (resp. nonresidue) of every prime, which, with a positive sign, is a residue (resp. nonresidue) of ''p''.
In the next sentence, he christens it the "fundamental theorem" (Gauss never used the word "reciprocity").
 
Introducing the notation ''a'' R ''b'' (resp. ''a'' N ''b'') to mean ''a'' is a quadratic residue (resp. nonresidue) (mod ''b''), and letting ''a'', ''a''&prime;, etc. represent positive primes ≡ 1 (mod 4) and ''b'', ''b''&prime;, etc. positive primes ≡ 3 (mod 4), he breaks it out into the same 8 cases as Legendre:
 
{| border="1"
|+
! width="50"|Case
! width="80"|If
! width="80"|Then
|-
! 1)
|  ±''a'' R ''a''&prime;                 
| ±''a''&prime; R ''a''
|-
! 2)
|  ±''a'' N ''a''&prime;                 
| ±''a''&prime; N ''a''
|-
! 3)
|  +''a'' R ''b''<br>−''a'' N ''b''     
| ±''b'' R ''a''
|-
! 4)
|  +''a'' N ''b''<br>−''a'' R ''b''     
| ±''b'' N ''a''
|-
! 5)
|  ±''b'' R ''a''                       
| +''a'' R ''b''<br>−''a'' N ''b''
|-
! 6)
|  ±''b'' N ''a''                       
| +''a'' N ''b''<br>−''a'' R ''b''
|-
! 7)
|  +''b'' R ''b''&prime;<br>−''b'' N ''b''&prime;     
| −''b''&prime; N ''b''<br>+''b''&prime; R ''b''
|-
! 8)
|  −''b'' N ''b''&prime;<br>+''b'' R ''b''&prime;     
| +''b''&prime; R ''b''<br>−''b''&prime; N ''b''
|}
 
In the next Article he generalizes this to what are basically the rules for the [[#Jacobi symbol|Jacobi symbol (below)]]. Letting ''A'', ''A''&prime;, etc. represent any (prime or composite) positive numbers ≡ 1 (mod 4) and  ''B'', ''B''&prime;, etc. positive numbers ≡ 3 (mod 4):
 
{| border="1"
|+
! width="50"|Case
! width="80"|If
! width="80"|Then
|-
! 9)
|  ±''a'' R ''A''                 
| ±''A'' R ''a''
|-
! 10)
|  ±''b'' R ''A''                 
| +''A'' R ''b''<br>−''A'' N ''b''
|-
! 11)
|  +''a'' R ''B''     
| ±''B'' R ''a''
|-
! 12)
|  −''a'' R ''B''     
| ±''B'' N ''a''
|-
! 13)
|  +''b'' R ''B''                       
| −''B'' N ''b''<br>+''N'' R ''b''
|-
! 14)
|  −''b'' R ''B''                       
| +''B'' R ''b''<br>−''B'' N ''b''
|}
 
All of these cases take the form "if a prime is a residue (mod a composite), then the composite is a residue or nonresidue (mod the prime), depending on the congruences (mod 4)". He proves that these follow from cases 1) - 8).
 
Gauss needed, and was able to prove,<ref>Gauss, DA, arts. 125&ndash;129</ref> a lemma similar to the one Legendre needed:
 
: <math>
\text{If }p \equiv 1 \pmod 8 \text{ is prime, then there exists an odd prime }q <2\sqrt p+1 \text{ such that }\left(\frac{p}{q}\right) = -1.
</math>
 
The proof<ref>Gauss, DA, arts 135&ndash;144</ref> of quadratic reciprocity is by complete induction (i.e. assuming it is true for all numbers less than ''n'' allows the deduction it is true for ''n'') for each of the cases 1) to 8).
 
====Gauss's version in Legendre symbols====
:<math>
\left(\frac{p}{q}\right)
=
\begin{cases}
  \left(\frac{q}{p}\right) \;\;\text{ if } q \equiv 1 \pmod{4}
\\\left(\frac{-q}{p}\right)    \text{ if } q \equiv 3 \pmod{4}
\end{cases}
</math>
 
These can be combined:
 
:<math>\text{Let } q^* = (-1)^{\frac{q-1}{2}}q  \;\;
\text{ (in other words } |q^*|=|q| \text{ and }q^*\equiv 1 \pmod 4 \text{).}\;
</math>
 
:<math>
\text{ Then }
\left(\frac{p}{q}\right) = \left(\frac{q^*}{p}\right).</math>
 
A number of proofs of the theorem, especially those based on [[Gauss sum]]s,<ref>Because the basic Gauss sum equals <math>\sqrt{q^*}.</math></ref> or the splitting of primes in [[algebraic number field]]s,<ref>Because the quadratic field <math>Q(\sqrt{q^*})</math> is a subfield of the cyclotomic field <math>Q(e^{2\pi i/q})</math></ref> derive this formula.
 
===Other statements===
Note that the statements in this section are equivalent to quadratic reciprocity: if, for example, Euler's version is assumed, the Legendre-Gauss version can be deduced from it, and vice-versa.
 
====Euler====
This form of quadratic reciprocity is derived from Euler's work:<ref>Ireland & Rosen, pp 60&ndash;61.</ref>
 
:<math>
\text{If }p \equiv \pm q \pmod {4a}
\text{ then  }
\left(\frac{a}{p}\right)
=\left(\frac{a}{q}\right).
</math>
 
Euler's statement can be proved by using [[Gauss's lemma (number theory)|Gauss's lemma]].
 
====Gauss====
Gauss's fourth proof<ref>Gauss, "Summierung gewisser Reihen von besonderer Art", reprinted in ''Untersuchumgen uber hohere Arithmetik'', pp.463&ndash;495</ref> consists of proving this theorem  (by comparing two formulas for the value of Gauss sums) and then restricting it to two primes:
Let ''a'', ''b'', ''c'', ... be unequal positive odd primes, whose product is ''n'', and let ''m'' be the number of them that are ≡ 3 (mod 4); check whether ''n''/''a'' is a residue of ''a'', whether ''n''/''b'' is a residue of ''b'', .... The number of nonresidues found will be even when ''m'' ≡ 0, 1 (mod 4), and it will be odd if ''m'' ≡ 2, 3 (mod 4).
 
<blockquote> He gives the example. Let ''a'' = 3, ''b'' = 5, ''c'' = 7, and ''d'' = 11. Three of these, 3, 7, and 11 ≡ 3 (mod 4), so ''m'' ≡ 3 (mod 4).
 
<br>
5×7×11&nbsp;R&nbsp;3;&nbsp; 3×7×11&nbsp;R&nbsp;5;&nbsp; 3×5×11&nbsp;R&nbsp;7;&nbsp; and&nbsp; 3×5×7&nbsp;N&nbsp;11, so there are an odd number of nonresidues.</blockquote>
 
====Eisenstein====
Eisenstein<ref>Lemmermeyer, Th. 2.28, pp 63&ndash;65</ref> formulates this:
 
:<math>\text{If } p\ne q, p'\ne q', p \equiv p' \pmod 4, \text{ and } q \equiv q' \pmod 4\text{ then }
 
\left(\frac{p}{q}\right) \left(\frac{q}{p}\right)
=\left(\frac{p'}{q'}\right) \left(\frac{q'}{p'}\right).
</math>
 
====Mordell====
Mordell<ref>Lemmermeyer, ex. 1.9, p. 28</ref> proved the following to be equivalent to quadratic reciprocity:
 
:<math>
\text{Let }a, b, \text{ and }c \text{ be integers. Then for every prime }  p \text{ that divides }abc,
</math>
 
:<math>
\text{if }ax^2 + by^2 + cz^2 \equiv 0 \pmod{4abc/p} \text{ has a nontrivial solution }
</math>
:<math>\text{so does }ax^2 + by^2 + cz^2 \equiv 0 \pmod{4abc}. 
</math>
 
===Jacobi symbol===
The [[Jacobi symbol]] is a generalization of the Legendre symbol; the main difference is that the bottom number has to be positive and odd, but does not have to be prime. If it is prime, the two symbols agree. It obeys the same rules of manipulation as the Legendre symbol. In particular
 
:<math>
\left(\frac{-1}{n}\right)
= (-1)^{(n-1)/2}
= \left\{\begin{array}{cl} 1 & \textrm{if}\;n \equiv 1 \pmod 4\\ -1 &\textrm{if}\;n \equiv 3 \pmod 4\end{array}\right.
</math>
 
:<math>
{\left(\frac{2}{n}\right)
= (-1)^{(n^2-1)/8}
= \left\{\begin{array}{cl} 1 & \textrm{if}\;n \equiv 1\;\textrm{ or }\;7 \pmod 8\\ -1 &\textrm{if}\;n \equiv 3\;\textrm{ or }\;5\pmod 8\end{array}\right.}
</math>
 
and if both numbers are positive and odd (this is sometimes called "Jacobi's reciprocity law"):
 
:<math> \left(\frac{m}{n}\right) = (-1)^{(m-1)(n-1)/4}\left(\frac{n}{m}\right).</math>
 
<br>
However, if the Jacobi symbol is +1 and the bottom number is composite, it does not necessarily mean that the top number is a quadratic residue of the bottom one. Gauss's cases 9) - 14) above can be expressed in terms of Jacobi symbols:
 
:<math> \left(\frac{M}{p}\right) = (-1)^{(p-1)(M-1)/4} \Bigg(\frac{p}{M}\Bigg) ,</math>
 
and since ''p'' is prime the left hand side is a Legendre symbol, and we know whether ''M'' is a residue (mod ''p'') or not.
 
The formulas listed in the preceding section are true for Jacobi symbols as long as the symbols are defined. Euler's formula may be written
 
:<math>
\left(\frac{a}{m}\right)
=\left(\frac{a}{m \pm 4an}\right)\text{ where }n \text{ is an integer and } m\pm4an>0.
</math>
 
<blockquote>
 
For example,
<math>(\tfrac{2}{7})
=(\tfrac{2}{15})
=(\tfrac{2}{23})
=(\tfrac{2}{31})
\dots=1,
</math>
 
and 2 is a residue mod the primes 7, 23 and 31: 3<sup>2</sup> ≡ 2 (mod 7), 5<sup>2</sup> ≡ 2 (mod 23), and 8<sup>2</sup> ≡ 2 (mod 31), but 2 is not a quadratic residue (mod 5), so it can't be one (mod 15). This is related to the problem Legendre had: if we know that <math>(\tfrac{a}{m}) = -1</math>, we know that ''a'' is a nonresidue modulo every prime in the arithmetic series ''m'' + 4''a'', ''m'' + 8''a'', ..., if there ''are'' any primes in this series, but that wasn't proved until decades<ref>By [[Peter Gustav Lejeune Dirichlet]] in 1837</ref> after Legendre.
 
</blockquote>
 
Eisenstein's formula requires relative primality conditions (which are true if the numbers are prime)
 
: <math>\text{If }a, b, a' \text{ and } b' \text{ are positive and odd and} </math>
: <math>\gcd(a,b)=\gcd(a',b')=1,\text{ then}</math>
 
: <math>\text{if } a \equiv a' \pmod 4 \text{ and } b \equiv b' \pmod 4,\;
\bigg(\frac{a}{b}\bigg) \left(\frac{b}{a}\right)
=\left(\frac{a'}{b'}\right) \left(\frac{b'}{a'}\right).
</math>
 
===Hilbert symbol===
The quadratic reciprocity law can be formulated in terms of the [[Hilbert symbol]] <math>(a,b)_v</math> where ''a'' and ''b'' are any
two nonzero rational numbers and ''v'' runs over all the non-trivial absolute values of the rationals (the archimedean one and
the ''p''-adic absolute values for primes ''p''). The Hilbert symbol <math>(a,b)_v</math> is 1 or &minus;1. It is defined to be 1 if and only if the equation <math>ax^2+by^2=z^2</math> has a solution in the [[Completion (ring theory)|completion]] of the rationals at ''v'' other than <math>x=y=z=0</math>. The Hilbert reciprocity law states that <math>(a,b)_v</math>, for fixed ''a'' and ''b'' and varying ''v'', is 1 for
all but finitely many ''v'' and the product of <math>(a,b)_v</math> over all ''v'' is 1.  (This formally
resembles the residue theorem from complex analysis.)
 
The proof of Hilbert reciprocity reduces to checking a few special cases, and the non-trivial cases
turn out to be equivalent to the main law and the two supplementary laws of quadratic reciprocity
for the Legendre symbol. There is no kind of reciprocity in the Hilbert reciprocity law; its name
simply indicates the historical source of the result in quadratic reciprocity. Unlike quadratic reciprocity,
which requires sign conditions (namely positivity of the primes involved) and a special treatment of the prime 2,
the Hilbert reciprocity law treats all absolute values of the rationals on an equal footing. Therefore
it is a more natural way of expressing quadratic reciprocity with a view towards generalization: the
Hilbert reciprocity law extends with very few changes to all [[global field]]s and this extension can
rightly be considered a generalization of quadratic reciprocity to all global fields.
<!--
 
The next example should be beefed up a bit and moved to [[Jacobi symbol]]. There it would be possible to see much more clearly how the algorithm looks just like the Euclidean algorithm. ~~~~
 
For example taking ''p'' to be 11 and ''q'' to be 19, we can relate <math>\left(\frac{11}{19}\right)</math> to <math>\left(\frac{19}{11}\right)</math>, which is <math>\left(\frac{8}{11}\right)</math> or <math>\left(\frac{-3}{11}\right)</math>. To proceed further we may need to know supplementary laws for computing <math>\left(\frac{3}{q}\right)</math> and <math>\left(\frac{-1}{q}\right)</math> explicitly. For example,
 
:<math>\left(\frac{-1}{q}\right) = (-1)^{(q-1)/2}.</math>
 
Using this we relate <math>\left(\frac{-3}{11}\right)</math> to <math>\left(\frac{3}{11}\right)</math> to <math>\left(\frac{11}{3}\right)</math> to <math>\left(\frac{2}{3}\right)</math> to <math>\left(\frac{-1}{3}\right)</math>, and can complete the initial calculation.
 
-->
 
== Other rings ==
There are also quadratic reciprocity laws in [[ring (mathematics)|ring]]s other than the integers.
 
===Gaussian integers===
In his second monograph on [[quartic reciprocity]]<ref>Gauss, BQ § 60</ref>  Gauss stated quadratic reciprocity for the ring '''Z'''[''i''] of [[Gaussian integer]]s, saying that it is a corollary of the biquadratic law in '''Z'''[''i''], but did not provide a proof of either theorem. [[Peter Gustav Lejeune Dirichlet]]<ref>Dirichlet's proof is in Lemmermeyer, Prop. 5.1 p.154, and Ireland & Rosen, ex. 26 p. 64</ref> showed that the law in '''Z'''[''i''] can be deduced from the law for '''Z''' without using biquadratic reciprocity.
 
For an odd Gaussian prime π and a Gaussian integer α, gcd(α, π) = 1, define the quadratic character for '''Z'''[''i''] by the formula
 
:<math>
\begin{align}
\left[\frac{\alpha}{\pi}\right]_2 &=
\pm 1 \equiv \alpha^\frac{\mathrm{N} \pi - 1}{2}\pmod{\pi} \\&=
 
\begin{cases}
+1 \text{ if }\gcd(\alpha, \pi) = 1  \text{ and there is a Gaussian integer }\eta \text{ such that } \alpha \equiv \eta^2 \pmod{\pi} \\
-1 \text{ if } \gcd(\alpha, \pi) = 1  \text{ and there is no such }\eta.
\end{cases}
\end{align}
</math>
 
Let λ = ''a'' + ''b i'' and μ = ''c'' + ''d i'' be distinct Gaussian primes where ''a'' and ''c'' are odd and ''b'' and ''d'' are even. Then<ref>Lemmermeyer, Prop. 5.1, p. 154</ref>
 
:<math>
\Bigg[\frac{\lambda}{\mu}\Bigg]_2 = \Bigg[\frac{\mu}{\lambda}\Bigg]_2, \;\;\;\;
\Bigg[\frac{i}{\lambda}\Bigg]_2 =(-1)^\frac{b}{2}, \;\; \text{ and }\;\;
\Bigg[\frac{1+i}{\lambda}\Bigg]_2 =\Bigg(\frac{2}{a+b}\Bigg),
</math>
where <math>(\tfrac{a}{b})</math> is the Jacobi symbol for '''Z'''.
 
===Eisenstein integers===
The ring of Eisenstein integers is '''Z'''[ω], where <math>\omega = \frac{-1 + \sqrt{-3}}{2}=e^\frac{2\pi i}{3}</math> is a cube root of 1. (See the articles on [[Eisenstein integer]] and [[cubic reciprocity]] for definitions and notations).
 
For an Eisenstein prime π, Nπ ≠ 3 and an Eisenstein integer α, gcd(α, π) = 1, define the quadratic character for '''Z'''[ω] by the formula
 
:<math>
\begin{align}
\left[\frac{\alpha}{\pi}\right]_2 &=
\pm 1 \equiv \alpha^\frac{\mathrm{N} \pi - 1}{2}\pmod{\pi} \\&=
 
\begin{cases}
+1 \text{ if }\gcd(\alpha, \pi) = 1  \text{ and there is an Eisenstein integer }\eta \text{ such that } \alpha \equiv \eta^2 \pmod{\pi} \\
-1 \text{ if } \gcd(\alpha, \pi) = 1  \text{ and there is no such }\eta.
\end{cases}
\end{align}
</math>
 
Let λ = ''a'' + ''b'' ω and μ = ''c'' + ''d'' ω be distinct Eisenstein primes where ''a'' and ''c'' are not divisible by 3  and ''b'' and ''d'' are divisible by 3. Eisenstein proved<ref>Lemmermeyer, Thm. 7.10, p. 217</ref>
:<math>
\left[\frac{\lambda}{\mu}\right]_2  \bigg[\frac{\mu}{\lambda}\bigg]_2 =
(-1)^{\frac{\mathrm{N} \lambda - 1}{2}\frac{\mathrm{N} \mu-1}{2}},\;\;\;\;
\bigg[\frac{1-\omega}{\lambda}\bigg]_2 =\bigg(\frac{a}{3}\bigg), \;\; \text{ and }\;\;
\bigg[\frac{2}{\lambda}\bigg]_2 =\bigg(\frac{2}{\mathrm{N} \lambda }\bigg),
</math>
where <math>(\tfrac{a}{b})</math> is the Jacobi symbol for '''Z'''.
 
===Imaginary quadratic fields===
The laws in '''Z'''[''i''] and '''Z'''[ω] are special cases of more general laws that hold for the [[ring of integers]] in any [[Quadratic field|imaginary quadratic number field]].
 
Let ''k'' be an imaginary quadratic number field with ring of integers <math>\mathcal{O}_k.</math>
For a [[Number_field#Prime_ideals|prime ideal]] <math>\mathfrak{p} \subset \mathcal{O}_k </math> with odd norm <math> \mathrm{N} \mathfrak{p} </math> &nbsp; and <math>\alpha\in \mathcal{O}_k,\;\; </math>&nbsp;  define the quadratic character for <math>\mathcal{O}_k </math> by the formula
:<math>
\begin{align}
\left[\frac{\alpha}{\mathfrak{p} }\right]_2 & \equiv \alpha^\frac{\mathrm{N} \mathfrak{p} - 1}{2}\pmod{\mathfrak{p} } \\&=
 
\begin{cases}
+1 \text{ if }\alpha\not\in \mathfrak{p}  \text{ and there is an  }\eta \in \mathcal{O}_k \text{ such that } \alpha - \eta^2 \in \mathfrak{p}  \\
-1 \text{ if } \alpha\not\in \mathfrak{p}  \text{ and there is no such }\eta \\
\;\;\;0 \text{ if } \alpha\in \mathfrak{p}, 
\end{cases}
\end{align}
</math>
 
for an arbitrary ideal  <math> \mathfrak{a} \subset \mathcal{O}_k</math> factored into prime ideals <math>\mathfrak{a}  = \mathfrak{p}_1 \mathfrak{p}_2 \dots \mathfrak{p}_n
</math> define
:<math>
\bigg[\frac{\alpha}{\mathfrak{a}}\bigg]_2 = \left[\frac{\alpha}{\mathfrak{p}_1 }\right]_2\left[\frac{\alpha}{\mathfrak{p}_2 }\right]_2 \dots \left[\frac{\alpha}{\mathfrak{p}_n }\right]_2,
</math>
 
and for <math>\beta \in \mathcal{O}_k</math> define
:<math>\bigg[\frac{\alpha}{\beta}\bigg]_2 = \bigg[\frac{\alpha}{\beta \mathcal{O}_k}\bigg]_2. </math>
 
Let <math>\left\{\omega_1,\omega_2\right\}</math> be an [[Number_field#Integral_basis|integral basis]] of <math>\mathcal{O}_k = \mathbb{Z} \omega_1\oplus \mathbb{Z} \omega_2. </math>
 
For <math>\nu \in \mathcal{O}_k </math> with odd norm Nν, define (ordinary) integers ''a'', ''b'', ''c'', ''d'' by the equations,
:<math>
\begin{align}
\nu\omega_1&=a\omega_1+b\omega_2\\
\nu\omega_2&=c\omega_1+d\omega_2
\end{align}
</math>
 
and define a function χ(ν) where ν has odd norm by
 
:<math>\chi(\nu)=i^{(b^2-a+2)c+(a^2-b+2)d+ad}.
</math>
 
If ''m'' = ''Nμ'' and ''n'' = ''Nν'' are both odd, Herglotz proved<ref>Lemmermeyer, Thm 8.15, p.256 ff</ref>
:<math>
\Bigg[\frac{\mu}{\nu}\Bigg]_2 \left[\frac{\nu}{\mu}\right]_2 =
(-1)^{\frac{m-1}{2}\frac{n-1}{2}}
\chi(\mu)^{m\frac{n-1}{2}}
\chi(\nu)^{-n\frac{m-1}{2}}.
</math>
 
Also, if <math> \mu \equiv\mu' \pmod{4} \text{ and } \nu \equiv\nu' \pmod{4}</math><ref>Lemmermeyer Thm. 8.18, p. 260</ref>
:<math>
\Bigg[\frac{\mu}{\nu}\Bigg]_2 \left[\frac{\nu}{\mu}\right]_2 =
\Bigg[\frac{\mu'}{\nu'}\Bigg]_2 \left[\frac{\nu'}{\mu'}\right]_2.
</math>
 
===Polynomials over a finite field===
Let '''F''' be a [[finite field]] with ''q'' = ''p''<sup>''n''</sup> elements, where ''p'' is an odd prime number and ''n'' is positive, and let '''F'''[''x''] be the [[Polynomial ring|ring of polynomials]] in one variable with coefficients in '''F'''. If <math>f,g \in \mathrm{F} [x]</math> and ''f'' is [[Irreducible polynomial|irreducible]], [[Polynomial#Classifications|monic]], and has positive degree, define the quadratic character <math>(\tfrac{g}{f})</math> for '''F'''[''x''] in the usual manner:
:<math>\left(\frac{g}{f}\right) =
\begin{cases}
+1 \text{ if }\gcd(f,g)=1 \text{ and there are } h,k \in \mathrm{F} [x] \text{ such that  }g-h^2 = kf \\
-1 \text{ if }\gcd(f,g)=1 \text{ and } g \text{ is not a square }\pmod{f}\\
\;\;\;0\text{ if }\gcd(f,g)\ne 1.
\end{cases}
</math>
 
If <math>f=f_1 f_2 \dots f_n</math> is a product of monic irreducibles let
:<math>\left(\frac{g}{f}\right) =
\left(\frac{g}{f_1}\right) \left(\frac{g}{f_2}\right) \dots \left(\frac{g}{f_n}\right).
</math>
 
Dedekind<ref>Bach & Shallit, Thm. 6.7.1</ref> proved that if <math>f,g \in \mathrm{F} [x]</math> are monic and have positive degrees,
 
:<math>\left(\frac{g}{f}\right) \left(\frac{f}{g}\right) =
(-1)^{\frac{q-1}{2}(\deg f)(\deg g)}.
</math>
 
==Higher powers==
The attempt to generalize quadratic reciprocity for powers higher than the second was one of the main goals that led 19th century mathematicians, including [[Carl Friedrich Gauss]], [[Peter Gustav Lejeune Dirichlet]], [[Carl Gustav Jakob Jacobi]], [[Gotthold Eisenstein]], [[Richard Dedekind]], [[Ernst Kummer]], and [[David Hilbert]] to the study of general algebraic number fields and their rings of integers;<ref>Lemmermeyer, p. 15, and Edwards, pp.79&ndash;80 both make strong cases that the study of higher reciprocity was much more important as a motivation than Fermat's Last Theorem was</ref> specifically Kummer invented ideals in order to state and prove higher reciprocity laws.
 
The [[Hilbert's ninth problem|ninth]] in the list of [[Hilbert's problems|23 unsolved problems]] which David Hilbert proposed to the Congress of Mathematicians in 1900 asked for the
"Proof of the most general reciprocity law [f]or an arbitrary number field".<ref>Lemmermeyer, p. viii</ref> In 1923 Artin, building upon work by Furtwängler, Takagi, Hasse and others, discovered a general theorem for which all known reciprocity laws are special cases; he proved it in 1927.<ref>Lemmermeyer, p. ix ff</ref>
 
The links below provide more detailed discussions of these theorems.
 
== See also ==
*[[Euler's criterion]]
*[[Zolotarev's lemma]]
*[[Proofs of quadratic reciprocity]]
*[[Cubic reciprocity]]
*[[Quartic reciprocity]]
*[[Eisenstein reciprocity]]
*[[Artin reciprocity]]
 
==Notes==
{{reflist|30em}}
 
==References==
The ''[[Disquisitiones Arithmeticae]]'' has been translated (from Latin) into English and German. The German edition includes all of Gauss's papers on number theory: all the proofs of quadratic reciprocity, the determination of the sign of the Gauss sum, the investigations into biquadratic reciprocity, and unpublished notes. Footnotes referencing the ''Disquisitiones Arithmeticae'' are of the form "Gauss, DA, Art. ''n''".
 
*{{citation
  | last1 = Gauss  | first1 = Carl Friedrich
  | last2 = Clarke | first2 = Arthur A. (translator into English) 
  | title = Disquisitiones Arithemeticae (Second, corrected edition)
  | publisher = [[Springer Science+Business Media|Springer]]
  | location = New York
  | year = 1986
  | isbn = 0-387-96254-9}}
*{{citation
  | last1 = Gauss  | first1 = Carl Friedrich
  | last2 = Maser | first2 = Hermann (translator into German) 
  | title = Untersuchungen über höhere Arithmetik (Disquisitiones Arithemeticae & other papers on number theory) (Second edition)
  | publisher = Chelsea
  | location = New York
  | year = 1965
  | isbn = 0-8284-0191-8}}
 
The two monographs Gauss published on biquadratic reciprocity have consecutively numbered sections: the first contains §§ 1&ndash;23 and the second §§ 24&ndash;76. Footnotes referencing these are of the form "Gauss, BQ, § ''n''".
*{{citation
  | last1 = Gauss  | first1 = Carl Friedrich
  | title = Theoria residuorum biquadraticorum, Commentatio prima
  | publisher = Comment. Soc. regiae sci, Göttingen 6
  | location = Göttingen
  | year = 1828}}
*{{citation
  | last1 = Gauss  | first1 = Carl Friedrich
  | title = Theoria residuorum biquadraticorum, Commentatio secunda
  | publisher = Comment. Soc. regiae sci, Göttingen 7
  | location = Göttingen
  | year = 1832}}
 
These are in Gauss's ''Werke'', Vol II, pp.&nbsp;65&ndash;92 and 93&ndash;148. German translations are in pp.&nbsp;511&ndash;533 and 534&ndash;586 of ''Untersuchungen über höhere Arithmetik.''
 
Every textbook on [[Number_theory#Elementary_number_theory|elementary number theory]] (and quite a few on [[algebraic number theory]]) has a proof of quadratic reciprocity. Two are especially noteworthy:
 
Franz Lemmermeyer's ''Reciprocity Laws: From Euler to Eisenstein'' has ''many'' proofs (some in exercises) of both quadratic and higher-power reciprocity laws and a discussion of their history. Its immense bibliography includes literature citations for 196 different published [[Proofs of quadratic reciprocity|proofs for the quadratic reciprocity law]].
 
Kenneth Ireland and [[Michael Rosen]]'s ''A Classical Introduction to Modern Number Theory'' also has many proofs of quadratic reciprocity (and many exercises), and covers the cubic and biquadratic cases as well. Exercise 13.26 (p 202) says it all
:<blockquote>Count the number of proofs to the law of quadratic reciprocity given thus far in this book and devise another one.</blockquote>
 
*{{citation
  | last1 = Bach  | first1 = Eric
  | last2 = Shallit | first2 = Jeffrey
  | title = Algorithmic Number Theory (Vol I: Efficient Algorithms)
  | publisher = [[The MIT Press]]
  | location = Cambridge
  | year = 1966
  | isbn = 0-262-02405-5}}
*{{Citation
  | last = Edwards
  | first = Harold | authorlink = Harold Edwards (mathematician)
  | title = Fermat's Last Theorem
  | publisher = [[Springer Science+Business Media|Springer]]
  | location = New York
  | year = 1977
  | isbn = 0-387-90230-9}}
*{{citation
  | last1 = Lemmermeyer  | first1 = Franz
  | title = Reciprocity Laws: from Euler to Eisenstein
  | publisher = [[Springer Science+Business Media|Springer]]
  | location = Berlin
  | year = 2000
  | isbn = 3-540-66957-4
  | doi= 10.1007/978-3-662-12893-0}}
*{{citation
  | last1 = Ireland  | first1 = Kenneth
  | last2 = Rosen  | first2 = Michael
  | title = A Classical Introduction to Modern Number Theory (second edition)
  | publisher = [[Springer Science+Business Media|Springer]]
  | location = New York
  | year = 1990
  | isbn = 0-387-97329-X}}
 
==External links==
* {{springer|title=Quadratic reciprocity law|id=p/q076130}}
* [http://mathworld.wolfram.com/QuadraticReciprocityTheorem.html Quadratic Reciprocity Theorem] from [[MathWorld]]
* [http://www.math.nmsu.edu/~history/schauspiel/schauspiel.html A ''play'' comparing two proofs of the quadratic reciprocity law]
* [http://planetmath.org/encyclopedia/ProofOfQuadraticReciprocityRule.html A proof of this theorem] at PlanetMath
* [http://www.mathpages.com/home/kmath075/kmath075.htm A different proof] at MathPages
*[http://www.rzuser.uni-heidelberg.de/~hb3/fchrono.html F. Lemmermeyer's chronology and bibliography of proofs of the Quadratic Reciprocity Law] (233 proofs)
 
{{DEFAULTSORT:Quadratic Reciprocity}}
[[Category:Algebraic number theory]]
[[Category:Modular arithmetic]]
[[Category:Number theory]]
[[Category:Quadratic residue]]
[[Category:Theorems in number theory]]

Revision as of 15:54, 4 January 2014

Name: Jodi Junker
My age: 32
Country: Netherlands
Home town: Oudkarspel
Post code: 1724 Xg
Street: Waterlelie 22

my page - www.hostgator1centcoupon.info

In number theory, the law of quadratic reciprocity is a theorem about modular arithmetic which gives conditions for the solvability of quadratic equations modulo prime numbers. There are a number of equivalent statements of the theorem.

Although the law can be used to tell whether any quadratic equation modulo a prime number has a solution, it does not provide any help at all for actually finding the solution. (The article on quadratic residues discusses algorithms for this.)

The theorem was conjectured by Euler and Legendre and first proven by Gauss.[1] He refers to it as the "fundamental theorem" in the Disquisitiones Arithmeticae and his papers, writing

The fundamental theorem must certainly be regarded as one of the most elegant of its type. (Art. 151)

Privately he referred to it as the "golden theorem."[2] He published six proofs, and two more were found in his posthumous papers. There are now over 200 published proofs.[3]

The first section of this article gives a special case of quadratic reciprocity that is representative of the general case. The second section gives the formulations of quadratic reciprocity found by Legendre and Gauss.

Motivating example

Consider the polynomial f(n) = n2 − 5 and its values for n = 1, 2, 3, 4, ... The prime factorizations of these values are given as follows:

n f(n) n f(n) n f(n)
−4 −22 16  251 251 31  956 22⋅239
−1 −1 17 284 22⋅71 32 1019 1019
4 22 18 319 11⋅29 33 1084 22⋅271
11 11 19 356 22⋅89 34 1151 1151
5 20 22⋅5 20 395 5⋅79 35 1220 22⋅5⋅61
6 31 31 21 436 22⋅109 36 1291 1291
7 44 22⋅11 22 479 479 37 1364 22⋅11⋅31
8 59 59 23 524 22⋅131 38 1439 1439
9 76 22⋅19 24 571 571 39 1516 22⋅379
10 95 5⋅19 25 620 22⋅5⋅31 40 1595 5⋅11⋅29
11  116 22⋅29 26 671 11⋅61 41 1676 22⋅419
12 139 139 27 724 22⋅181 42 1759 1759
13 164 22⋅41 28 779 19⋅41 43 1844 22⋅461
14 191 191 29 836 22⋅11⋅19     44 1931 1931
15 220  22⋅5⋅11     30 895  5⋅179 45 2020  22⋅5⋅101

A striking feature of the data is that with the exceptions of 2 and 5, the prime numbers that appear as factors are precisely those with final digit 1 or 9.

Another way of phrasing this is that the primes p for which there exists an n such that n2 ≡ 5 (mod p) are precisely 2, 5, and those primes p that are ≡ 1 or 4 (mod 5).

The law of quadratic reciprocity gives a similar characterization of prime divisors of f(n) = n2c for any integer c.

Terminology, data, and two statements of the theorem

A quadratic residue (mod n) is any number congruent to a square (mod n). A quadratic nonresidue (mod n) is any number which is not congruent to a square (mod n). The adjective "quadratic" can be dropped if the context makes it clear that it is implied. When working modulo primes (as in this article), it is usual to treat zero as a special case. By doing so, the following statements become true:

  • Modulo a prime, there are an equal number of quadratic residues and nonresidues.
  • Modulo a prime, the product of two quadratic residues is a residue, the product of a residue and a nonresidue is a nonresidue, and the product of two nonresidues is a residue.

Table of quadratic residues

Squares mod primes
n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
n2 1 4 9 16 25 36 49 64 81 100 121 144 169 196 225 256 289 324 361 400 441 484 529 576 625
mod 3 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
mod 5 1 4 4 1 0 1 4 4 1 0 1 4 4 1 0 1 4 4 1 0 1 4 4 1 0
mod 7 1 4 2 2 4 1 0 1 4 2 2 4 1 0 1 4 2 2 4 1 0 1 4 2 2
mod 11 1 4 9 5 3 3 5 9 4 1 0 1 4 9 5 3 3 5 9 4 1 0 1 4 9
mod 13 1 4 9 3 12 10 10 12 3 9 4 1 0 1 4 9 3 12 10 10 12 3 9 4 1
mod 17 1 4 9 16 8 2 15 13 13 15 2 8 16 9 4 1 0 1 4 9 16 8 2 15 13
mod 19 1 4 9 16 6 17 11 7 5 5 7 11 17 6 16 9 4 1 0 1 4 9 16 6 17
mod 23 1 4 9 16 2 13 3 18 12 8 6 6 8 12 18 3 13 2 16 9 4 1 0 1 4
mod 29 1 4 9 16 25 7 20 6 23 13 5 28 24 22 22 24 28 5 13 23 6 20 7 25 16
mod 31 1 4 9 16 25 5 18 2 19 7 28 20 14 10 8 8 10 14 20 28 7 19 2 18 5
mod 37 1 4 9 16 25 36 12 27 7 26 10 33 21 11 3 34 30 28 28 30 34 3 11 21 33
mod 41 1 4 9 16 25 36 8 23 40 18 39 21 5 32 20 10 2 37 33 31 31 33 37 2 10
mod 43 1 4 9 16 25 36 6 21 38 14 35 15 40 24 10 41 31 23 17 13 11 11 13 17 23
mod 47 1 4 9 16 25 36 2 17 34 6 27 3 28 8 37 21 7 42 32 24 18 14 12 12 14

This table is complete for primes less than 50. To check whether a number n is a quadratic residue mod one of these primes p, find an (mod p) and 0 ≤ a < p. If a is in row p it is a residue (mod p); if it is not in row p of the table, it is a nonresidue (mod p).

The quadratic reciprocity law is the statement that certain patterns found in the table are true in general.

In this article, p and q always refer to distinct positive odd prime numbers.

−1 and the first supplement

First of all, for which prime numbers is −1 a quadratic residue? Examining the table, we find −1 in rows 5, 13, 17, 29, 37, and 41 but not in rows 3, 7, 11, 19, 23, 31, 43 or 47.

(−1 ≡ 2 (mod 3),  −1 ≡ 4 (mod 5),   −1 ≡ 10 (mod 11),  etc.)

The former primes are all ≡ 1 (mod 4), and the latter are all ≡ 3 (mod 4). This leads to

The first supplement to quadratic reciprocity:

±2 and the second supplement

For which prime numbers is 2 a quadratic residue? Examining the table, we find 2 in rows 7, 17, 23, 31, 41, and 47, but not in rows 3, 5, 11, 13, 19, 29, 37, or 43.

The former primes are all ≡ ±1 (mod 8), and the latter are all ≡ ±3 (mod 8). This leads to

The second supplement to quadratic reciprocity:

−2 is in rows 3, 11, 17, 19, 41, 43, but not in rows 5, 7, 13, 23, 29, 31, 37, or 47. The former are ≡ 1 or ≡ 3 (mod 8), and the latter are ≡ 5 or ≡ 7 (mod 8).

±3

3 is in rows 11, 13, 23, 37, and 47, but not in rows 5, 7, 17, 19, 29, 31, 41, or 43.

The former are ≡ ±1 (mod 12) and the latter are all ≡ ±5 (mod 12).

−3 is in rows 7, 13, 19, 31, 37, and 43 but not in rows 5, 11, 17, 23, 29, 41, or 47. The former are ≡ 1 (mod 3) and the latter ≡ 2 (mod 3).

Since the only residue (mod 3) is 1, we see that −3 is a quadratic residue modulo every prime which is a residue (mod 3).

±5

5 is in rows 11, 19, 29, 31, and 41 but not in rows 3, 7, 13, 17, 23, 37, 43, or 47.

The former are ≡ ±1 (mod 5) and the latter are ≡ ±2 (mod 5).

Since the only residues (mod 5) are ±1, we see that 5 is a quadratic residue modulo every prime which is a residue (mod 5).

−5 is in rows 3, 7, 23, 29, 41, 43, and 47 but not in rows 11, 13, 17, 19, 31, or 37. The former are ≡ 1, 3, 7, 9 (mod 20) and the latter are ≡ 11, 13, 17, 19 (mod 20).

Gauss's version

The observations about −3 and +5 continue to hold: −7 is a residue (mod p) if and only if p is a residue (mod 7), −11 is a residue (mod p) if and only if p is a residue (mod 11), +13 is a residue (mod p) if and only if p is a residue (mod 13), ...

The more complicated-looking rules for the quadratic characters of +3 and −5, which depend upon congruences (mod 12) and (mod 20) respectively, are simply the ones for −3 and +5 working with the first supplement.

For example, for −5 to be a residue (mod p), either both 5 and −1 have to be residues (mod p) or they both have to be nonresidues:

i.e., p has to be ≡ ±1 (mod 5) and ≡ 1 (mod 4), which is the same thing as p ≡ 1 or 9 (mod 20), or p has to be ≡ ±2 mod 5 and ≡ 3 mod 4, which is the same as p ≡ 3 or 7 (mod 20). See Chinese remainder theorem.

The generalization of the rules for −3 and +5 is Gauss's statement of quadratic reciprocity:

These statements may be combined:

Let q* = (−1)(q−1)/2q. Then the congruence x2 ≡ p (mod q) is solvable if and only if x2 ≡ q* (mod p) is.

Table of quadratic character of primes

Legend
R q is a residue (mod p)    q ≡ 1 (mod 4) or p ≡ 1 (mod 4) (or both)  
N q is a nonresidue (mod p)  
R q is a residue (mod p) both q ≡ 3 (mod 4) and p ≡ 3 (mod 4)
N q is a nonresidue (mod p)  
q
3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97
p 3   N R N R N R N N R R N R N N N R R N R R N N R
5 N   N R N N R N R R N R N N N R R N R N R N R N
7 N N   R N N N R R N R N R N R N N R R N R N N N
11 R R N   N N N R N R R N N R R R N R R N N N R R
13 R N N N   R N R R N N N R N R N R N N N R N N N
17 N N N N R   R N N N N N R R R R N R N N N R R N
19 N R R R N R   R N N N N R R N N R N N R N R N N
23 R N N N R N N   R R N R N R N R N N R R N N N N
29 N R R N R N N R   N N N N N R R N R R N N R N N
31 N R R N N N R N N   N R N R N R N R R N N N N R
37 R N R R N N N N N N   R N R R N N R R R N R N N
41 N R N N N N N R N R R   R N N R R N N R N R N N
43 N N N R R R N R N R N R   R R R N R N N R R N R
47 R N R N N R N N N N R N N   R R R N R N R R R R
53 N N R R R R N N R N R N R R   R N N N N N N R R
59 R R R N N R R N R N N R N N R   N N R N R N N N
61 R R N N R N R N N N N R N R N N   N N R N R N R
67 N N N N N R R R R N R N N R N R N   R R N R R N
71 R R N N N N R N R N R N R N N N N N   R R R R N
73 R N N N N N R R N N R R N N N N R R R   R N R R
79 N R N R R N R R N R N N N N N N N R N R   R R R
83 R N R R N R N R R R R R N N N R R N N N N   N N
89 N R N R N R N N N N N N N R R N N R R R R N   R
97 R N N R N N N N N R N N R R R N R N N R R N R  

Legendre's version

Another way to organize the data is to see which primes are residues mod which other primes, as illustrated in the above table. The entry in row p column q is R if q is a quadratic residue (mod p); if it is a nonresidue the entry is N.

If the row, or the column, or both, are ≡ 1 (mod 4) the entry is blue or green; if both row and column are ≡ 3 (mod 4), it is yellow or orange.

The blue and green entries are symmetric around the diagonal: The entry for row p, column q is R (resp N) if and only if the entry at row q, column p, is R (resp N).

The yellow and orange ones, on the other hand, are antisymmetric: The entry for row p, column q is R (resp N) if and only if the entry at row q, column p, is N (resp R).

This observation is Legendre's statement of quadratic reciprocity:

It is a simple exercise to prove that Legendre's and Gauss's statements are equivalent – it requires no more than the first supplement and the facts about multiplying residues and nonresidues.

Connection with cyclotomy

The early proofs of quadratic reciprocity are relatively unilluminating. The situation changed when Gauss used Gauss sums to show that quadratic fields are subfields of cyclotomic fields, and implicitly deduced quadratic reciprocity from a reciprocity theorem for cyclotomic fields. His proof was cast in modern form by later algebraic number theorists. This proof served as a template for class field theory, which can be viewed as a vast generalization of quadratic reciprocity

Robert Langlands formulated the Langlands program, which gives a conjectural vast generalization of class field theory. He wrote:[4]

I confess that, as a student unaware of the history of the subject and unaware of the connection with cyclotomy, I did not find the law or its so-called elementary proofs appealing. I suppose, although I would not have (and could not have) expressed myself in this way that I saw it as little more than a mathematical curiosity, fit more for amateurs than for the attention of the serious mathematician that I then hoped to become. It was only in Hermann Weyl's book on the algebraic theory of numbers[5] that I appreciated it as anything more.

History and alternative statements

There are a number of ways to state the theorem. Keep in mind that Euler and Legendre did not have Gauss's congruence notation, nor did Gauss have the Legendre symbol.

In this article p and q always refer to distinct positive odd primes.

Fermat

Fermat proved[6] (or claimed to have proved)[7] a number of theorems about expressing a prime by a quadratic form:

He did not state the law of quadratic reciprocity, although the cases −1, ±2, and ±3 are easy deductions from these and other of his theorems.

He also claimed to have a proof that if the prime number p ends with 7, (in base 10) and the prime number q ends in 3, and pq ≡ 3 (mod 4), then

Euler conjectured, and Lagrange proved, that[8]

Proving these and other statements of Fermat was one of the things that led mathematicians to the reciprocity theorem.

Euler

Translated into modern notation, Euler stated:[9]

  1. If q ≡ 1 (mod 4) then q is a quadratic residue (mod p) if and only if p ≡ r (mod q), where r is a quadratic residue of q.
  1. If q ≡ 3 (mod 4) then q is a quadratic residue (mod p) if and only if p ≡ ±b2 (mod 4q), where b is odd and not divisible by q.

This is equivalent to quadratic reciprocity.

He could not prove it, but he did prove the second supplement.[10]

Legendre and his symbol

Fermat proved that if p is a prime number and a is an integer,

Thus, if p does not divide a,

Legendre[11] lets a and A represent positive primes ≡ 1 (mod 4) and b and B positive primes ≡ 3 (mod 4), and sets out a table of eight theorems that together are equivalent to quadratic reciprocity:

Theorem When it follows that
I
II
III
IV
V
VI
VII
VIII


He says that since expressions of the form

 (where N and c are relatively prime) will come up so often he will abbreviate them as:

This is now known as the Legendre symbol, and an equivalent[12][13] definition is used today: for all integers a and all odd primes p

Legendre's version of quadratic reciprocity

He notes that these can be combined:

A number of proofs, especially those based on Gauss's Lemma,[14] explicitly calculate this formula.

The supplementary laws using Legendre symbols

Legendre's attempt to prove reciprocity is based on a theorem of his:

  (i.e. they don't all have the same sign)

E.g., Theorem I is handled by letting a ≡ 1 and b ≡ 3 (mod 4) be primes and assuming that and, contrary the theorem, that Then has a solution, and taking congruences (mod 4) leads to a contradiction.

This technique doesn't work for Theorem VIII. Let bB ≡ 3 (mod 4), and assume Then if there is another prime p ≡ 1 (mod 4) such that the solvability of leads to a contradiction (mod 4). But Legendre was unable to prove there has to be such a prime p; he was later able to show that all that is required is "Legendre's lemma":

but he couldn't prove that either. Hilbert symbol (below) discusses how techniques based on the existence of solutions to can be made to work.

Gauss

Part of Article 131 in the first edition (1801) of the Disquisitiones, listing the 8 cases of quadratic reciprocity

Gauss first proves[15] the supplementary laws. He sets[16] the basis for induction by proving the theorem for ±3 and ±5. Noting[17] that it is easier to state for −3 and +5 than it is for +3 or −5, he states[18] the general theorem in the form:

If p is a prime of the form 4n + 1 then p, but if p is of the form 4n+3 then −p, is a quadratic residue (resp. nonresidue) of every prime, which, with a positive sign, is a residue (resp. nonresidue) of p.

In the next sentence, he christens it the "fundamental theorem" (Gauss never used the word "reciprocity").

Introducing the notation a R b (resp. a N b) to mean a is a quadratic residue (resp. nonresidue) (mod b), and letting a, a′, etc. represent positive primes ≡ 1 (mod 4) and b, b′, etc. positive primes ≡ 3 (mod 4), he breaks it out into the same 8 cases as Legendre:

Case If Then
1) ±a R a ±a′ R a
2) ±a N a ±a′ N a
3) +a R b
a N b
±b R a
4) +a N b
a R b
±b N a
5) ±b R a +a R b
a N b
6) ±b N a +a N b
a R b
7) +b R b
b N b
b′ N b
+b′ R b
8) b N b
+b R b
+b′ R b
b′ N b

In the next Article he generalizes this to what are basically the rules for the Jacobi symbol (below). Letting A, A′, etc. represent any (prime or composite) positive numbers ≡ 1 (mod 4) and B, B′, etc. positive numbers ≡ 3 (mod 4):

Case If Then
9) ±a R A ±A R a
10) ±b R A +A R b
A N b
11) +a R B ±B R a
12) a R B ±B N a
13) +b R B B N b
+N R b
14) b R B +B R b
B N b

All of these cases take the form "if a prime is a residue (mod a composite), then the composite is a residue or nonresidue (mod the prime), depending on the congruences (mod 4)". He proves that these follow from cases 1) - 8).

Gauss needed, and was able to prove,[19] a lemma similar to the one Legendre needed:

The proof[20] of quadratic reciprocity is by complete induction (i.e. assuming it is true for all numbers less than n allows the deduction it is true for n) for each of the cases 1) to 8).

Gauss's version in Legendre symbols

These can be combined:

A number of proofs of the theorem, especially those based on Gauss sums,[21] or the splitting of primes in algebraic number fields,[22] derive this formula.

Other statements

Note that the statements in this section are equivalent to quadratic reciprocity: if, for example, Euler's version is assumed, the Legendre-Gauss version can be deduced from it, and vice-versa.

Euler

This form of quadratic reciprocity is derived from Euler's work:[23]

Euler's statement can be proved by using Gauss's lemma.

Gauss

Gauss's fourth proof[24] consists of proving this theorem (by comparing two formulas for the value of Gauss sums) and then restricting it to two primes:

Let a, b, c, ... be unequal positive odd primes, whose product is n, and let m be the number of them that are ≡ 3 (mod 4); check whether n/a is a residue of a, whether n/b is a residue of b, .... The number of nonresidues found will be even when m ≡ 0, 1 (mod 4), and it will be odd if m ≡ 2, 3 (mod 4).

He gives the example. Let a = 3, b = 5, c = 7, and d = 11. Three of these, 3, 7, and 11 ≡ 3 (mod 4), so m ≡ 3 (mod 4).


5×7×11 R 3;  3×7×11 R 5;  3×5×11 R 7;  and  3×5×7 N 11, so there are an odd number of nonresidues.

Eisenstein

Eisenstein[25] formulates this:

Mordell

Mordell[26] proved the following to be equivalent to quadratic reciprocity:

Jacobi symbol

The Jacobi symbol is a generalization of the Legendre symbol; the main difference is that the bottom number has to be positive and odd, but does not have to be prime. If it is prime, the two symbols agree. It obeys the same rules of manipulation as the Legendre symbol. In particular

and if both numbers are positive and odd (this is sometimes called "Jacobi's reciprocity law"):


However, if the Jacobi symbol is +1 and the bottom number is composite, it does not necessarily mean that the top number is a quadratic residue of the bottom one. Gauss's cases 9) - 14) above can be expressed in terms of Jacobi symbols:

and since p is prime the left hand side is a Legendre symbol, and we know whether M is a residue (mod p) or not.

The formulas listed in the preceding section are true for Jacobi symbols as long as the symbols are defined. Euler's formula may be written

For example,

and 2 is a residue mod the primes 7, 23 and 31: 32 ≡ 2 (mod 7), 52 ≡ 2 (mod 23), and 82 ≡ 2 (mod 31), but 2 is not a quadratic residue (mod 5), so it can't be one (mod 15). This is related to the problem Legendre had: if we know that , we know that a is a nonresidue modulo every prime in the arithmetic series m + 4a, m + 8a, ..., if there are any primes in this series, but that wasn't proved until decades[27] after Legendre.

Eisenstein's formula requires relative primality conditions (which are true if the numbers are prime)

Hilbert symbol

The quadratic reciprocity law can be formulated in terms of the Hilbert symbol where a and b are any two nonzero rational numbers and v runs over all the non-trivial absolute values of the rationals (the archimedean one and the p-adic absolute values for primes p). The Hilbert symbol is 1 or −1. It is defined to be 1 if and only if the equation has a solution in the completion of the rationals at v other than . The Hilbert reciprocity law states that , for fixed a and b and varying v, is 1 for all but finitely many v and the product of over all v is 1. (This formally resembles the residue theorem from complex analysis.)

The proof of Hilbert reciprocity reduces to checking a few special cases, and the non-trivial cases turn out to be equivalent to the main law and the two supplementary laws of quadratic reciprocity for the Legendre symbol. There is no kind of reciprocity in the Hilbert reciprocity law; its name simply indicates the historical source of the result in quadratic reciprocity. Unlike quadratic reciprocity, which requires sign conditions (namely positivity of the primes involved) and a special treatment of the prime 2, the Hilbert reciprocity law treats all absolute values of the rationals on an equal footing. Therefore it is a more natural way of expressing quadratic reciprocity with a view towards generalization: the Hilbert reciprocity law extends with very few changes to all global fields and this extension can rightly be considered a generalization of quadratic reciprocity to all global fields.

Other rings

There are also quadratic reciprocity laws in rings other than the integers.

Gaussian integers

In his second monograph on quartic reciprocity[28] Gauss stated quadratic reciprocity for the ring Z[i] of Gaussian integers, saying that it is a corollary of the biquadratic law in Z[i], but did not provide a proof of either theorem. Peter Gustav Lejeune Dirichlet[29] showed that the law in Z[i] can be deduced from the law for Z without using biquadratic reciprocity.

For an odd Gaussian prime π and a Gaussian integer α, gcd(α, π) = 1, define the quadratic character for Z[i] by the formula

Let λ = a + b i and μ = c + d i be distinct Gaussian primes where a and c are odd and b and d are even. Then[30]

where is the Jacobi symbol for Z.

Eisenstein integers

The ring of Eisenstein integers is Z[ω], where is a cube root of 1. (See the articles on Eisenstein integer and cubic reciprocity for definitions and notations).

For an Eisenstein prime π, Nπ ≠ 3 and an Eisenstein integer α, gcd(α, π) = 1, define the quadratic character for Z[ω] by the formula

Let λ = a + b ω and μ = c + d ω be distinct Eisenstein primes where a and c are not divisible by 3 and b and d are divisible by 3. Eisenstein proved[31]

where is the Jacobi symbol for Z.

Imaginary quadratic fields

The laws in Z[i] and Z[ω] are special cases of more general laws that hold for the ring of integers in any imaginary quadratic number field.

Let k be an imaginary quadratic number field with ring of integers For a prime ideal with odd norm   and   define the quadratic character for by the formula

for an arbitrary ideal factored into prime ideals define

and for define

Let be an integral basis of

For with odd norm Nν, define (ordinary) integers a, b, c, d by the equations,

and define a function χ(ν) where ν has odd norm by

If m = and n = are both odd, Herglotz proved[32]

Also, if [33]

Polynomials over a finite field

Let F be a finite field with q = pn elements, where p is an odd prime number and n is positive, and let F[x] be the ring of polynomials in one variable with coefficients in F. If and f is irreducible, monic, and has positive degree, define the quadratic character for F[x] in the usual manner:

If is a product of monic irreducibles let

Dedekind[34] proved that if are monic and have positive degrees,

Higher powers

The attempt to generalize quadratic reciprocity for powers higher than the second was one of the main goals that led 19th century mathematicians, including Carl Friedrich Gauss, Peter Gustav Lejeune Dirichlet, Carl Gustav Jakob Jacobi, Gotthold Eisenstein, Richard Dedekind, Ernst Kummer, and David Hilbert to the study of general algebraic number fields and their rings of integers;[35] specifically Kummer invented ideals in order to state and prove higher reciprocity laws.

The ninth in the list of 23 unsolved problems which David Hilbert proposed to the Congress of Mathematicians in 1900 asked for the "Proof of the most general reciprocity law [f]or an arbitrary number field".[36] In 1923 Artin, building upon work by Furtwängler, Takagi, Hasse and others, discovered a general theorem for which all known reciprocity laws are special cases; he proved it in 1927.[37]

The links below provide more detailed discussions of these theorems.

See also

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

The Disquisitiones Arithmeticae has been translated (from Latin) into English and German. The German edition includes all of Gauss's papers on number theory: all the proofs of quadratic reciprocity, the determination of the sign of the Gauss sum, the investigations into biquadratic reciprocity, and unpublished notes. Footnotes referencing the Disquisitiones Arithmeticae are of the form "Gauss, DA, Art. n".

  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010

The two monographs Gauss published on biquadratic reciprocity have consecutively numbered sections: the first contains §§ 1–23 and the second §§ 24–76. Footnotes referencing these are of the form "Gauss, BQ, § n".

  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010

These are in Gauss's Werke, Vol II, pp. 65–92 and 93–148. German translations are in pp. 511–533 and 534–586 of Untersuchungen über höhere Arithmetik.

Every textbook on elementary number theory (and quite a few on algebraic number theory) has a proof of quadratic reciprocity. Two are especially noteworthy:

Franz Lemmermeyer's Reciprocity Laws: From Euler to Eisenstein has many proofs (some in exercises) of both quadratic and higher-power reciprocity laws and a discussion of their history. Its immense bibliography includes literature citations for 196 different published proofs for the quadratic reciprocity law.

Kenneth Ireland and Michael Rosen's A Classical Introduction to Modern Number Theory also has many proofs of quadratic reciprocity (and many exercises), and covers the cubic and biquadratic cases as well. Exercise 13.26 (p 202) says it all

Count the number of proofs to the law of quadratic reciprocity given thus far in this book and devise another one.

  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010

External links

  1. Gauss, DA § 4, arts 107–150
  2. E.g. in his mathematical diary entry for April 8, 1796 (the date he first proved quadratic reciprocity). See facsimile page from Felix Klein's Development of Mathematics in the 19th century
  3. See F. Lemmermeyer's chronology and bibliography of proofs in the external references
  4. http://www.math.duke.edu/langlands/Three.pdf
  5. http://www.amazon.com/Algebraic-Theory-Numbers-Hermann-Weyl/dp/0691059179
  6. Lemmermeyer, pp. 2–3
  7. Gauss, DA, art. 182
  8. Lemmermeyer, p. 3
  9. Lemmermeyer, p. 5, Ireland & Rosen, pp. 54, 61
  10. Ireland & Rosen, pp. 69–70. His proof is based on what are now called Gauss sums.
  11. This section is based on Lemmermeyer, pp. 6–8
  12. The equivalence is Euler's criterion
  13. The analogue of Legendre's original definition is used for higher-power residue symbols
  14. E.g. Kronecker's proof (Lemmermeyer, ex. p. 31, 1.34) is to use Gauss's lemma to establish that
    and then switch p and q.
  15. Gauss, DA, arts 108–116
  16. Gauss, DA, arts 117–123
  17. Gauss, DA, arts 130
  18. Gauss, DA, Art 131
  19. Gauss, DA, arts. 125–129
  20. Gauss, DA, arts 135–144
  21. Because the basic Gauss sum equals
  22. Because the quadratic field is a subfield of the cyclotomic field
  23. Ireland & Rosen, pp 60–61.
  24. Gauss, "Summierung gewisser Reihen von besonderer Art", reprinted in Untersuchumgen uber hohere Arithmetik, pp.463–495
  25. Lemmermeyer, Th. 2.28, pp 63–65
  26. Lemmermeyer, ex. 1.9, p. 28
  27. By Peter Gustav Lejeune Dirichlet in 1837
  28. Gauss, BQ § 60
  29. Dirichlet's proof is in Lemmermeyer, Prop. 5.1 p.154, and Ireland & Rosen, ex. 26 p. 64
  30. Lemmermeyer, Prop. 5.1, p. 154
  31. Lemmermeyer, Thm. 7.10, p. 217
  32. Lemmermeyer, Thm 8.15, p.256 ff
  33. Lemmermeyer Thm. 8.18, p. 260
  34. Bach & Shallit, Thm. 6.7.1
  35. Lemmermeyer, p. 15, and Edwards, pp.79–80 both make strong cases that the study of higher reciprocity was much more important as a motivation than Fermat's Last Theorem was
  36. Lemmermeyer, p. viii
  37. Lemmermeyer, p. ix ff