27.06.2013 Views

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 ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

c) q -Frobenius endomorfizminin izi t, E \ F q eliptik eğrisi üzerindeki<br />

rasyonel noktaların sayısını veren<br />

formülünden bulunur [6].<br />

# E( F ) = q+ 1−t<br />

q<br />

2.5.3 Tanım Fq karakteristiği p olan sonlu cisim ve E \ F q , Fq üzerindeki<br />

nokta sayısı # E( ) = q+ 1−t<br />

ile verilen bir eliptik eğri olsun. Eğer p| t ise bu eğri<br />

F q<br />

“süpersingüler” olarak adlandırılır. Eğer eğri süpersingüler değilse “sıradan<br />

(ordinary)” olarak adlandırılır. Başka bir ifadeyle Ep [ ] ≅ p ise sıradan, Ep [ ]≅ο<br />

ise süpersingüler olarak adlandırılır. Singülerlik ile süpersingülerlik birbirinden<br />

apayrı kavramlardır [10]<br />

Aşağıdaki sonuç sonlu cisim üzerindeki bir eliptik eğrinin singüler olup<br />

olmadığını ifade etmenin basit bir yolunu verir.<br />

2.5.4 Önerme E \ F q eliptik eğri, q , p asalının bir kuvveti ve<br />

t = q+ 1 −# E ( Fq ) olsun. Bu durumda E ’nin süpersingüler olması için gerek ve<br />

yeter şart t ≡ 0(mod p)<br />

olmasıdır. Bunun gerçekleşmesi için de gerek ve yeter şart<br />

# E( F ) ≡ 1(mod p)<br />

olmasıdır [10].<br />

q<br />

2.5.5 Sonuç Varsayalım ki p ≥ 5 asal olsun. Bu durumda E ’nin<br />

süpersingüler olması için gerek ve yeter şart t = 0 olmasıdır. Bu durum için de gerek<br />

ve yeter şart # E( F ) = p+<br />

1 olmasıdır [10].<br />

p<br />

35

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

Saved successfully!

Ooh no, something went wrong!