Elliptische Kurve/Körper/Torsionsuntergruppen/Fakt

Es sei ${}E$ eine elliptische Kurve über einem Körper ${}K$ .

Dann gilt für die Torsionsuntergruppen zur Ordnung ${}n$ die Abschätzung

${}{\#\left(\operatorname {Tor} _{n}{\left(E(K)\right)}\right)}\leq n^{2}\,.$