Definition
Ein grundlegendes Ergebnis der elementaren Zahlentheorie, das die quadratische Rest-Eigenschaft zwischen zwei verschiedenen ungeraden Primzahlen p und q mittels des Legendre-Symbols verknüpft: (p/q)(q/p) = (-1)^{((p-1)/2)((q-1)/2)}; es bestimmt, ob p ein quadratischer Rest modulo q ist, in Bezug auf die umgekehrte Frage bis auf ein explizites Vorzeichen.

Prinzip

Prinzip
Die ordnende Regel ist eine Reziprozitätssymmetrie: die Wechselwirkung quadratischer Charaktere zwischen zwei ungeraden Primzahlen ist bis auf ein berechenbares Vorzeichen symmetrisch, das von den Kongruenzklassen der Primzahlen modulo 4 abhängt.

Demonstration

Demonstration
Beispiel: p=3 und q=11. Berechne die Legendre-Symbole (3/11) und (11/3); das Gesetz sagt voraus, dass ihr Produkt (-1)^{((3-1)/2)((11-1)/2)} = (-1)^{1*5} = -1 ist, was mit direkten Berechnungen der quadratischen Residuosität in den jeweiligen Moduli übereinstimmt.

Fehlanwendung

Fehlanwendung
Anwendung des Gesetzes einschließlich der Primzahl 2 oder auf zusammengesetzte Moduli ohne Übergang zu verallgemeinerten Symbolen führt zu falschen Residuositätstests. Ebenso ist es falsch, das Gesetz als direkte Angabe von Restwerten statt als Relation zwischen Symbolen zu interpretieren.

Konsequenz

Konsequenz
Richtige Anwendung reduziert Tests quadratischer Residuosität zwischen großen ungeraden Primzahlen auf kleinere Rechnungen und bildet die Grundlage für Primzahltests und die Klassenkörpertheorie; sie ordnet das Verhalten quadratischer Reste und ermöglicht effiziente Berechnungen auf Grundlage der Reziprozität.

Umkehrung

Umkehrung
Die Umkehr besteht im Übergang zu Höherordnung-Reziprozitätsgesetzen (kubisch, biquadratisch usw.), bei denen zwar weiterhin Symmetrien bestehen, jedoch zusätzliche Hilfsdaten und Charaktere erforderlich sind; diese Gesetze sind strukturell ähnlich, aber komplizierter.

Abgrenzung

Abgrenzung
Geltungsbereich: die klassische Aussage gilt für verschiedene ungerade Primzahlen und das Legendre-Symbol; Erweiterungen erfordern die Verwendung des Jacobi-Symbols für zusammengesetzte Zahlen oder allgemeine Reziprozitätssätze in Zahlkörpern. Das Gesetz bestimmt nicht direkt Residuosität modulo Potenzen von Primzahlen ohne weitere Arbeit.

Semantische Spannung

Semantische Spannung
Spannung besteht zwischen der Formulierung mit dem Legendre-Symbol (Primzahlen) und der Verallgemeinerung mit dem Jacobi-Symbol (Zusammengesetzte): ein Jacobi-Symbol-Wert 1 garantiert keine Residuosität, und Verwechslung führt zu Fehlern. Es besteht zudem eine Spannung zwischen elementaren Beweisen und tieferen feldtheoretischen Interpretationen.

Synthese

Synthese
Das Gesetz der Quadratischen Reziprozität ist eine präzise Symmetrieaussage über quadratische Charaktere ungerader Primzahlen: es drückt aus, wie die Frage „Ist p ein Quadrat modulo q?“ und umgekehrt bis auf ein Vorzeichen zusammenhängen und liefert ein mächtiges Werkzeug zur Entscheidung quadratischer Residuosität und zur Entwicklung höherer Reziprozitätsgesetze.