Elliptische Kurve/Differentialform/Rückzug auf Produkt/Fakt

Es sei ${}E$ eine elliptische Kurve über einem Körper ${}K$ mit kurzer Weierstraßgleichung

{}y^{2}=x^{3}+ax+b\,.

Dann wird unter der Additionsabbildung

$+\colon E\times E\longrightarrow E$

die Differentialform ${}{\frac {dx}{y}}$ auf ${}{\frac {dx_{1}}{y_{1}}}+{\frac {dx_{2}}{y_{2}}}$ abgebildet.