28.06.2013 Views

Sayılar Teorisi II Ders Notları

Sayılar Teorisi II Ders Notları

Sayılar Teorisi II Ders Notları

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

BÖLÜM 11. ÖZEL FORMDAKI SAYILAR 52<br />

Teorem 11.3.5. p tek asal sayı ise Mp sayısının her q asal böleni için q ≡<br />

±1 (mod 8) dir.<br />

Kanıt. q, Mp sayısının asal böleni oldu˘gundan 2 p ≡ 1 (mod q) dir. Teorem<br />

11.3.4’ten q = 2kp + 1 formundadır. Teorem 9.2.3 (c)’den (2/q) ≡ 2 q−1<br />

2 ≡ 2 kp ≡<br />

(2 p ) k ≡ 1 (mod q) ve Euler kriterinden (Teorem 9.1.3) (2/q) = 1 olur. Bu ise<br />

Teorem 9.2.10’dan q ≡ ±1 (mod 8) oldu˘gu anlamına gelir.<br />

Bu teoremlerin nasıl kullanıldı˘gınıgösteren bir örnek verelim. M17 sayısını<br />

ele alalım. 34k + 1 formunda olan ve 362 < √ M17 olan<br />

sayılarından asal olanlar<br />

35, 69, 103, 137, 171, 205, 239, 273, 307, 341<br />

103, 137, 239, 307<br />

sayılarıdır. 307 = ±1 (mod 8) oldu˘gundan 307 sayısıM17’nin bir böleni de˘gildir.<br />

Di˘ger sayılarda bu ¸sartısa˘glamadı˘gından M17 sayısıasaldır.<br />

Mp sayısının asallı˘gınıtest etmek için Lucas-Lehmer testi kullanılmaktadır.<br />

Bu teste<br />

S1 = 4, Sk+1 = S 2 k − 2, k ≥ 1<br />

dizisi kullanılır. p > 2 için Mp sayısının asal olması için gerek ve yeter ¸sart<br />

Sp−1 ≡ 0 (mod Mp) olması veya buna denk olarak Sp−2 ≡ ±2 p+1<br />

2 (mod Mp)<br />

olmasıdır.<br />

Örne˘gin M7 = 2 7 − 1 = 127 sayısınıele alalım.<br />

S1 ≡ 4, S2 ≡ 14, S3 ≡ 67, S4 ≡ 42, S5 ≡ −16, S6 ≡ 0 (mod 127)<br />

oldu˘gundan M7 asaldır.<br />

Lehmer 1930 yılında hesap makinası yardımıyla 700 saatte S256 =<br />

0 (mod 257) oldu˘gunu göstererek Mersenne’nin listesindeki en büyük sayı(78<br />

basamaklı) olan M257 sayısının asal olma˘gınıhiçbir çarpanıbilinmenden ispatlamı¸stır.<br />

1952 yılında aynı i¸slem bilgisayar yardımıyla sadece 68 saniye sürmü¸stür.<br />

1979 yılında ise M257 sayısının en küçük asal çarpanıolan<br />

535006138814359<br />

sayısıbulunmu¸stur.<br />

A¸sa˘gıdaki listede ilk 41 Mersenne asalı, basamak sayısıve bulunma yılları<br />

ile birlikte verilmi¸stir.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!