Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
BÖLÜM 9. KUADRATIK KAR¸SILIK KURALI 31<br />
Böylece p, 8k+1 veya 8k+7 formunda ise (2/p) = 1, 8k+3 veya 8k+5 formunda<br />
ise (2/p) = −1 olur.<br />
Örne˘gin<br />
(2/5) = −1, (2/7) = 1, (2/11) = −1, (2/13) = −1, (2/17) = 1.<br />
p asalı8k ± 1 formunda ( denk olarak p ≡ 1 (mod 8) veya p ≡ 7 (mod 8) )<br />
ise<br />
p2 − 1<br />
8 = (8k ± 1)2 − 1<br />
=<br />
8<br />
64k2 ± 16k<br />
= 8k<br />
8<br />
2 ± 2k<br />
de˘geri çifttir. Bu durumda, (−1) p2 −1<br />
8 = 1 = (2/p) olur. p asalı8k ± 3 formunda<br />
( denk olarak p ≡ 3 (mod 8).veya p ≡ 5 (mod 8) formunda ) ise<br />
p2 − 1<br />
8 = (8k ± 3)2 − 1<br />
=<br />
8<br />
64k2 ± 48k + 8<br />
= 8k<br />
8<br />
2 ± 6k + 1<br />
de˘geri ise tektir. Bu durumda ise (−1) p2 −1<br />
8 = −1 = (2/p) olur. Bu gözlemden<br />
yola çıkarak a¸sa˘gıdaki sonucu verelim.<br />
Sonuç 9.2.11. p tek asal sayıise<br />
(2/p) = (−1) p2 −1<br />
8 .<br />
p tek asal sayıolsun. p’nin ilkel köklerini veren genel bir yöntem olmadı˘gını<br />
daha önce belirtmi¸stik. Fakat a¸sa˘gıdaki teorem bazıözel durumlar için ilkel kökü<br />
verir.<br />
Teorem 9.2.12. p ve 2p+1 tek asal sayılar olsun. Bu takdirde (−1) p−1<br />
2 .2 sayısı<br />
2p + 1 asalının bir ilkel köküdür.<br />
Kanıt. Sadelik açısından q = 2p + 1 yazalım. Teoremi p ≡ 1 (mod 4) ve p ≡<br />
3 (mod 4) için ayrıayrıispatlayalım.<br />
p ≡ 1 (mod 4) olsun. Bu durumda q ≡ 3 (mod 8) olur. (−1) p−1<br />
2 2 = 2 sayısının<br />
(mod q)’ya göre mertebesinin φ (q) = q −1 = 2p oldu˘gunu gösterelim. φ (q) = 2p<br />
oldu˘gundan, 2 sayısının, (mod q)’ya göre mertebesi 1, 2, p veya 2p sayılarından<br />
biridir ( 1 olmadı˘gıa¸sikar ). Teorem 9.2.3 (c)’den<br />
2 p = (2/q) ≡ 2 q−1<br />
2 = (2/q) (mod q)<br />
elde edilir. Ayrıca Teorem 9.2.10’dan, q ≡ 3 (mod 8) oldu˘gundan (2/q) = −1 dir.<br />
Böylece 2p ≡ −1 (mod q) elde edilir. Bu 2 sayısının (mod q)’ye göre mertebesinin<br />
p olamayaca˘gınıgösterir. Ayrıca 2 sayısının (mod q)’ye göre mertebesinin 2’de<br />
olamaz. Öyle olsaydı, 22 ≡ 1 (mod q) yani q|3 çeli¸skisi elde edilirdi. Böylece 2<br />
sayısının (mod q)’ye göre mertebesinin 2p olur.<br />
p ≡ 3 (mod 4) olsun. Bu durumda q ≡ 7 (mod 8) olur. (−1) p−1<br />
2 2 = −2 sayısının