Elliptische Kurve/Differentialform/Multiplikation/Fakt

Es sei ${}E$ eine elliptische Kurve über einem Körper ${}K$ und sei ${}\omega$ eine Differentialform auf ${}E$ .

Dann gilt für den Rückzug unter der Multiplikation mit ${}m$ die Gleichheit ${}[m]^{*}\omega =m\omega$ .