Elliptische Kurve/Dedekindbereich/Rationale Punkte/Gruppenhomomorphismus/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Dedekindbereich und sei durch ein homogenes Polynom der Form mit gegeben, das über eine elliptische Kurve definiert.

Dann liegt für jedes maximale Ideal , für das eine elliptische Kurve über definiert, ein Gruppenhomomorphismus

vor (wobei jeweils der Punkt als neutrales Element genommen wird).