Kuadratik Karşılıklılık: Gauss'un "Altın Teoremi"

"Bu sayı asal $p$ modülünde bir kare midir?"

Bir tam sayı $a$ ve asal $p$ verildiğinde, "$a \equiv x^2 \pmod p$ olacak şekilde $x$ var mı?" sorusu sorulabilir. Eğer evet: $a$, $p$ modülünde bir kuadratik artık.

Örnek: $p = 7$. Kareler mod 7: $0, 1, 4, 2, 2, 4, 1, 0$. Yani $\{1, 2, 4\}$ kuadratik artık, $\{3, 5, 6\}$ değil.

Legendre sembolü:

$\left(\frac{a}{p}\right) = \begin{cases} +1 & a \text{ kuadratik artık mod } p \\ -1 & değil \\ 0 & p \mid a \end{cases}$

Gauss'un altın teoremi

Kuadratik karşılıklılık yasası (Gauss 1796, 19 yaşında):

İki tek asal $p, q$ için:

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

Yani:

• Eğer $p$ veya $q$ formun $4k+1$'inde ise: $(p/q) = (q/p)$.
• İkisi de $4k+3$ formunda ise: $(p/q) = -(q/p)$.

İkisinin sembolleri arasında eşsiz bir ilişki var — değişken değişiminin kontrolü altında.

Niçin "altın"?

Gauss bu teoremin derinliğine vurgundu. 8 ispat yazdı (hayatı boyunca):

1. 1796 (orijinal, 19 yaşında).
2. 1801 (Disquisitiones Arithmeticae).
   3-8. Sonraki on yıllarda.

Hâlâ daha basit ispat aradı.

Sade örnek

$p = 11, q = 13$. Her ikisi de $4k+1$ formunda mı?

$11 = 4 \cdot 2 + 3$ → form $4k+3$.
$13 = 4 \cdot 3 + 1$ → form $4k+1$.

İkisinden biri $4k+1$ formunda → $(11/13) = (13/11)$.

Hesap: $13 \equiv 2 \pmod{11}$. $11$ modülünde 2 kare mi?

Kareler mod 11: $0, 1, 4, 9, 5, 3, 3, 5, 9, 4, 1$. Yani $\{1, 3, 4, 5, 9\}$ kuadratik artık.

$2 \notin \{1, 3, 4, 5, 9\}$ → $(13/11) = -1$ → $(11/13) = -1$.

Yani 11, 13 modülünde kare değil.

Tarihsel köken

• Euler (1755-1772): teoremin tahmini.
• Legendre (1788): kısmi ispat (eksikti).
• Gauss (1796, 19 yaşında): ilk tam ispat.
• Eisenstein, Kummer, Hilbert, Artin (19. yüzyıl): daha derin genelleştirmeler.

Genelleştirmeler

Kuadratik karşılıklılığın 2 için ek

Asal 2 için ayrı yasa.

Üçüncü-, dördüncü-derece karşılıklılık

Eisenstein, Kummer: daha yüksek dereceler için.

Artin karşılıklılığı

Emil Artin (1927): tüm bu yasaları tek bir soyut çerçevede birleştirdi. Sınıf alan teorisi.

Bu, modern cebrik sayı teorisinin en derin teoremlerinden.

Niçin önemli?

1. Hesap

Asal $p$ büyükse $(a/p)$ hesabı zordur. Karşılıklılık ile $(a/p)$ hesabını küçük asal hesaba indirgeyebiliriz.

2. Eliptik eğriler

BSD sanısı, modüler form teorisi — kuadratik karşılıklılık etrafında ışıldıyor.

3. Cebrik sayı teorisi

Modern cebrik sayı cisimlerinin temel sorusu: hangi asalların "iyi" davrandığı?

4. Kriptografi

Bazı şifreleme algoritmaları (Goldwasser-Micali) kuadratik artıkları kullanır.

Niçin "şaşırtıcı"?

Teoremin anlaşılır biçimi sade görünür. Ama derinliği:

• İki bağımsız asal arasında simetrik ilişki.
• Bu simetri hiçbir doğal anlam taşımıyor gibi — sadece var.
• Gauss bile açıklayamayacak kadar derin buldu.

Bu kibar, görünmez yapı modern sayı teorisinin en büyük gizemlerindendir.

Sonuç

Kuadratik karşılıklılık:

• Gauss'un "altın teoremi" — 8 farklı ispat.
• İki asal arasında simetrik kuadratik artık ilişkisi.
• Modern cebrik sayı teorisinin başlangıç noktası.
• Artin karşılıklılığına giden yolun ilk adımı.

Bir sade gözlem — ama modern matematiğin derinliğine ışık tutar. Gauss'un sayı teorisine olan tutkulu sevgisinin simgesidir.

Modern matematik öğrencisi cebrik sayı teorisi dersinde kuadratik karşılıklılık ile başlar — Galois teorisinin sayı teorisindeki görünümü.

"Sayılar birbirleriyle gizli simetrilerle konuşuyor." Gauss'un altın teoreminin paradigma cümlesi.