Kategorie:Theorie der Gruppenstruktur auf elliptischen Kurven/Definitionen