Flipped SO(10): Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
latex to HTML and some minor improvements
 
en>BattyBot
Converted {{Multiple issues}} to new format to fix expert parameter & general fixes using AWB (8853)
Line 1: Line 1:
Andrew Simcox is the title his parents gave him and he totally enjoys this title. What me and my family love is doing ballet but I've been using on new issues lately. For years he's been living in Mississippi and he doesn't strategy on changing it. Credit authorising is how he tends to make cash.<br><br>my blog post ... [http://165.132.39.93/xe/visitors/372912 best psychics]
{{About|Gauss's lemma in number theory||Gauss's lemma (disambiguation)}}
 
'''Gauss's lemma''' in [[number theory]] gives a condition for an integer to be a [[quadratic residue]]. Although it is not useful computationally, it has theoretical significance, being involved in some [[proofs of quadratic reciprocity]].
 
It made its first appearance in [[Carl Friedrich Gauss]]'s third proof (1808)<ref>"Neuer Beweis eines arithmetischen Satzes"; pp 458-462 of ''Untersuchungen uber hohere Arithmetik''</ref> of [[quadratic reciprocity]] and he proved it again in his fifth proof (1818).<ref>"Neue Beweise und Erweiterungen des Fundalmentalsatzes in der Lehre von den quadratischen Reste"; pp 496-501 of ''Untersuchungen uber hohere Arithmetik''</ref>
 
== Statement of the lemma ==
 
For any odd prime ''p'' let ''a'' be an integer that is [[coprime]] to ''p''.
 
Consider the integers
 
:<math>a, 2a, 3a, \dots, \frac{p-1}{2}a</math>
 
and their least positive residues modulo ''p''. (These residues are all distinct, so there are (''p''&minus;1)/2 of them.)
 
Let ''n'' be the number of these residues that are greater than ''p''/2. Then
 
:<math>\left(\frac{a}{p}\right) = (-1)^n</math>
 
where (''a''/''p'') is the [[Legendre symbol]].
 
== Example ==
 
Taking ''p'' = 11 and ''a'' = 7, the relevant sequence of integers is
: 7, 14, 21, 28, 35.
After reduction modulo 11, this sequence becomes
: 7, 3, 10, 6, 2.
Three of these integers are larger than 11/2 (namely 6, 7 and 10), so ''n'' = 3. Correspondingly Gauss's lemma predicts that
: <math>\left(\frac
{7}{11}\right) = (-1)^3 = -1.</math>
This is indeed correct, because 7 is not a quadratic residue modulo 11.
 
The above sequence of residues
: 7, 3, 10, 6, 2
may also be written
: -4, 3, -1, -5, 2.
In this form, the integers larger than 11/2 appear as negative numbers. It is also apparent that the absolute values of the residues are a permutation of the residues
: 1, 2, 3, 4, 5.
 
== Proof ==
 
A fairly simple proof<ref>Any textbook on elementary number theory will have a proof. The one here is basically Gauss's from "Neuer Beweis eines arithnetischen Satzes"; pp 458-462 of ''Untersuchungen uber hohere Arithmetik''</ref> of the lemma, reminiscent of one of the simplest [[proofs of Fermat's little theorem]], can be obtained by evaluating the product
: <math>Z = a \cdot 2a \cdot 3a \cdot \cdots \cdot \frac{p-1}2 a</math>
modulo ''p'' in two different ways. On one hand it is equal to
: <math>Z = a^{(p-1)/2} \left(1 \cdot 2 \cdot 3 \cdot \cdots \cdot \frac{p-1}2 \right)</math>
 
The second evaluation takes more work. If ''x'' is a nonzero residue modulo ''p'', let us define the "absolute value" of ''x'' to be
: <math>|x| = \begin{cases} x & \mbox{if } 1 \leq x \leq \frac{p-1}2, \\ p-x & \mbox{if } \frac{p+1}2 \leq x \leq p-1. \end{cases}</math>
Since ''n'' counts those multiples ''ka'' which are in the latter range, and since for those multiples, &minus;ka is in the first range, we have
: <math>Z = (-1)^n \left(|a| \cdot |2a| \cdot |3a| \cdot \cdots \cdots \left|\frac{p-1}2 a\right|\right).</math>
Now observe that the values |''ra''| are ''distinct'' for ''r'' = 1, 2, ..., (''p''&minus;1)/2. Indeed, if |''ra''| = |''sa''|, then ''ra'' = ±''sa'', and therefore ''r'' = ±''s'' (because ''a'' is invertible modulo ''p''), so ''r'' = ''s'' because they are both in the range 1 ≤ ''r'' ≤ (''p''&minus;1)/2. But there are exactly (''p''&minus;1)/2 of them, so they must just be some rearrangement of the integers 1, 2, ..., (''p''&minus;1)/2. Therefore
: <math>Z = (-1)^n \left(1 \cdot 2 \cdot 3 \cdot \cdots \cdot \frac{p-1}2\right).</math>
Comparing with our first evaluation, we may cancel out the nonzero factor
: <math>1 \cdot 2 \cdot 3 \cdot \cdots \cdot \frac{p-1}2</math>
and we are left with
: <math>a^{(p-1)/2} = (-1)^n.\ </math>
This is the desired result, because by [[Euler's criterion]] the left hand side is just an alternative expression for the Legendre symbol (''a''/''p'').
 
== Applications ==
 
Gauss's lemma is used in many,<ref>Lemmermeyer, ch. 1</ref><ref>Lemmermeyer, p. 9,  "like most of the simplest proofs [ of QR], [Gauss's] 3 and 5 rest on what we now call Gauss's Lemma</ref> but by no means all, of the known proofs of quadratic reciprocity.
 
For example, [[Gotthold Eisenstein|Eisenstein]]<ref>Lemmermeyer, p. 236, Prop 8.1 (1845)</ref> used Gauss's lemma to prove that if ''p'' is an odd prime then
 
<!--
If ''p'' is an odd prime and ''a'' is not a multiple of ''p'' then
 
this is not needed. If p|a the numerator is 0.
 
-->
:<math>\left(\frac{a}{p}\right)=\prod_{n=1}^{(p-1)/2}\frac{\sin{(2\pi an/p)}}{\sin{(2\pi n/p)}},</math>
 
and used this formula to prove quadratic reciprocity, (and, by using [[Elliptic function|elliptic]] rather than [[Trigonometric functions|circular]] functions, to prove the [[cubic reciprocity|cubic]] and [[quartic reciprocity]] laws.<ref>Lemmermeyer, ch. 8</ref>)
 
[[Kronecker]]<ref>Lemmermeyer, ex. 1.34 (The year isn't clear because K. published 8 proofs, several based on Gauss's lemma, between 1875  and 1889)</ref> used the lemma to show 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>
 
Switching ''p'' and ''q'' immediately gives quadratic reciprocity.
It is also used in what are probably the simplest proofs of the "second supplementary law"
 
:<math>\left(\frac{2}{p}\right) = (-1)^{(p^2-1)/8} = \begin{cases} +1\text{ if }p\equiv \pm 1\pmod {8}\\-1\text{ if }p\equiv \pm 3\pmod {8}\end{cases}</math>
 
<!--
Gauss's lemma can be used to prove the following statement, and the reverse is true too.
 
eh? are you implyng that one can deduce GL from the formula?
 
I'm removing this statement till someone can provide a reference, and moving the formula to the top of the section
-->
 
==Higher powers==
 
Generalizations of Gauss's lemma can be used to compute higher power residue symbols. In his second monograph on biquadratic reciprocity,<ref>Gauss, BQ, §§ 69&ndash;71</ref> Gauss used a fourth-power lemma to derive the formula for the biquadratic character of 1 + ''i'' in '''Z'''[''i''], the ring of [[Gaussian integers]]. Subsequently,<ref>Lemmermeyer, Ch. 8</ref> Eisenstein used third- and fourth-power versions to prove [[cubic reciprocity|cubic]] and [[quartic reciprocity]].
 
===''n''th power residue symbol===
{{main|Power residue symbol}}
Let ''k'' be an [[algebraic number field]] with [[ring of integers]]  &nbsp; <math>\mathcal{O}_k,</math> &nbsp;  and let  &nbsp; <math>\mathfrak{p} \subset \mathcal{O}_k </math>  &nbsp; be a [[Number_field#Prime_ideals|prime ideal]]. The [[ideal norm]] of &nbsp;<math>\mathfrak{p} </math>&nbsp; is defined as the cardinality of the residue class ring (since <math>\mathfrak{p} </math>  is prime this is a [[finite field]])  &nbsp; <math> \mathcal{O}_k / \mathfrak{p}\;:\;\;\; \mathrm{N} \mathfrak{p} = |\mathcal{O}_k / \mathfrak{p}|.</math>
 
Assume that a primitive ''n''th [[root of unity]]  &nbsp; <math>\zeta_n\in\mathcal{O}_k,</math>  &nbsp; and that ''n'' and <math>\mathfrak{p} </math> are [[coprime]] (i.e.&nbsp;<math>n\not\in \mathfrak{p}.</math>) &nbsp; Then
 
'''No two distinct ''n''th roots of unity can be congruent '''<math>\pmod{\mathfrak{p}}.</math>
 
The proof is by contradiction: assume otherwise, that  &nbsp; <math>\zeta_n^r\equiv\zeta_n^s\pmod{\mathfrak{p}}, \;\;0 <r<s\le n.</math> &nbsp; Then letting &nbsp; <math>t=s-r,\;\;\zeta_n^t\equiv 1 \pmod{\mathfrak{p}}, </math> &nbsp; and &nbsp;<math> 0 < t< n.\  </math> From the definition of roots of unity,
:<math>x^n-1=(x-1)(x-\zeta_n)(x-\zeta_n^2)\dots(x-\zeta_n^{n-1}),</math>  &nbsp; and dividing by  ''x'' &minus; 1  gives 
:<math>x^{n-1}+x^{n-2}+\dots +x + 1 =(x-\zeta_n)(x-\zeta_n^2)\dots(x-\zeta_n^{n-1}).</math>
 
Letting ''x'' = 1 and taking residues  <math>\pmod{\mathfrak{p}},</math> 
:<math>n\equiv(1-\zeta_n)(1-\zeta_n^2)\dots(1-\zeta_n^{n-1})\pmod{\mathfrak{p}}.</math>
 
Since  ''n'' and <math> \mathfrak{p}</math>&nbsp; are coprime,&nbsp;<math> n\not\equiv 0\pmod{\mathfrak{p}},</math>  &nbsp; but under the assumption, one of the factors on the right must be zero. Therefore the assumption that two distinct roots are congruent is false.
 
Thus the residue classes of  &nbsp; <math> \mathcal{O}_k / \mathfrak{p}</math>  &nbsp; containing the powers of ζ<sub>''n''</sub> are a subgroup of order ''n'' of its (multiplicative) group of units,  &nbsp; <math>(\mathcal{O}_k/\mathfrak{p}) ^\times  = \mathcal{O}_k /\mathfrak{p}- \{0\}.</math>  &nbsp; Therefore the order of &nbsp;  <math>(\mathcal{O}_k/\mathfrak{p})^ \times</math>  &nbsp; is a multiple of ''n'', and 
:<math>\mathrm{N} \mathfrak{p} = |\mathcal{O}_k / \mathfrak{p}| = |(\mathcal{O}_k / \mathfrak{p} )^\times| + 1 \equiv 1 \pmod{n}.</math>
 
There is an analogue of Fermat's theorem in &nbsp; <math>\mathcal{O}_k:</math>&nbsp; If &nbsp;  <math>\alpha \in \mathcal{O}_k,\;\;\; \alpha\not\in \mathfrak{p},</math> &nbsp; then<ref>Lemmermeyer, Ch. 4.1</ref>
:<math>\alpha^{\mathrm{N} \mathfrak{p} -1}\equiv 1 \pmod{\mathfrak{p} },
</math> &nbsp;  and since &nbsp;  <math>\mathrm{N} \mathfrak{p} \equiv 1 \pmod{n},</math>
 
:<math>\alpha^{\frac{\mathrm{N} \mathfrak{p} -1}{n}}\equiv \zeta_n^s\pmod{\mathfrak{p} }
</math> &nbsp; is well-defined and congruent to a unique ''n''th root of unity &zeta;<sub>''n''</sub><sup>''s''</sup>.
 
This root of unity is called  the '''''n''th-power residue symbol for  &nbsp; <math>\mathcal{O}_k,</math>''' &nbsp;  and is denoted by
 
:<math>
\left(\frac{\alpha}{\mathfrak{p} }\right)_n= \zeta_n^s \equiv \alpha^{\frac{\mathrm{N} \mathfrak{p} -1}{n}}\pmod{\mathfrak{p}}.
</math>
 
It can be proven that<ref>Lemmermeyer, Prop 4.1</ref>
 
:<math>
\left(\frac{\alpha}{\mathfrak{p} }\right)_n= 1 \mbox{ if and only if there is an } \eta \in\mathcal{O}_k\;\;\mbox{ such that } \;\;\alpha\equiv\eta^n\pmod{\mathfrak{p}}.</math>
 
===1/''n'' systems===
 
Let &nbsp;  <math>\mu_n = \{1,\zeta_n,\zeta_n^2,\dots,\zeta_n^{n-1}\} </math>  &nbsp; be the multiplicative group of the ''n''th roots of unity, and let  &nbsp; <math>A=\{a_1, a_2,\dots,a_m\}</math>  &nbsp; be representatives of the cosets of  &nbsp; <math>(\mathcal{O}_k / \mathfrak{p})^\times/\mu_n.</math>  &nbsp; Then ''A'' is called a '''1/''n'' system ''' <math>\pmod\mathfrak{p}.</math><ref>Lemmermeyer, Ch. 4.2</ref>
 
In other words, there are &nbsp;<math>mn=\mathrm{N} \mathfrak{p} -1 </math>&nbsp; numbers in the set &nbsp;  <math>A\mu=\{ a_i \zeta_n^j\;:\; 1 \le i \le m, \;\;\;0 \le j \le n-1\},</math>  &nbsp; and this set constitutes  a representative set for  &nbsp; <math>(\mathcal{O}_k / \mathfrak{p})^\times.</math>
 
The numbers 1, 2, ..., (''p'' &minus; 1)/2, used in the original version of the lemma, are a 1/2 system (mod ''p'').
 
Constructing a 1/''n'' system is straightforward: let ''M'' be a representative set for &nbsp; <math>(\mathcal{O}_k / \mathfrak{p})^\times.</math> &nbsp; Pick any <math>a_1\in M </math> &nbsp; and remove the numbers congruent to &nbsp;<math>a_1, a_1\zeta_n, a_1\zeta_n^2, \dots, a_1\zeta_n^{n-1}</math> &nbsp;
from ''M''. Pick  ''a''<sub>2</sub> from ''M'' and remove the numbers congruent to &nbsp; <math>a_2, a_2\zeta_n, a_2\zeta_n^2, \dots, a_2\zeta_n^{n-1}</math> &nbsp; Repeat until ''M'' is exhausted. Then {''a''<sub>1</sub>, ''a''<sub>2</sub>, ... ''a''<sub>m</sub>} is a 1/''n'' system <math>\pmod\mathfrak{p}.</math>
 
===The lemma for ''n''th powers===
 
Gauss's lemma for the ''n''th power residue symbol is<ref>Lemmermeyer, Prop. 4.3</ref>
 
Let &nbsp; <math>\zeta_n\in \mathcal{O}_k </math>  &nbsp; be a primitive ''n''th root of unity, &nbsp; <math>\mathfrak{p} \subset \mathcal{O}_k </math>  &nbsp; a prime ideal,  &nbsp; <math>\gamma \in \mathcal{O}_k, \;\;n\gamma\not\in\mathfrak{p},</math> (i.e. <math>\mathfrak{p}</math> is coprime to both γ and ''n'') and let ''A'' = {''a''<sub>1</sub>, ''a''<sub>2</sub>,..., ''a''<sub>''m''</sub>} be a  1/''n'' system <math>\pmod{\mathfrak{p}}.</math>
 
Then for each ''i'', 1 ≤  ''i'' ≤  ''m'', there are integers π(''i''), unique (mod ''m''), and ''b''(''i''), unique (mod ''n''),  such that
:<math>\gamma a_i \equiv \zeta_n^{b(i)}a_{\pi(i)} \pmod{\mathfrak{p}},
</math>
 
and the ''n''th-power residue symbol is given by the formula
 
:<math>
\left(\frac{\gamma}{\mathfrak{p} }\right)_n = \zeta_n^{b(1)+b(2)+\dots+b(m)}.
</math>
 
The classical lemma for the quadratic Legendre symbol is the special case ''n'' = 2, ζ<sub>2</sub> = &minus;1, ''A'' = {1, 2, ..., (''p'' &minus; 1)/2}, ''b''(''k'') = 1 if ''ak'' > ''p''/2, ''b''(''k'') = 0 if ''ak'' < ''p''/2.
 
===Proof===
 
The proof of the ''n''th-power lemma uses the same ideas that were used in the proof of the quadratic lemma.
 
The existence of the integers π(''i'') and ''b''(''i''), and their uniqueness  (mod ''m'') and (mod ''n''), respectively, come from the fact that ''A''μ is a representative set.
 
Assume that π(''i'') = π(''j'') = ''p'', i.e.
:<math>\gamma a_i \equiv \zeta_n^r a_p \pmod{\mathfrak{p}}</math> &nbsp; and &nbsp; <math>\gamma a_j \equiv \zeta_n^s a_p \pmod{\mathfrak{p}}.</math>
Then
:<math>\zeta_n^{s-r}\gamma a_i \equiv \zeta_n^s a_p \equiv \gamma a_j\pmod{\mathfrak{p}}</math>
Because γ and <math>\mathfrak{p}</math> are coprime both sides can be divided by γ, giving
:<math>\zeta_n^{s-r} a_i \equiv a_j\pmod{\mathfrak{p}},</math>
which, since ''A'' is a 1/''n'' system, implies ''s'' = ''r'' and ''i'' = ''j'', showing that π is a permutation of the set {1, 2, ..., ''m''}.
 
Then on the one hand, by the definition of the power residue symbol,
:<math>
\begin{align}
(\gamma a_1)(\gamma a_2)\dots(\gamma a_m) &= \gamma^{\frac{\mathrm{N} \mathfrak{p} -1}{n}} a_1 a_2\dots a_m \\&\equiv \left(\frac{\gamma}{\mathfrak{p} }\right)_n a_1 a_2\dots a_m \pmod{\mathfrak{p}},
\end{align}
</math>
and on the other hand, since π is a permutation,
:<math>
\begin{align}
(\gamma a_1)(\gamma a_2)\dots(\gamma a_m)
&\equiv
{\zeta_n^{b(1)}a_{\pi(1)}} {\zeta_n^{b(2)}a_{\pi(2)}}\dots{\zeta_n^{b(m)}a_{\pi(m)}} \\
&\equiv
\zeta_n^{b(1)+b(2)+\dots+b(m)}a_{\pi(1)} a_{\pi(2)}\dots a_{\pi(m)}\\
&\equiv
\zeta_n^{b(1)+b(2)+\dots+b(m)} a_1 a_2\dots a_m
\pmod{\mathfrak{p}},
\end{align}
</math>
so
:<math>
 
\left(\frac{\gamma}{\mathfrak{p} }\right)_n a_1 a_2\dots a_m \equiv \zeta_n^{b(1)+b(2)+\dots+b(m)} a_1 a_2\dots a_m
\pmod{\mathfrak{p}},
</math>
 
and since for all 1 ≤ ''i'' ≤ ''m'', ''a''<sub>''i''</sub> and&nbsp; <math>\mathfrak{p}</math> &nbsp; are coprime, ''a''<sub>1</sub>''a''<sub>2</sub>...''a''<sub>m</sub> can be cancelled from both sides of the congruence,
:<math>\left(\frac{\gamma}{\mathfrak{p} }\right)_n \equiv \zeta_n^{b(1)+b(2)+\dots+b(m)}
\pmod{\mathfrak{p}},
</math>
and the theorem follows from the fact that no two distinct ''n''<sup>th</sup> roots of unity can be congruent (mod <math>\mathfrak{p}</math>).
 
== Relation to the transfer in group theory ==
 
Let ''G'' be the multiplicative group of nonzero residue classes in '''Z'''/''p'''''Z''', and let ''H'' be the subgroup {+1, &minus;1}. Consider the following coset representatives of ''H'' in ''G'',
:<math>1, 2, 3, \dots, \frac{p-1}{2}.</math>
 
Applying the machinery of the [[transfer (group theory)|transfer]] to this collection of coset representatives, we obtain the transfer homomorphism
:<math>\phi : G \to H,</math>
which turns out to be the map that sends ''a'' to (&minus;1)<sup>''n''</sup>, where ''a'' and ''n'' are as in the statement of the lemma. Gauss's lemma may then be viewed as  a computation that explicitly identifies this homomorphism as being the quadratic residue character.
 
== See also ==
 
Two other characterizations of squares modulo a prime are [[Euler's criterion]] and [[Zolotarev's lemma]].
 
==Notes==
{{reflist}}
 
==References==
 
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 of the above are in the following, which also has the [[Disquisitiones Arithmeticae]] and Gauss's other papers on number theory, including the six proofs of quadratic reciprocity.
 
*{{citation
  | last1 = Gauss  | first1 = Carl Friedrich
  | last2 = Maser | first2 = H. (translator into German) 
  | title = Untersuchungen uber hohere Arithmetik (Disquisitiones Arithmeticae & other papers on number theory) (Second edition)
  | publisher = Chelsea
  | location = New York
  | year = 1965
  | isbn = 0-8284-0191-8}}
*{{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}}
 
[[Category:Modular arithmetic]]
[[Category:Lemmas]]
[[Category:Articles containing proofs]]
[[Category:Quadratic residue]]

Revision as of 18:26, 6 March 2013

29 yr old Orthopaedic Surgeon Grippo from Saint-Paul, spends time with interests including model railways, top property developers in singapore developers in singapore and dolls. Finished a cruise ship experience that included passing by Runic Stones and Church.

Gauss's lemma in number theory gives a condition for an integer to be a quadratic residue. Although it is not useful computationally, it has theoretical significance, being involved in some proofs of quadratic reciprocity.

It made its first appearance in Carl Friedrich Gauss's third proof (1808)[1] of quadratic reciprocity and he proved it again in his fifth proof (1818).[2]

Statement of the lemma

For any odd prime p let a be an integer that is coprime to p.

Consider the integers

and their least positive residues modulo p. (These residues are all distinct, so there are (p−1)/2 of them.)

Let n be the number of these residues that are greater than p/2. Then

where (a/p) is the Legendre symbol.

Example

Taking p = 11 and a = 7, the relevant sequence of integers is

7, 14, 21, 28, 35.

After reduction modulo 11, this sequence becomes

7, 3, 10, 6, 2.

Three of these integers are larger than 11/2 (namely 6, 7 and 10), so n = 3. Correspondingly Gauss's lemma predicts that

This is indeed correct, because 7 is not a quadratic residue modulo 11.

The above sequence of residues

7, 3, 10, 6, 2

may also be written

-4, 3, -1, -5, 2.

In this form, the integers larger than 11/2 appear as negative numbers. It is also apparent that the absolute values of the residues are a permutation of the residues

1, 2, 3, 4, 5.

Proof

A fairly simple proof[3] of the lemma, reminiscent of one of the simplest proofs of Fermat's little theorem, can be obtained by evaluating the product

modulo p in two different ways. On one hand it is equal to

The second evaluation takes more work. If x is a nonzero residue modulo p, let us define the "absolute value" of x to be

Since n counts those multiples ka which are in the latter range, and since for those multiples, −ka is in the first range, we have

Now observe that the values |ra| are distinct for r = 1, 2, ..., (p−1)/2. Indeed, if |ra| = |sa|, then ra = ±sa, and therefore r = ±s (because a is invertible modulo p), so r = s because they are both in the range 1 ≤ r ≤ (p−1)/2. But there are exactly (p−1)/2 of them, so they must just be some rearrangement of the integers 1, 2, ..., (p−1)/2. Therefore

Comparing with our first evaluation, we may cancel out the nonzero factor

and we are left with

This is the desired result, because by Euler's criterion the left hand side is just an alternative expression for the Legendre symbol (a/p).

Applications

Gauss's lemma is used in many,[4][5] but by no means all, of the known proofs of quadratic reciprocity.

For example, Eisenstein[6] used Gauss's lemma to prove that if p is an odd prime then

and used this formula to prove quadratic reciprocity, (and, by using elliptic rather than circular functions, to prove the cubic and quartic reciprocity laws.[7])

Kronecker[8] used the lemma to show that

Switching p and q immediately gives quadratic reciprocity.

It is also used in what are probably the simplest proofs of the "second supplementary law"


Higher powers

Generalizations of Gauss's lemma can be used to compute higher power residue symbols. In his second monograph on biquadratic reciprocity,[9] Gauss used a fourth-power lemma to derive the formula for the biquadratic character of 1 + i in Z[i], the ring of Gaussian integers. Subsequently,[10] Eisenstein used third- and fourth-power versions to prove cubic and quartic reciprocity.

nth power residue symbol

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. Let k be an algebraic number field with ring of integers     and let     be a prime ideal. The ideal norm of    is defined as the cardinality of the residue class ring (since is prime this is a finite field)  

Assume that a primitive nth root of unity     and that n and are coprime (i.e. )   Then

No two distinct nth roots of unity can be congruent

The proof is by contradiction: assume otherwise, that     Then letting     and   From the definition of roots of unity,

  and dividing by x − 1 gives

Letting x = 1 and taking residues

Since n and   are coprime,    but under the assumption, one of the factors on the right must be zero. Therefore the assumption that two distinct roots are congruent is false.

Thus the residue classes of     containing the powers of ζn are a subgroup of order n of its (multiplicative) group of units,     Therefore the order of     is a multiple of n, and

There is an analogue of Fermat's theorem in     If     then[11]

  and since  
  is well-defined and congruent to a unique nth root of unity ζns.

This root of unity is called the nth-power residue symbol for     and is denoted by

It can be proven that[12]

1/n systems

Let     be the multiplicative group of the nth roots of unity, and let     be representatives of the cosets of     Then A is called a 1/n system [13]

In other words, there are    numbers in the set     and this set constitutes a representative set for  

The numbers 1, 2, ..., (p − 1)/2, used in the original version of the lemma, are a 1/2 system (mod p).

Constructing a 1/n system is straightforward: let M be a representative set for     Pick any   and remove the numbers congruent to     from M. Pick a2 from M and remove the numbers congruent to     Repeat until M is exhausted. Then {a1, a2, ... am} is a 1/n system

The lemma for nth powers

Gauss's lemma for the nth power residue symbol is[14]

Let     be a primitive nth root of unity,     a prime ideal,   (i.e. is coprime to both γ and n) and let A = {a1, a2,..., am} be a 1/n system

Then for each i, 1 ≤ im, there are integers π(i), unique (mod m), and b(i), unique (mod n), such that

and the nth-power residue symbol is given by the formula

The classical lemma for the quadratic Legendre symbol is the special case n = 2, ζ2 = −1, A = {1, 2, ..., (p − 1)/2}, b(k) = 1 if ak > p/2, b(k) = 0 if ak < p/2.

Proof

The proof of the nth-power lemma uses the same ideas that were used in the proof of the quadratic lemma.

The existence of the integers π(i) and b(i), and their uniqueness (mod m) and (mod n), respectively, come from the fact that Aμ is a representative set.

Assume that π(i) = π(j) = p, i.e.

  and  

Then

Because γ and are coprime both sides can be divided by γ, giving

which, since A is a 1/n system, implies s = r and i = j, showing that π is a permutation of the set {1, 2, ..., m}.

Then on the one hand, by the definition of the power residue symbol,

and on the other hand, since π is a permutation,

so

and since for all 1 ≤ im, ai and    are coprime, a1a2...am can be cancelled from both sides of the congruence,

and the theorem follows from the fact that no two distinct nth roots of unity can be congruent (mod ).

Relation to the transfer in group theory

Let G be the multiplicative group of nonzero residue classes in Z/pZ, and let H be the subgroup {+1, −1}. Consider the following coset representatives of H in G,

Applying the machinery of the transfer to this collection of coset representatives, we obtain the transfer homomorphism

which turns out to be the map that sends a to (−1)n, where a and n are as in the statement of the lemma. Gauss's lemma may then be viewed as a computation that explicitly identifies this homomorphism as being the quadratic residue character.

See also

Two other characterizations of squares modulo a prime are Euler's criterion and Zolotarev's lemma.

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 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 of the above are in the following, which also has the Disquisitiones Arithmeticae and Gauss's other papers on number theory, including the six proofs of quadratic reciprocity.

  • 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
  1. "Neuer Beweis eines arithmetischen Satzes"; pp 458-462 of Untersuchungen uber hohere Arithmetik
  2. "Neue Beweise und Erweiterungen des Fundalmentalsatzes in der Lehre von den quadratischen Reste"; pp 496-501 of Untersuchungen uber hohere Arithmetik
  3. Any textbook on elementary number theory will have a proof. The one here is basically Gauss's from "Neuer Beweis eines arithnetischen Satzes"; pp 458-462 of Untersuchungen uber hohere Arithmetik
  4. Lemmermeyer, ch. 1
  5. Lemmermeyer, p. 9, "like most of the simplest proofs [ of QR], [Gauss's] 3 and 5 rest on what we now call Gauss's Lemma
  6. Lemmermeyer, p. 236, Prop 8.1 (1845)
  7. Lemmermeyer, ch. 8
  8. Lemmermeyer, ex. 1.34 (The year isn't clear because K. published 8 proofs, several based on Gauss's lemma, between 1875 and 1889)
  9. Gauss, BQ, §§ 69–71
  10. Lemmermeyer, Ch. 8
  11. Lemmermeyer, Ch. 4.1
  12. Lemmermeyer, Prop 4.1
  13. Lemmermeyer, Ch. 4.2
  14. Lemmermeyer, Prop. 4.3