楕円曲線

数学における楕円曲線（だえんきょくせん、）とは種数 の非特異な射影代数曲線、さらに一般的には、特定の基点 を持つ種数 の代数曲線を言う。
楕円曲線上の点に対し、先述の点 を単位元とする（必ず可換な）群をなすように、和を代数的に定義することができる。すなわち楕円曲線はアーベル多様体である。
楕円曲線は、代数幾何学的には、射影平面 の中の三次の平面代数曲線として見ることもできる。より正確には、射影平面上、楕円曲線はヴァイエルシュトラス方程式あるいはヴァイエルシュトラスの標準形
により定義された非特異な平面代数曲線に双有理同値である（有理変換によってそのような曲線に変換される）。そしてこの形にあらわされているとき、 は実は射影平面の「無限遠点」である。
また、の標数が でも でもないとき、楕円曲線は、アフィン平面上次の形の式により定義された非特異な平面代数曲線に双有理同値である。
非特異であるとは、グラフが尖点を持ったり、自分自身と交叉したりはしないということである。この形の方程式もヴァイエルシュトラス方程式あるいはヴァイエルシュトラスの標準形という。係数体の標数が や のとき、上の式は全ての非特異を表せるほど一般ではない（詳細な定義は以下を参照）。
が重根を持たない三次多項式として、 とすると、種数 の非特異平面曲線を得るので、これは楕円曲線である。が次数 でとすると、これも種数 の平面曲線となるが、しかし、単位元を自然に選び出すことができない。さらに一般的には、単位元として働く有理点を少なくとも一つ持つような種数 の代数曲線を楕円曲線と呼ぶ。例えば、三次元射影空間へ埋め込まれた二つの二次曲面の交叉は楕円曲線である。
楕円関数論を使い、複素数上で定義された楕円曲線はトーラスのへの埋め込みに対応することを示すことができる。トーラスもアーベル群で、実はこの対応は群同型かつ位相的に同相にもなっている。したがって、位相的には複素楕円曲線はトーラスである。
楕円曲線は、数論で特に重要で、現在研究されている主要な分野の一つである。例えば、アンドリュー・ワイルズにより（リチャード・テイラーの支援を得て）証明されたフェルマーの最終定理で重要な役割を持っている（モジュラー性定理とフェルマーの最終定理への応用を参照）。また、楕円曲線は、楕円暗号(ECC) や素因数分解への応用が見つかっている。
楕円曲線は、楕円ではないことに注意すべきである。「楕円」ということばの由来については楕円積分、楕円関数を参照。
このように、楕円曲線は次のように見なすことができる。
実数体上の楕円曲線.
楕円曲線の形式的な定義には、かなり技術的で代数幾何学の背景を必要としているが、高校レベルの代数と幾何を使って、楕円曲線の様子をいくらか記述することが可能である。
すなわち、実平面上、楕円曲線は次の方程式により定義される平面曲線としてあらわされる。
ここに と は実数である。
楕円曲線の定義は、曲線が非特異であることも要求される。幾何学的には、このことは曲線のグラフが尖点を持たず、自己交叉せず、孤立点ももたないことを意味する。代数的には、非特異とは判別式
と関係している。曲線が非特異であることと、判別式が でないこととは同値である。（係数 は、非特異であることと無関係に見えるが、楕円曲線の高度な研究ではこのようにしたほうが便利である。）
非特異楕円曲線の（実数の）グラフは、判別式が正であれば、二つの曲線の成分を持ち、負であれば、一つの曲線の成分しか持たない。例えば、右の図で示されているグラフでは、図中の左は判別式が であり、図中の右は 判別式が である。
群構造.
射影平面で考えると、すべての滑らかな三次曲線上の群構造を定義することができる。射影平面上、楕円曲線がヴァイエルシュトラスの標準形
によりあらわされるとき、そのような三次曲線は である無限遠点 を持ち、群の単位元となる。
曲線は -軸で対称であるので、任意の点 が与えられると、 はその反対側の点として取ることができる。 は とする。
 と が曲線上の二点であれば、一意に第三の点 を次の方法で定義することができる。まず、 と を通る直線を引く。この直線は一般に第三の点 で曲線と交わる。 を の反対の点である とする。
この加法の定義は、ほとんどの場合はうまく働くが、いくつかの例外がある。一つ目の例外は、加算する点の片方が であるときである。このとき、 と定義し、 は群の単位元となる。第二の例外は、 と が互いに反対側の点である場合である。この場合は、 と定義する。最後の例外は、 の場合であり、このとき一点しかないため、これを通る直線を一意に定義できない。そこで、この点での曲線の接線を使う。ほとんどの場合、接線は第二の点 で曲線と交叉するため、反対の点をとることができる。しかしながら、 がたまたま変曲点（そこで曲線の凹み方が変わるような点）であるようなときは、接線は でしか曲線と交叉しない。そこで、 を 自身として、 を単純に点の反対の点とする。
ヴァイエルシュトラス標準形ではない三次曲線に対しては、九つある変曲点のうちの一つを単位元 とすることで群構造を定義することができる。射影平面内では、多重度を考慮にいれると、三次曲線と任意の直線は三つの点で交叉する。点 に対し、 は と を通る第三の点として一意に定義される。そして、任意の と に対する は、 を と を含む直線上の第三の点としたとき、 として定義される。
 をその上で曲線が定義される体とし（つまり、曲線を定義する式の係数 の中にある）、曲線を で表すと、 上の点であり、かつx座標とy座標の値が共に 上にある点（無限遠点を含む）を、 の -有理点とよぶ。-有理点の集合は、 で表す。これも群を形成する。なぜならば、多項式の性質から、 が の点であれば も の点であり、 と の 2点が の点であれば、第三の点も の点になるからである。加えて、 が の部分体であれば、 は の部分群である。
上記の群は、幾何学的に記述されると同様に代数的にも記述できる。体 （体の標数は でも でもないとする）上の曲線 が与えられるとし、曲線上の点を と として、まず、 とする（下図の一つ目のグラフ）。 を と を含む直線の傾き、つまり、
とする。 は体であるので、 はうまく定義できる。すると、 を
により定義することができる。
 の場合は（下の三つ目と四つ目のグラフ）、二つの選択肢がある。 のとき（ を含む）、和は と定義される。つまり、曲線上の各点の逆元は、-軸に対して線対称の位置にある。 のときは（下の二つ目のグラフ）、 は、
により与えられる。
結合律.
結合律を除く全ての群法則は、直ちに群作用の幾何学的定義から導くことができる。このアニメーションは幾何学的な結合法則を示している。
六本のどの直線についても、直線上の三点の和が であることに注意。九個の点全ての位置は、 と の位置と楕円曲線によって決定される。九点のうちの中心の点は、 と を通る直線上と、 と を通る直線上にある。加法の結合律は、格子の中心点を楕円曲線が通るという事実と同値である。この事実より、 が導かれる。
楕円曲線と点 はこのアニメーションの中では不動であることに対し、一方、 は互いに独立して動く。
複素数体上の楕円曲線.
楕円曲線のの中のトーラスの埋め込みとしての定式化は、ヴァイエルシュトラスの楕円関数の不思議な性質から自然に導かれる。これらの関数と関数の一階微分は、公式
により関係付けられている。
ここに、 と は定数であり、 はを周期とするヴァイエルシュトラスの楕円関数で、 はその微分である。（複素数上の）楕円関数の形の中でこの公式は明らかであろう。ヴァイエルシュトラスの楕円関数は二重周期関数である。つまり、の観点から周期的であり、本質的には、ヴァイエルシュトラス関数は、自然に、トーラス の上で定義される。このトーラスは、写像
により、複素射影平面の中に埋め込まれる。
この写像は群同型であり、トーラスの自然な群構造を射影平面へ写す。この写像は、リーマン面にも同型であり、従って、位相的には、楕円曲線が与えられるとトーラスのように見える。格子 が、非零な複素数 による掛け算により、格子 へ写されると、対応する曲線は同型となる。楕円曲線の同型類はj-不変量により特定される。
同型類は同じ方法で理解することができる。定数 と は、j-不変量と呼ばれ、トーラスの構造である格子により一意に決定される。しかしながら、複素数の全体は、実係数多項式の分解体を成し、楕円曲線は
と書くことができる。
以上のことから、
であり、
であることが分かり、このモジュラー判別式は
である。
ここに はと呼ばれることもある。
注意すべきは、一意化定理は、種数 の全てのコンパクトなリーマン面は、トーラスとして実現することができることを意味していることである。
このことは、楕円曲線上の捩れ点を容易に理解することができる。格子 が基本周期 ではられると、-ねじれ点は、 から までの整数 と に対し、次の形の（同型類の）点である。
複素数上に、どの楕円曲線も九個の変曲点を持っている。これらの点のうちの二つを通るどの直線も、三つ目の変曲点を通る。九つの点と12の直線はこのようにしてを成す。
代数体上の楕円曲線.
有理数体 上、あるいは一般に代数体 上定義された曲線 についても接線と割線の方法 (the tangent and secant method) による加法は適用できる。群構造を定義したときにも述べたように、明示公式から、2つの -有理点 の和は、 と を結ぶ直線は 上に係数を持つゆえ、再び 上に座標を持つ。このようにして、 の -有理点全体のなす集合は の複素数点（ が実代数体の場合は実数点）全体のなす群の部分群を成す。この意味において、楕円曲線はアーベル群、すなわち となっている。
高さ.
代数体 上の楕円曲線上の点に対し、高さが定まる。一般に、次数 の代数体 上の射影空間 formula_16 上の点 formula_17 の絶対的高さ (absolute height)を
により定める（ を含む の取り方は一意ではないが、 の取り方によらずに定まる）。ここで formula_19 は 上の正規化された絶対値をあらわす。また
を対数的高さ (logarithmic height) と呼ぶ。
 を代数体 上の楕円曲線 上定義された有理関数とする。formula_21 （ただし が特異点のときは、formula_22 とする）を に対する高さと呼ぶ。 が非特異点ならば、これは代数的数 formula_23 の対数的高さと一致する。特に の-座標が有理数 （ と は互いに素）で が の -座標を与える関数であるとき、formula_24 となる。
任意の定数 に対し、高さ formula_25 となる点 formula_26 は有限個である。
 が偶関数であるとき、つまり formula_27 が任意の点 formula_26 について成り立つとき、つぎの3つの不等式が成り立つ。
任意の formula_29 に対し
が成り立つ。ここで右辺の formula_31 は と のみに依存し、 や には依存しない。
formula_32 を決めれば、定数 formula_33 が定まり、
が任意の formula_35 に対して成り立つ。さらに整数 を定めれば、任意の formula_35 に対して
が成り立つ。ここで右辺の formula_31 は formula_39 のみに依存し、 には依存しない。つまり はおよそ の二乗に比例して増加する。
 が
の形であらわされているときは の -座標を与える関数 は偶関数である。
さらに、偶関数 に対し
で与えられる極限は に依存せず定まる。この極限を標準的高さ (Canonical height) もしくは ネロン・テイトの高さ（ という。標準的高さについて、
が成り立ち、さらに
はformula_45 上双線型的である。また任意の に対し、
が成り立つ。ここで右辺の formula_31 は のみに依存し、 には依存しない。
有理点の構造.
最も重要な結果は、全ての点が、有限個の点から出発する接線と割線の方法(the method of tangents and secants)により生成できるということである。より詳しくは、 モーデル・ヴェイユの定理が、群 が有限生成アーベル群であることを示している。一般に、有理数体以外の代数体 に対しても群 は有限生成アーベル群である。 従って、有限生成アーベル群の基本定理により、これは のコピーと有限巡回群の有限の直和である。
定理の証明は、2つの部分からなっていて、一つ目は、任意の整数 に対し、商群 は有限であること（弱いモーデル・ヴェイユの定理）、二つ目は、有理点 の上の高さ関数 が上記のように定義されているとき、任意の定数より小さな高さを持つ点は 上に有限個しか存在せず、また はおよそ の二乗に比例して増加するという性質である。
定理の証明は無限降下法の変形の一種で、 へのユークリッドの互除法の繰り返しの適用となっている。 を曲線の有理点とし、 を と書くことにする。ここに は の の固定された代表元である。すると の高さは、 の高さのおよそ となる（より一般的には、任意の である を の替わりとすると、 の替りに となる）。同じように を と書き、 を と書き、と繰り返していくと、最終的には は、点 と、高さが事前に選択したある定数より小さいような点の、整数係数の線型結合となる。弱い形のモーデル・ヴェイユの定理と高さ関数の第二の性質により、 はある決められた有限個の点の整数係数の線型結合として表される。
これまでに、 の代表元を決定する一般的なプロセスが知られていないので、この定理は有効である（計算可能である）とは言えない。
 の中の のコピーの数、同じことであるが無限位数の独立な点の個数を、 の階数あるいはと呼ぶ。また、 の中の有限巡回群の有限個の直和となっている部分はの有限位数の点全体からなる部分群に対応する。そこでこの部分をねじれ部分群といい、の有限位数の点をねじれ点ともいう。したがって のランクを とおくと、 上の点 formula_48 をうまくとれば 上の任意の点 は
とあらわすことができる。ここではねじれ点である。このとき、標準的高さは
と二次形式であらわされ、かつこれは正定値である。
具体的には小さなランクの楕円曲線しか知られていないにもかかわらず、任意に大きなランクの楕円曲線が存在するとも予想されている。有理数体 Q 上で考えた場合、正確なランクが判明している楕円曲線のうち、最大のランクを持つ楕円曲線は、2009年ににより発見された
であり、そのランクは である。正確なランクが判明していなくてもよければ、最低でも のランクを持つ楕円曲線が、同じくエルキースによって発見されている。
ランクの決定に関しては、楕円曲線上のゼータ関数によって記述できるというバーチ・スウィンナートン＝ダイアー予想が存在する。
 のねじれ部分群を構成する群について次のことが知られている。 のねじれ部分群は次の15個の群: に対する 　あるいは、 に対する のうちの一つである（を参照）。また を整数係数の三次式とすると、楕円曲線 上の点 が に属するならば、 は整数点であり、 は でない限り、 の判別式を割り切る（を参照）。
全ての場合の例が知られている。さらに、 上で定義されモーデル・ヴェイユ群が同じねじれ群を持つ楕円曲線は、パラメトライズされた族となる。
一般の代数体上の楕円曲線のねじれ部分群について、次のようなことが知られている。(Loic Merel)による定理は、与えられた整数 に対し、同型を除いて、 の数体 上に定義された代数曲線の のねじれ群として作ることが可能な群は、有限個しかない。さらに詳しくは、次数 の数体 上の任意の楕円曲線 に対し、任意の の捩れ点は のみに依存して定まる定数 formula_51 よりも小さな位数を持つ。この定理は、d > 1 に対して、捩れ点が素数である位数 の場合は、
となることを言っている。
BSD予想.
BSD予想は、クレイ研究所のミレニアム懸賞問題の一つである。予想は、問題を楕円曲線により定義される解析的で数論的な対象に依拠して記述している。
解析側での重要な側面は、複素変数関数である 上の のハッセ・ヴェイユのゼータ関数 formula_53 である。この関数はリーマンゼータ関数やディリクレのL-関数の変形である。有理数体上の楕円曲線の場合、 は全ての素数 について一つの要素を持つオイラー積として定義される。
整数係数 で、
の最小多項式与えられる 上の曲線 に対する法 での還元は、有限体 上の楕円曲線を定義する（有限個の例外を除く素数 で還元された曲線は特異点を持ち、従って楕円曲線にならない。そのような場合を では は(bad reduction)であるという。）
有限体 上の楕円曲線のゼータ関数は、ある意味で、有限な体の拡大 の中の の点の数の情報を集める母関数 である。この母関数は、
で与えられる。
冪の右肩に乗っている指数の和は、対数の展開に似ていて、実際、そのように定義されるゼータ関数は有理関数
である。
よって、 上の のハッセ・ヴェイユのゼータ関数は、全ての素数 についてのこれらの情報を互いに集めることにより定義される。すなわち、
と定義される。ここに、 が で良い還元を持つ場合は、 であり、そうでない場合は である(良い還元を持たない場合は、 が上記とは異なる定義となる）。
この積は でのみ絶対収束する。ハッセの予想はこの -関数は全複素平面へ解析接続され、任意の に対して、 を へ関連付ける関数等式を満たすのではないかと言う予想であった。1999年、この予想は、谷山志村予想の証明の結果であることがしめされた。谷山志村予想は、 上の全ての楕円曲線はモジュラーであるいう予想であり、このことは、楕円曲線の L-関数は解析接続が知られているモジュラー形式のL-関数であることを意味する。
このことにより、任意の複素数 での の値についていうことができる。BSD予想は での曲線の -関数の振る舞いへ曲線の数論を関連付ける。さらに詳しくは、 での -関数の位数は、 のランクに等しく、楕円曲線に関連するいくつかの量を表すこの点での ローラン級数の主要項であることを予想している。
リーマン予想と良く似ていて、この予想は次の 2つを含む多くの結果を持っている。
モジュラー性定理とフェルマーの最終定理への応用.
モジュラー性定理は、以前は谷山志村予想としても知られていたが、Q の上の全ての楕円曲線 はモジュラーであるということであり、言い換えると、楕円曲線のハッセ・ヴェイユのゼータ関数はウェイト 2 でレベル 1 のモジュラー形式のL-関数であるということを言っている。ここに N はアーベル多様体 のである。（導手とは、 の判別式 Δ(E) として同じ素数により割ることのできる整数を言う。）言い換えると、Re("s") > 3/2 に対し、L-関数を
の形に書くと、
はウェイト 2 でレベル N の双曲モジュラー形式の(newform)を定義する。N を割らない素数 ℓ に対して、モジュラー形式の係数 a(ℓ) は ℓ に等しい、つまり法 ℓ での最小多項式の解の個数に等しい。
 判別式（と導手）が 37 である楕円関数 formula_64 の例は、モジュラー形式
に関係付けられている。
ℓ を 37 とは異なる素数とすると、係数の性質を比較することができる。従って、ℓ = 3 とすると法 3 の方程式の解は (0, 0), (0, 1), (2, 0), (1, 0), (1, 1), (2, 1) であり、a(3) = 3 − 6 = −3 である。
この予想は1950年代に主張され、1999年にアンドリュー・ワイルズのアイデアを用いて完全に証明された。彼は1994年に大きな楕円曲線の族についてこの予想を証明した。
予想には様々な定式がある。これらが同値であることを示すことは難しく、20世紀の後半の数論の主要なテーマであった。導手 N の楕円曲線 のモジュラーリティは、モジュラー曲線 X(N) から への、Q 上に定義された非定数の有理写像が存在することも表すことができる。特に、 の点はモジュラー関数によりパラメトライズされる。
例えば、曲線 formula_66 のモジュラーパラメータ化は により与えられた。
ここでは、上記のように q = exp(2πiz) とする。関数 x(z) と y(z) はウェイト 0 でレベル 37 のモジュラー関数で、言い換えると、それらは上半平面 Im("z") > 0 で定義された有理型で、関数等式
を満たす。また同じことが、ad − bc = 1 かつ 37|c となる全ての整数 a, b, c, d と y(z) について成り立つ。
別な定式化は、一方では楕円曲線に、他方ではモジュラー形式に関連するガロア表現の比較に依拠している。モジュラー形式に関係付けられた定式化は予想の証明に使用された。形式のレベルを扱うこと（と曲線の導手との関係）は特に微妙である。
予想の最も重要な応用はフェルマーの最終定理(FLT)の証明である。素数 p > 5 に対して、フェルマー方程式
は、零ではない整数解を持つとする、つまり、フェルマーの最終定理の反例であるとすると、判別式
の楕円曲線
は、モジュラーではありえない。従って、楕円曲線のこの族（ヘレゴーチ・フライ曲線(Hellegouarch–Frey curves)と呼ぶ）の谷山志村予想の証明は、フェルマーの最終定理を意味する。2つのステートメントを結び付ける証明は、ゲルハルト・フライの1985年のアイデアを基礎にしていて、難しくテクニカルである。1987年にケン・リベットにより出版された。
整数点.
楕円曲線上には整数点は有限個しか存在しない。すなわちが整数であるような の点 の集合は有限集合である。一般に種数が 以上の代数曲線には整数点は有限個しか存在しない。これはがディオファントス近似に関する定理から特別の場合について証明し、ジーゲル(C. L. Siegel)が一般の場合について証明した。この定理は、 の座標の分母が有限個の素数によってのみ割ることのできる点へと一般化される。しかし、これらの定理は計算可能性を備えていない。ベイカーは超越数論の方法をつかい、種数1の代数曲線には有限個の整数点しか存在せず、それらは計算可能であることを示した。
定理は分かりやすく定式化できて、例えば、 によると、 のワイエルシュトラスの方程式が定数 H により有界付けられた整数係数を持つ方程式であれば、 も も整数である の点の座標 ("x", "y") は、
と定めると、 φは から への群同型を定める。そこで、 の生成元を formula_73 とおくと -有理点 formula_74 （は有限位数の点）に対し
が成り立つ。この写像φを楕円対数と呼ぶ。
通常の対数関数の一次形式の下からの評価に関するベイカーの定理に対応し、楕円対数の下からの評価が知られている。次の不等式が成り立つような、 と代数体 およびランク にのみ依存する計算可能な定数 formula_76 がとれる。
formula_77 とおくと、格子上の任意の点 formula_78 に対して
一方 が整数点であるとき、この絶対値は に対して指数関数的に減少する。というのは、 が整数点であるとき formula_80 となる一方、標準的高さは formula_81 の正定値二次形式としてあらわされることから、対数的高さも正定値二次形式で近似されるので、
となるからである（formula_83 も と代数体 およびランク にのみ依存する計算可能な定数である。）。このことから、整数点の大きさに対する上からの評価が得られる。
この方法は が知られているときには整数点の大きさに対する計算可能な上界を与えるが、前にも述べたように 自体を特定するアルゴリズムが知られていないため、この方法は一般の楕円曲線に対しては理論上は必ずしも有効ではない。
一般の体上の楕円曲線.
楕円曲線は任意の体 上で定義することができる。楕円曲線の公式な定義は、 上で定義された点を持ち、種数 の 上の非特異射影代数多様体ことを言う。
 の標数が でも でもなければ、全ての 上の楕円曲線は、
の形に書くことができる。ここに と は の元で、多項式の右辺 "x" − px − q は二重点を持たない。標数が や であれば、さらに項を注意深く扱わねばならなく、標数 の場合は、最も一般的な方程式は、多項式の右辺が異なる根（記法は歴史的な理由を持っている）を持つような任意の定数 に対し、
の形をしている。
標数 の場合は、以上のようなことな不可能で、最も一般的な方程式である
が、非特異な多様体を与える。標数が問題にならない場合は、各々の方程式は、適切な変数変換により前の方程式となる。
一つの典型例を挙げると、全ての曲線の点 が上の方程式を満たし、そのような点 と が の代数的閉包に属するとする。 に属する座標を持つ点は、-有理点と呼ばれる。
一般の体 上の楕円曲線は、射影平面 の非特異三次曲線
と書くことができる。この式は、三次曲線の変曲点が にあり、その接線が であるとした時に得られる形で、ワイエルシュトラスの標準形と呼ばれる。この斉次式を非斉次形に直すと
となる。
同種.
 と を体 上の楕円曲線とする。 と の間の同種 (isogeny) は、基点を保つアーベル多様体の間の有限射 である（言い換えると、写像は 上の与えられた点から 上の点へ写像する）。
二つの楕円曲線が同種とは、それらの間に同種写像があるときを言う。この関係は同値関係であり、の存在により対称的である。全ての同種は、代数的準同型であり、このようにして k に値を持つ楕円曲線の群の準同型が導出される。
有限体上の楕円曲線.
 を 個の元を持つ有限体として、 を 上に定義された楕円曲線とする。 上のを正確に数えることは、一般には難しいが、楕円曲線のハッセの定理は、無限遠点を含めると、この数を、
と評価できることを教えている。
言い換えると、曲線の点の数は、大まかには、体の元の数の増加具合と同じ増加具合を示している。この事実は一般的な理論の助けを借りて理解し証明することができる。局所ゼータ関数やエタールコホモロジーを参照。
点の集合 は有限アーベル群である。常に、巡回的か、もしくは二つの巡回群の積となる。例えば、 では、
で 上に定義される楕円曲線は72個の点をもち（ を含む 71 個のアフィン点と無限遠点をひとつ持っている）、その群構造は、 で与えられる。具体的な曲線の点の数は、により計算することができる。
 の拡大体上の曲線の研究は、 上の "E" の局所ゼータ関数を導入することにより促進された。局所ゼータ関数は、上記のように一般化された級数
により定義される。ここに体 は体 の 次拡大、つまり である。ゼータ関数は の有理関数である。ある整数 が存在し、
となる。
さらに、絶対値が である複素数 α, β とすると、
が成り立つ。この結果はヴェイユ予想
の特別な場合である。例えば、 では、体 上の のゼータ関数である は、
により与えられる。このことは、次の式に従う。
佐藤・テイト予想は、 上の楕円曲線 を法 で還元した場合に、ハッセの定理の中の誤差項 が素数 によってどのように変わるのかについての言明である。佐藤・テイト予想は（ほとんどすべてのそのような曲線に対し）、により証明され、誤差項が等分分布していることを言っている。
有限体の上の楕円曲線は、特に暗号理論や大きな整数の素因数分解に応用されている。これらのアルゴリズムには、 上の点の群構造がしばしば利用されている。一般の群（例えば有限体の可逆元からなる群，）に適用できるアルゴリズムは、楕円曲線上の点の群へも応用することができる。例えば、離散対数はそのようなアルゴリズムである。興味深いのは、楕円曲線を選ぶ方が、体の位数 （と単位元）を選ぶよりも、高い柔軟性がある点である。また、楕円曲線の群構造は、一般にはより複雑である。
楕円曲線を使ったアルゴリズム.
有限体上の楕円曲線は、整数の素因数分解への応用と同じように、暗号理論への応用にも使われる。典型的には、暗号理論への応用の一般論は、ある有限群を使った知られているアルゴリズムを、楕円曲線の有理点の群を使うように書き換えて使う。さらに以下を参照。
参考文献.
Serge Langは、下に挙げた参考文献の導入部で、"It is possible to write endlessly on elliptic curves. (This is not a threat.)" と言っている。したがって以下の参考文献のリストは、膨大な公開されている楕円曲線の理論的、アルゴリズム的、暗号理論的な側面のせいぜいガイドでしかない。