Zum Inhalt springen

Elliptische Kurve/Y^2 ist X(X-n)(X+n)/Endlicher Körper/Anzahl/Beispiel

Aus Wikiversity

Es sei  .  Wir betrachten die Gleichung

über einem endlichen Körper mit    Elementen, wobei die Charakteristik kein Teiler von sei. Nach Beispiel definiert dies eine elliptische Kurve.

Es sei  .  Dann ist die Anzahl der -Punkte der Kurve gleich . Hier ist also der Ausdruck, für den es nach Fakt eine Schranke gibt, sogar gleich . Neben den vier Punkten der Ordnung (vergleiche Fakt) betrachten wir die Elemente  .  Aufgrund der Bedingung an die Charakteristik sind die herausgenommenen Punkte verschieden und ferner ist  .  Ferner ist  .  Nach Fakt bzw. Fakt ist kein Quadrat in . Daher ist für jedes Paar genau eines der beiden Elemente oder ein Quadrat in , was dann zu zwei Punkten auf der elliptischen Kurve führt. Dies ergibt Punkte und somit gibt es insgesamt Punkte.