Elliptische Kurven/Isogenien/Summe/Fakt/Beweis

Beweis

Dies folgt aus

$E_{1}{\stackrel {\varphi _{1}\times \varphi _{2}}{\longrightarrow }}E_{2}\times E_{2}{\stackrel {+}{\longrightarrow }}E_{2}.$

da die Hintereinanderschaltung von Morphismen wieder ein Morphismus ist und ${}{\mathfrak {O}}_{1}$ insgesamt auf ${}{\mathfrak {O}}_{2}$ abgebildet wird.

Zur bewiesenen Aussage