ｙ^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の体は存在して，位数１０＝２×５のものは存在しない．

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