tc balıkesir üniversitesi fen bilimleri enstitüsü matematik anabilim ...
tc balıkesir üniversitesi fen bilimleri enstitüsü matematik anabilim ...
tc balıkesir üniversitesi fen bilimleri enstitüsü matematik anabilim ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
şeklinde ifade edilir. Aynı zamanda böyle y değerlerinin toplamı da p ’ye eşittir.<br />
görülür. ■<br />
İspat p ≡ 1(mod4) asal olmak üzere Teorem 2.1.11’den ispat kolayca<br />
2 3 2<br />
3.3.9 Örnek y ≡ x − 10 x (mod 13)<br />
Frey eliptik eğrisi üzerindeki sekiz<br />
nokta ( 00 , ) , ( 30 , ) , ( 10, 0 ) , ( 24 , ) , ( 29 , ) , ( 11, 6 ) , ( 11, 7 ) ve ο ’dur. Şimdi<br />
formülden şöyle hesaplayalım:<br />
Q = {1, 3, 4, 9,10,12} olduğundan<br />
13<br />
∑<br />
x∈F13<br />
ρ( x)<br />
= ρ(0) + ρ(1) + ρ(2) + ρ(3) + ρ(4) + ρ(5) + ρ(6) + ρ(7) + ρ(8)<br />
+ ρ(9) + ρ(10) + ρ(11) + ρ(12)<br />
= 1+ 0+ 2+ 1+ 0+ 0+ 0+ 0+ 0+ 0+ 1+ 2+ 0<br />
= 7<br />
∑<br />
x∈F13<br />
1 + ρ(<br />
x)<br />
= 8<br />
dır. O halde bu eğri üzerinde toplam 8 tane nokta bulunur.<br />
2 3 2<br />
3.3.10 Teorem p ≡ 1(mod4) bir asal olsun. y ≡ x − n x (mod p)<br />
eğrisindeki rasyonel sayıların sayısı # En( F p) = Np,<br />
n olsun. rs∈Z , , r tek ve s çift,<br />
2 2<br />
p = r + s olmak üzere<br />
a) r+ s≡ 1(mod 4)<br />
ise<br />
i) n∈ Qpise<br />
Npn , = p+ 1− 2r<br />
ii) n∈ Q'pise<br />
Npn , = p+ 1+ 2r<br />
48