Elliptische Kurve/Dedekindbereich/Rationale Punkte/Gruppenhomomorphismus/Fakt

Aus Wikiversity

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