Kvadratiska reciprocitetssatsen

Från Wikipedia
Hoppa till: navigering, sök

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 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

x^2\equiv p\ ({\rm mod}\ q)

en lösning x om och endast om kongruensen

y^2\equiv q\ ({\rm mod}\ p)

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

x^2\equiv p\ ({\rm mod}\ q)

en lösning x om och endast om kongruensen

y^2\equiv q\ ({\rm mod}\ p)

saknar lösning.

Om man använder Legendresymbolen \left(\frac{p}{q}\right), så kan detta sammanfattas som

\left( \frac{p}{q} \right)\cdot \left( \frac{q}{p} \right) =(-1)^{\frac{p-1}{2}\frac{q-1}{2}}.

Lemmermeyer samlar år 2000 i en bok 196 olika publicerade bevis för den kvadratiska reciprocitetssatsen.

Det finns en kubisk reciprocitetsats och andra högre reciprocetetssatser.

Referenser[redigera | redigera wikitext]

  • Nathanson, Melvyn B. (2000). Elementary methods in Number Theory. Springer Verlag. sid. 109. ISBN 0-387-989129-9