Legendre Sembolü ve Euler Kriteri
Bir önceki bölümde bir sayının kuadratik rezidü (KR) veya kuadratik non-rezidü (KNR) olma durumunu denklemler üzerinden tanımlamıştık. Ancak sayılar büyüdükçe her defasında "Acaba modülo
Bu durumu matematiksel olarak çok daha kompakt ve işlevsel bir forma sokan gösterim Legendre Sembolü'dür.
1. Legendre Sembolü Tanımı
Tanım: Legendre Sembolü
Örnek: Legendre Sembolü Değerleri
1. Kuadratik Rezidü Örneği:
2. Kuadratik Non-Rezidü Örneği:
Tanımı oldukça basit görünse de, Legendre sembolünün asıl gücü sahip olduğu çarpımsal özelliklerden ve Euler Kriterinden gelir.
2. Euler Kriteri ve Sembolün Özellikleri
Aşağıdaki teorem, Legendre sembolü ile modüler üs alma işlemi arasında kusursuz bir köprü kurar. Kriptografide büyük asal sayılarla çalışırken, bir sayının KR olup olmadığını tespit etmek için çözülebilirlik testleri yapmak yerine yalnızca Euler Kriteri kullanılır.
Teorem: Euler Kriteri ve Legendre Sembolünün Özellikleri
- Euler Kriteri:
- Çarpımsallık Kuralı:
- Periyodiklik (Modüler Denklik): Eğer
- Özel Değerler:
İspat
1) Euler Kriterinin İspatı: Bu ispatı, daha önce işlediğimiz "
KR Durumu:
modülo 'ye göre bir KR olsun. Bu durumda kongrüansın çözümü vardır. Önceki teoremimiz gereği çözüm olması için olmalıdır. Legendre tanımı gereği 'dir. Dolayısıyla: KNR Durumu:
modülo 'ye göre bir KNR olsun. Çözüm yoktur ve önceki teorem gereği 'dir. Öte yandan Fermat'nın Küçük Teoreminden dolayı 'dir. İki kare farkı ile açarsak: asal olduğu için bu çarpanlardan birini tam bölmek zorundadır. olduğunu bildiğimizden birinci çarpanı bölemez. O halde mecburen ikinci çarpanı böler: Legendre tanımı gereği KNR için
'dir. Sonuç olarak yine eşitlik sağlanır:
2) Çarpımsallık Kuralının İspatı: Euler kriterini (1. kuralı)
Yine Euler kriterinden
Sembollerin alabileceği değerler yalnızca
3) Periyodikliğin İspatı: Kabul edelim ki
Euler kriteri gereği bu kuvvetler Legendre sembollerine denktir:
İkinci ispatta vurguladığımız mantıkla, sadece
4) Özel Değerlerin İspatı:
için Euler Kriterini uygularsak: - Çarpımsallık özelliğini kullanarak (Teorem 2):
için Euler Kriterini uygularsak, Sayılar Teorisinde ve Soyut Cebirde çok sık karşılaşacağımız o meşhur özdeşliği elde ederiz: Değerler aralığında olduğu için eşitlik kesindir:
3. İnteraktif Legendre Hesaplayıcısı
Legendre sembolünün tanımını ve özelliklerini öğrendikten sonra, farklı