Hasse’s theorem: Difference between revisions
From Elliptic Curve Crypto
Nazi |
No edit summary |
||
| Line 7: | Line 7: | ||
that is to say, of all ''q''<sup>2</sup> points in GF(''q'')⨉GF(''q''), the number of them that satisfy any given elliptic curve equation always falls in this range. | that is to say, of all ''q''<sup>2</sup> points in GF(''q'')⨉GF(''q''), the number of them that satisfy any given elliptic curve equation always falls in this range. | ||
For “hyperelliptic” curves or other Abelian varieties of genus ''g''>1, Hasse’s theorem is still applicable when the permissible range is broadened by a factor of ''g'': | For “hyperelliptic” curves or other Abelian varieties of genus ''g'' > 1, Hasse’s theorem is still applicable when the permissible range is broadened by a factor of ''g'': | ||
:<math>q+1\pm2g\sqrt q</math>. | :<math>q+1\pm2g\sqrt q</math>. | ||
This result was proved by André Weil, and is known as the '''Hasse–Weil theorem''' <ref>André Weil “Numbers of solutions of equations in finite fields.” ''Bull. Amer. Math. Soc.'' 55 (1949), 497-508 https://www.ams.org/journals/bull/1949-55-05/S0002-9904-1949-09219-4/home.html [https://www.ams.org/journals/bull/1949-55-05/S0002-9904-1949-09219-4/S0002-9904-1949-09219-4.pdf PDF]</ref><ref>Mirjam Soeten. “Hasse's Theorem on Elliptic Curves with an extension to hyperelliptic curves of genus 2.” Master Thesis Mathematics, University of Groningen, June 24, 2013. https://fse.studenttheses.ub.rug.nl/10999/1/opzet.pdf</ref>. | This result was proved by André Weil, and is known as the '''Hasse–Weil theorem''' <ref>André Weil “Numbers of solutions of equations in finite fields.” ''Bull. Amer. Math. Soc.'' 55 (1949), 497-508 https://www.ams.org/journals/bull/1949-55-05/S0002-9904-1949-09219-4/home.html [https://www.ams.org/journals/bull/1949-55-05/S0002-9904-1949-09219-4/S0002-9904-1949-09219-4.pdf PDF]</ref><ref>Mirjam Soeten. “Hasse's Theorem on Elliptic Curves with an extension to hyperelliptic curves of genus 2.” Master Thesis Mathematics, University of Groningen, June 24, 2013. https://fse.studenttheses.ub.rug.nl/10999/1/opzet.pdf</ref>. | ||
Revision as of 22:59, 11 February 2025
Helmut Hasse’s theorem is in German [1]. Hasse joined the Nazi Party (NSDAP) the year after it was published, and served as a concentration camp guard during WWII [2].
The number of points on an elliptic curve over a finite field GF(q) is within the range
- ,
that is to say, of all q2 points in GF(q)⨉GF(q), the number of them that satisfy any given elliptic curve equation always falls in this range.
For “hyperelliptic” curves or other Abelian varieties of genus g > 1, Hasse’s theorem is still applicable when the permissible range is broadened by a factor of g:
- .
This result was proved by André Weil, and is known as the Hasse–Weil theorem [3][4].
- ↑ Helmut Hasse. „Zur Theorie der abstrakten elliptischen Funktionenkörper I, II, III.“ Journal für die reine und angewandte Mathematik, Band 175, 1936. https://www.digizeitschriften.de/id/243919689_0175 https://gdz.sub.uni-goettingen.de/id/PPN243919689_0175
- ↑ „Hasse, Helmut“, in: Hessische Biografie https://www.lagis-hessen.de/pnd/118708961 (Stand: 14.2.2024)
- ↑ André Weil “Numbers of solutions of equations in finite fields.” Bull. Amer. Math. Soc. 55 (1949), 497-508 https://www.ams.org/journals/bull/1949-55-05/S0002-9904-1949-09219-4/home.html PDF
- ↑ Mirjam Soeten. “Hasse's Theorem on Elliptic Curves with an extension to hyperelliptic curves of genus 2.” Master Thesis Mathematics, University of Groningen, June 24, 2013. https://fse.studenttheses.ub.rug.nl/10999/1/opzet.pdf
