Skip to main content
Top

2015 | OriginalPaper | Chapter

3. Proof by Reduction

Author : Oswald Baumgart

Published in: The Quadratic Reciprocity Law

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

1. If q denotes a prime number, then \(1,2,\ldots, \frac{q-1} {2}\) is a complete system of incongruent positive minimal1 residues modulo q; on the other hand, if a is coprime to q, then a, 2a, …, \(\frac{q-1} {2} a\) is a system of \(\frac{q-1} {2}\) incongruent residues which do not necessarily form a half-system modulo q. If, in this last set, ρ 1, …, ρ λ are the positive and −σ 1, …, −σ μ the negative minimal residues modulo q, then we can observe that the ρ and σ are nonzero and pairwise distinct, hence congruent modulo q in some order to the numbers \(1,2,\ldots, \frac{q-1} {2}\).

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
[FL] A minimal residue system modulo p consists of the numbers 0, ± 1, ± 2, …, \(\pm \frac{p-1} {2}\); among these, the residues \(1, 2,\ldots, \frac{p-1} {2}\) are called “positive”. Occasionally we will call this a “half-system modulo p in the following.
 
2
Here the notation card. k pos.u is taken from Schering and denotes the number of positive values of v as k runs through the half-system.
 
3
[FL] Gegenbauer (see his article referred to in the appendix) observed that Stern’s article does indeed contain a complete and correct proof of the quadratic reciprocity law.
 
4
Here two integers are called similar if they both have the form 4n + 1 or 4n + 3, and not similar if one has the form 4n + 1 and the other 4n + 3.
 
5
In the following, Stern only shows that \(U - G \equiv \frac{q-p} {2} \bmod 2\). I was notified of this fact by Prof. Schering.
 
6
[FL] Baumgart writes q < p.
 
7
According to Kronecker and Weierstrass, | x | denotes the absolute value of x.
 
Literature
3.
go back to reference W.J. Bouniakowski, Sur un théorème relatif à la théorie des résidus et son application à la démonstration de la loi de réciprocité de deux nombres premiers, Bull. Acad. St. Pétersbourg 14 (1869), 432–447; cf. p. W.J. Bouniakowski, Sur un théorème relatif à la théorie des résidus et son application à la démonstration de la loi de réciprocité de deux nombres premiers, Bull. Acad. St. Pétersbourg 14 (1869), 432–447; cf. p.
4.
go back to reference E. Busche, Ueber eine Beweismethode in der Zahlentheorie und einige Anwendungen derselben, insbesondere auf das Reziprozitätsgesetz in der Theorie der quadratischen Reste, Diss. Göttingen 1883; cf. p. E. Busche, Ueber eine Beweismethode in der Zahlentheorie und einige Anwendungen derselben, insbesondere auf das Reziprozitätsgesetz in der Theorie der quadratischen Reste, Diss. Göttingen 1883; cf. p.
17.
go back to reference G. Eisenstein, Geometrischer Beweis des Fundamentaltheorems für die quadratischen Reste, J. Reine Angew. Math. 28 (1844), 246–248; Math. Werke I, 164–166; Engl. Transl. Quart. J. Math. 1 (1857), 186–191, or A. Cayley: Coll. Math. Papers III, 39–43; cf. p. G. Eisenstein, Geometrischer Beweis des Fundamentaltheorems für die quadratischen Reste, J. Reine Angew. Math. 28 (1844), 246–248; Math. Werke I, 164–166; Engl. Transl. Quart. J. Math. 1 (1857), 186–191, or A. Cayley: Coll. Math. Papers III, 39–43; cf. p.
26.
go back to reference C.F. Gauss, Theorematis arithmetici demonstratio nova, Comment. Soc. regiae sci. Göttingen XVI (1808), 69; Werke II, p. 1–8; cf. p. C.F. Gauss, Theorematis arithmetici demonstratio nova, Comment. Soc. regiae sci. Göttingen XVI (1808), 69; Werke II, p. 1–8; cf. p.
28.
go back to reference C.F. Gauss, Theorematis fundamentalis in doctrina de residuis quadraticis demonstrationes et amplicationes novae, 1818; Werke II, 47–64, in particular p. 51; cf. p. C.F. Gauss, Theorematis fundamentalis in doctrina de residuis quadraticis demonstrationes et amplicationes novae, 1818; Werke II, 47–64, in particular p. 51; cf. p.
37.
go back to reference A. Genocchi, Note sur la théorie des residus quadratiques, Mém. cour. et mém. des savants étrangers Acad. Roy Sci. Lettres Belgique 25 (1851/53), 54 pp; cf. p. A. Genocchi, Note sur la théorie des residus quadratiques, Mém. cour. et mém. des savants étrangers Acad. Roy Sci. Lettres Belgique 25 (1851/53), 54 pp; cf. p.
43.
go back to reference L. Kronecker, Ueber das Reciprocitätsgesetz, Monatsber. Berlin (1876), 331–341; Werke II, 11–23; cf. p. L. Kronecker, Ueber das Reciprocitätsgesetz, Monatsber. Berlin (1876), 331–341; Werke II, 11–23; cf. p.
63.
go back to reference J. Petersen, A new proof of the theorem of reciprocity, Amer. J. Math. pure and appl. 2 (1879), 285–286; FdM 11 (1879), 132; cf. p. J. Petersen, A new proof of the theorem of reciprocity, Amer. J. Math. pure and appl. 2 (1879), 285–286; FdM 11 (1879), 132; cf. p.
64.
go back to reference J. Petersen, Reciprocitetssätningen, Tidssk. Mat. udgived of Zeuthen (4) III (1879), 86–90; FdM 11 (1879), 132; BSMA (2) 8 (1884), 175; cf. p. J. Petersen, Reciprocitetssätningen, Tidssk. Mat. udgived of Zeuthen (4) III (1879), 86–90; FdM 11 (1879), 132; BSMA (2) 8 (1884), 175; cf. p.
67.
go back to reference E. Schering, Neuer Beweis des Reciprocitäts-Satzes für die quadratischen Reste, Gött. Nachr. (1879), 217–224; Werke I, 331–336; cf. p. E. Schering, Neuer Beweis des Reciprocitäts-Satzes für die quadratischen Reste, Gött. Nachr. (1879), 217–224; Werke I, 331–336; cf. p.
68.
go back to reference E. Schering, Nouvelle démonstration de la loi de réciprocité dans la théorie des résidus quadratique, C. R. Acad. Sci. Paris 88 (1879), 1073–1075; Werke I, 337–340; cf. p. E. Schering, Nouvelle démonstration de la loi de réciprocité dans la théorie des résidus quadratique, C. R. Acad. Sci. Paris 88 (1879), 1073–1075; Werke I, 337–340; cf. p.
70.
go back to reference M.A. Stern, Über einen einfachen Beweis des quadratischen Reciprocitätsgesetzes und einige damit zusammenhängende Sätze, Gött. Nachr (1870), 237–253; cf. p. M.A. Stern, Über einen einfachen Beweis des quadratischen Reciprocitätsgesetzes und einige damit zusammenhängende Sätze, Gött. Nachr (1870), 237–253; cf. p.
71.
go back to reference A. Voigt, Abkürzung des dritten Gauss’schen Reciprocitätsbeweises, Z. Math. Phys. 26 (1881), 134; cf. p. A. Voigt, Abkürzung des dritten Gauss’schen Reciprocitätsbeweises, Z. Math. Phys. 26 (1881), 134; cf. p.
73.
go back to reference Ch. Zeller, Beweis des Reciprocitätsgesetzes für die quadratischen Reste, Berl. Monatsber. (1872), 846–847; cf. p. Ch. Zeller, Beweis des Reciprocitätsgesetzes für die quadratischen Reste, Berl. Monatsber. (1872), 846–847; cf. p.
Metadata
Title
Proof by Reduction
Author
Oswald Baumgart
Copyright Year
2015
DOI
https://doi.org/10.1007/978-3-319-16283-6_3

Premium Partner