Elliptische Kurve/Differentialform/Multiplikation/Fakt

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

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