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.
2 3 2<br />
Q = {1,3,4,5,9} olduğundan y ≡ x − 3 x (mod 11)<br />
eğrisi için (, 10 ) ,<br />
11<br />
( 44 , ) , ( 47 , ) , ( 94 , ) ve ( , )<br />
97 noktalarının apsisleri, 11<br />
51<br />
Q ’de yer alır. ( 00 , ) , ( 10, 0 ) ,<br />
( 61, , ) ( 610, , ) ( 83 , ) ve ( 88 , ) noktalarının apsisleri ise yer almaz. Teoreme göre<br />
bakarsak, n 3 Q11<br />
= ∈ olduğundan, gerçekten de<br />
p − 1<br />
= 5 tane x ∈ Qp<br />
değeri ve<br />
2<br />
p + 1 2 3 2<br />
= 6 tane de x ∈ F p \ Qp<br />
değeri vardır. y ≡ x − 7 x (mod 11)<br />
eğrisi için ise<br />
2<br />
( 40 , ) , ( 31 , ) , ( 310 , ) , ( 51 , ) ve ( , )<br />
Q ’de yer alır. ( 00 , ) ,<br />
510 noktalarının apsisleri, 11<br />
(, 70 ) , ( 23, , ) ( 28 , ) , ( 10, 2 ) ve ( 10, 9 ) noktalarının apsisleri ise yer almaz. Teoreme<br />
göre bakarsak, n= 7 ∉ Q11<br />
olduğundan,<br />
tane de x ∈ F \ Q değeri vardır.<br />
p p<br />
3.4.5 Teorem p ≡ 3(mod4) asal olsun. Eğer<br />
p − 1<br />
= 5 tane x ∈ Qp<br />
değeri ve<br />
2<br />
*<br />
p<br />
p + 1<br />
= 6<br />
2<br />
n∈ K ve y ≡ 0 (mod p)<br />
ise<br />
2 3 2<br />
y ≡ x − n x (mod p)<br />
eğrisinde apsisleri K p ’de kalan 3 nokta vardır.<br />
3 2<br />
İspat y ≡ 0 (mod p)<br />
olsun. O zaman x ≡ nx(mod p)<br />
ve<br />
x( x− n)( x+ n) ≡ 0 (mod p)<br />
olur. Buradan x ≡ 0 (mod p)<br />
, x ≡ n (mod p)<br />
ve<br />
x ≡ p− n (mod p)<br />
elde edilir. Tüm çözümlerin K p ’de olduğu aşikardır. ■<br />
2 3 2<br />
3.4.6 Örnek p = 19 olsun. y ≡ x − 11 x (mod 19)<br />
eğrisini ele alalım.<br />
Burada (,) 00 , (, 10 ) ve ( 18, 0 ) noktalarının ordinatları 0’dır.<br />
{ 0,1,7,8,11,12,18}<br />
K 19 = olduğundan bu noktaların apsislerinin p<br />
görülür.<br />
K ’de olduğu<br />
2 3 2<br />
3.4.7 Teorem p ≡ 3(mod4) bir asal olsun. y ≡ x − n x (mod p)<br />
eğrisi<br />
üzerindeki rasyonel noktaların apsisleri toplamı<br />
3 2<br />
∑ (1 + χ p ( − )).<br />
x∈Fp<br />
x nx x