Imaginär-quadratischer Zahlbereich/Ideal/Elliptische Kurve/Endomorphismenring/Fakt

Es sei ${}A$ ein imaginär-quadratischer Zahlbereich, ${}{\mathfrak {a}}\subseteq A$ ein von ${}0$ verschiedenes Ideal und

${}E={\mathbb {C} }/{\mathfrak {a}}\,$

der zugehörige komplexe Torus.

Dann ist ${}A$ der Endomorphismenring von ${}E$.

Zum Beweis, Alternativen Beweis erstellen