Zum Inhalt springen

Glatte projektive Kurve/Endlicher Körper/Reine Potenz/Bemerkung

Aus Wikiversity

Es sei eine ebene glatte projektive Kurve

durch eine Gleichung der Form

gegeben, wobei ein homogenes Polynom vom Grad sei. Es sei eine Potenz der Charakteristik . Wenn der Grad teilerfremd zu ist, so lässt sich die Anzahl der Punkte der Kurve, die über definiert sind, einfach bestimmen. Sei ein solcher Punkt. Bei können wir zu normieren. Für können wir jedes Element aus einsetzen. Aufgrund der vorausgesetzten Teilerfremdheit ist die Abbildung

bijektiv, da diese Abbildung auf der additiven Abbildung

entspricht (vergleiche Fakt). Somit gehört zu genau ein Punkt der Kurve. Bei ist und man kann zu normieren und erhält einen weiteren Punkt der Kurve. Unter dieser Bedingung ist also

Wenn aber nicht teilerfremd zu ist, wird die Bestimmung ungleich schwieriger, da man dann im Detail untersuchen muss, welche Zahlen wie viele -te Wurzeln in besitzen. Da im glatten Fall und teilerfremd sind, ist eine Einheit modulo und somit gibt es Exponenten mit . Das heißt, dass und für gewisse Exponenten nicht teilerfremd sind, und daher (außer bei ) der schwierige Fall definitiv eintritt.