ｙ^2＝ｘ^3＋ａｘ＋ｂ　　　（４ａ^3＋２７ｂ^2≠０）

を楕円曲線と定義することにする．４ａ^3＋２７ｂ^2≠０は重根をもたないための条件である．ｙ^2＝ｘ^3やｙ^2＝ｘ^2（ｘ＋１）は重根をもつから楕円曲線ではないが，

　　ｙ^2＝ｘ^3−ｘ＝ｘ（ｘ＋１）（ｘ−１）

は重根にはならないから楕円曲線である．

　楕円曲線にはアーベル群の構造がはいる．そして，ｙ^2＝ｘ^3−ｘの有理点は点（０，０）（±１，０）のみである．実は，命題「ｘ^4＋ｙ^4＝ｚ^4をみたす自然数は存在しない」は命題「ｙ^2＝ｘ^3−ｘの有理数解は（ｘ，ｙ）＝（０，０），（±１，０）のみである」に帰着できる．ｘ^4＝ｚ^4−ｙ^4の両辺にｚ^2／ｙ^6をかければ

　　（ｘ^2ｚ／ｙ^3）^2＝（ｚ^2／ｙ^2）^3−（ｚ^2／ｙ^2）

したがって，ｘ^4＋ｙ^4＝ｚ^4をみたす自然数は存在しないのである．

　今回のコラムでは，ｍｏｄ　ｐの世界すなわち有限体

　　Ｆp＝｛０，１，，・・・，ｐ−２，ｐ−１｝

を考え，楕円曲線

　　ｙ^2＝ｘ^3−ｘ＝ｘ（ｘ＋１）（ｘ−１）

に限定して，

　　ｙ^2＝ｘ^3−ｘ　　（ｍｏｄ　ｐ）

を満たす整数点（ｘ，ｙ）を探し出すことにする．有限体の位数は有限であるが，素数ｐは無数にあるからＦpは無数にあることになる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】有限体上の因数分解

　　ｘ^2＋３ｘ＋２＝（ｘ＋１）（ｘ＋２）

は整数係数のおなじみの因数分解の問題であるが，足して３，掛けて２となる２数を見つければよい．１と２がこれを満たすわけであるから，答えは右辺のようになる．

　それでは，以下の例はどうであろうか？

　　ｘ^2＋４＝（ｘ＋１）（ｘ＋４）

　　ｘ^2＋２ｘ＋２＝（ｘ＋３）（ｘ＋４）

一見分解できなさそうに見える左辺が，右辺のように１次式の積として表されているのだから明らかな誤りと映るに違いない．ところがこれが正しいのである．

　そんな馬鹿なと思われるかもしれないが，実はこの因数分解のトリックは「有限体」にある．整数や有理数，実数や複素数の元は無限個あり，演算規則が定義されている．整数は環をなし，有理数，実数，複素数，４元数，ｐ進数は体をなす．このことから，体の定義を思い出してほしいのだが，０以外の元が常に乗法に関する逆元をもつ数体系を「体」という．そして，有限個の元と体の構造をもつ数体系が「有限体」である．

　なお，代数学の教えるところによれば，ｎ元の体（加減乗除の演算が定義された集合）が存在するための必要十分条件は，ｎが素数（のベキ乗）になっていることで，位数２，３，４＝２^2，５の体は存在するが，位数６＝２×３の体は存在しない．そして，位数７，８＝２^3，９＝３^2の体は存在して，位数１０＝２×５のものは存在しない．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】ｙ^2＝ｘ^3−ｘ on Ｆ2

　Ｆ2で（ｘ，ｙ）の組み合わせは（０，０），（０，１），（１，０），（１，１）の４通りである．また，演算表は

　　（＋）　　　　　　　　　　（×）　　　　　　

　　ｘ＼ｙ　　０　　１　　　　ｘ＼ｙ　　０　　１

　　　０　　　０　　１　　　　　０　　　０　　０

　　　１　　　１　　０　　　　　１　　　０　　１

となる．

　−がはいると面倒だから，ｙ^2＋ｘ＝ｘ^3で確かめることにすると

　　（０，０）→○

　　（０，１）→×

　　（１，０）→○

　　（１，１）→×

すなわち，Ｆ2において楕円曲線上の整数点は（０，０），（１，０）の２個である．

　ところで，Ｆ2ではｘ＋１はｘ−１に置き換えられるからｘ^3−ｘはｘ（ｘ−１）^2と因数分解される．重根をもつからｙ^2＝ｘ^3−ｘは楕円曲線ではない．

　重根がない場合はよい還元であるが，悪い還元（重根をもつ場合）であっても２重根の範囲にとどまるならばｐで乗法的還元をもつ，３重根になるならｐで加法的還元をもつという．そして，どの素数ｐで還元してもよい還元または乗法的還元しかもたないとき，その楕円曲線を半安定な楕円曲線と呼ぶ．すなわち，半安定な楕円曲線とはどの素数ｐで還元しても高々２重根どまりの楕円曲線のことである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】ｙ^2＝ｘ^3−ｘ on Ｆ3

　Ｆ3での演算表は

　　（＋）　　　　　　　　　　　　　（×）　　　　　　　　　

　　ｘ＼ｙ　　０　　１　　２　　　　ｘ＼ｙ　　０　　１　　２

　　　０　　　０　　１　　２　　　　　０　　　０　　０　　０

　　　１　　　１　　２　　０　　　　　１　　　０　　１　　２

　　　２　　　２　　０　　１　　　　　２　　　０　　２　　１

　９点について，ｙ^2＋ｘ＝ｘ^3で確かめることにすると

　（０，０）→○　　　（０，１）→×　　　（０，２）→×

　（１，０）→○　　　（１，１）→×　　　（１，２）→×

　（２，０）→○　　　（２，１）→×　　　（２，２）→×

　Ｆ3において楕円曲線上の整数点は（０，０），（１，０），（２，０）の３個である．また，Ｆ3でｙ^2＝ｘ^3−ｘは楕円曲線（よい還元）である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【４】ｙ^2＝ｘ^3−ｘ on Ｆp

　演算表は割愛するが，Ｆ5において楕円曲線上の整数点は（０，０），（１，０），（４，０），（２，１），（３，２），（３，３），（２，４）の７個である．また，Ｆ5でｙ^2＝ｘ^3−ｘは楕円曲線（よい還元）である．

　以下，Ｆpでの整数点の個数をＮpとすると

　　ｐ　　２　　３　　５　　７　　１１　　１３　　１７　　１９　　２３

　　Ｎp 　２　　３　　７　　７　　１１　　　７　　１５　　１９　　２３

となる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝