Kvadratiska reciprocitetssatsen
Den kvadratiska reciprocitetssatsen, förmodad av Euler och Legendre och först bevisad av Gauss, kopplar samman lösbarheten av två relaterade kvadratiska kongruenser inom modulär aritmetik. Satsen, som av Gauss benämndes Theorema Aureum, det gyllene teoremet, gör det möjligt att bestämma lösbarheten för alla kvadratiska kongruenser inom modulär aritmetik.
Antag att p och q är två olika udda primtal. Om åtminstone en av dem är kongruent 1 modulo 4 så har kongruensen
en lösning x om och endast om kongruensen
har en lösning y. (De två lösningarna är i allmänhet olika.) Om å andra sidan båda primtalen är kongruenta 3 modulo 4 så har kongruensen
en lösning x om och endast om kongruensen
saknar lösning.
En alternativ formulering av satsen kan skrivas:
Antingen är båda ekvationerna ovan lösbara eller ingen av dem, såvida inte både p och q är av typen 4n + 3, för i så fall är antingen den ena eller den andra ekvationen lösbar.
Om man använder Legendresymbolen , så kan detta sammanfattas som
Lemmermeyer samlade år 2000 i en bok 196 olika publicerade bevis för den kvadratiska reciprocitetssatsen. Per 2018 finns nästan 250 olika bevis framlagda för denna sats.
Det finns en kubisk reciprocitetsats och andra högre reciprocetetssatser.
Referenser
- Riesel, Hans: Avsnittet "The Law of Quadratic Reciprocity", pp. 279-281 i Prime Numbers and Computer Methods for Factorization, 2nd ed., Birkhäuser, Boston, MA, 1994.
- Nathanson, Melvyn B. (2000). Elementary methods in Number Theory. Springer Verlag. sid. 109. ISBN 0-387-98912-9
- Lemmermeyer, Franz (2000). Reciprocity Laws: From Euler to Eisenstein. Springer Verlag. ISBN 3540669574
Externa länkar
- F. Lemmermeyers kronologi och bibliografi över bevis för den kvadratiska reciprocitetssatsen (2018-11-20: 246 bevis)