2016年が始まりました。日曜数学者の tsujimotter は、今年も楽しく数学をしていきたいと思っています。どうぞよろしくおつきあいください。
というわけで、新年一発目の数学の話を。
今日の目標は、以下の命題の一般的な証明方法についての解説です。
命題:
以上の素数 に対して,
を満たす整数解 で, であるものは存在しない.
これは、フェルマーの最終定理のファーストケースと呼ばれる命題です。 の場合を、セカンドケースといいますが、これはやや煩雑なかなり難しいので今日はやめておきましょう。
また、今後たくさん「フェルマーの最終定理」という言葉が出てくるので、これを と略すことにします。Fermat's Last Theorem の略で です。また、素数 に対しての を と呼ぶことにしましょう。
「え? の証明って、めっちゃ難しいんじゃないの?」と思った方は、この手の話をよくご存知の方ですね。一般の についての は、1995年にアンドリュー・ワイルズによって、楕円曲線や保形形式などの高度に洗練された理論を用いて解決されたわけです。
一方「 は正則素数」という条件に限定して考えれば、話は変わります。この場合の は、代数的な方法を使って(楕円曲線や保形形式を使わないで)証明することができるのです。
そのことを示したのが、タイトルに挙げたエルンスト・クンマーという数学者です。彼が条件として設定した「正則素数」は、イデアル類群を使って以下のように定義されます。
定義(正則素数):
素数 について,円分体 のイデアル類群 の位数 を が割り切らないとき,その を正則素数という.
私が初めてこの話を聞いたときには「 にイデアル類群の位数がどう関係するのか」まったく想像がつきませんでした。「クンマーがイデアルを使って解決した」というエピソードは、よく通俗書に載っているので、話として聞いた方は多いかと思うのです。一方でその原理、すなわち、イデアル類群の位数との関係を理解している人はどれだけいるでしょうか。
9月ごろに せきゅーんさん という方とお会いして、その際にクンマーのアイデアについて教えていただきました。そのアイデアに大変感動しまして、すぐにでも記事にしようと思っていたのですが、なかなか手が回らずしばらく放置していたのでした。
そのせきゅーんさんが、最近、ご自身のブログで正則素数について語っています。
integers.hatenablog.com
このビッグウェーブに乗るしかないと思い、大晦日の夜に筆をとったのでした。宿題を解決するときがきたようです。結果的には、公開は正月になってしまいました。
ちょっと長い記事になりますが、アイデアは非常に面白いので、ぜひお付き合いください。
FLTに対するアプローチ
への最初のアプローチは,フェルマー自身によるものです。 についての証明でした。フェルマーが用いたのは、彼のお家芸ともいえる「無限降下法」と呼ばれる方法です。
奇素数について最初に成果を挙げたのはオイラーで、 について解決しました。クンマーの方法も、オイラーの証明法の延長線上にあるので、まずは について解説しましょう。
とします。ここで、
を満たす整数解 で であるものは存在しないことを示します。
上式の左辺を の範囲で因数分解しましょう。ここで、 は の原始三乗根です。
この式の右辺は における3つの元 の積の形になっています。
式 に代入すると、こうなります。
の3元が互いに素であると仮定すると、 における素因数分解の一意性から、 はいずれも3乗数であることがわかります。
したがって、 の元、 を用いて以下の式が得られます。
ただし、 は 上の単数です。
あとは、こんな式を満たすような整数 が存在しないことを示せば、 が解決します。
オイラーの方法の延長線上で、一般の に対して 上で因数分解することにより、一般の について が証明できるように考えるかもしれません。
すなわち、
に対して、
のように分解すれば、左辺のそれぞれの元が 乗数であることがわかります。これを使って と同様の手順で証明するのです。
ラメという数学者が、上記の方法を思いついて「フェルマーの最終定理の完全解決」を宣言したこともありました。ほぼ同時期にコーシーという数学者も、同様の宣言をして、先取権をラメと争ったというエピソードは有名です。
しかしながら、上記の方法では不十分であることが後から分かりました。そのことを最初に示唆したのはリウヴィルですが、とどめを刺したのはクンマーです。
彼らは「 における素因数分解の一意性は、 によっては成り立たない場合がある」ということを指摘したのです。前述のオイラーの証明は、素因数分解の一意性を前提としていましたから、これが成り立たないと話になりません。
においては、たまたま素因数分解の一意性が成り立ちます。初めてその一意性が崩れるのは、 のときです。実際、 においては、 という元は、以下のように2通りの方法で素因数分解されてしまいます。
この例は tsujimotter が考えたものですが、見つけるのにはなかなか骨が折れました。
さぁ、困りました。素因数分解の一意性が使えないと、オイラーの方法の応用では解決できません。どうしたらよいのでしょう。
ここで颯爽と表れたのが、本日の主役エルンスト・クンマーです。クンマーは、失敗の原因は、数をそのまま考えているからだということに気づきました。数をもっと根源的な「イデアルのレベルまで分解する」ことで「素因数分解の一意性が復活する」と主張したのです。*1
クンマーはこのような考えをもとに、一般の に対する に挑みました。クンマーのアイデアを説明するための準備として、まずはイデアルとイデアル類群について話しておかねばなりません。
準備1:イデアル
クンマーが使ったのは、イデアルとイデアル類群という道具です。これらについては、過去に解説したこともありましたが(これとかこれとか)、この問題に合わせて改めて解説したいと思います。
また、代数的整数論に慣れている人にとっては、退屈な話が続くかもしれません。そんな方は「クンマーのアイデア」まで飛んでいただければと思います。
まず、イデアルとは、簡単に言ってしまうと倍数の集合です。 の整数環 を考えたときに、 のイデアルは以下のように定義されます。
これを、 で生成される のイデアルと呼ぶことにします。 は任意の正整数です。 の場合に、特別に単項イデアルと呼びます。
この単項イデアルが重要です。単項イデアル は、まさに の倍数ですね。
さてこのイデアルには、積が定義できます。
たとえば単項イデアル同士に対しては、単純な積と同じような計算となります。
2つの元によって生成されるイデアルに対してもこのように積を計算します。
もう1つ例を挙げておきましょう。
一般のケースは推して知るべしですね。
このままでは、積を計算するたびにどんどんイデアルの生成元が増えていってしまって、困りますね。
実は、ユークリッドの互除法が使えるときは、必ずしもこんなに生成元は必要ないことがわかります。ユークリッドの互除法によると、 の最大公約数が存在して と表されるとき、任意の に対して、以下の式をみたす が存在します。
よって、このような によって生成されるイデアルは、以下のように変形できることがわかります。
最大公約数が存在する場合には、生成元が一つになり、単項イデアルになりましたね。
整数環によっては、すべてのイデアルが単項イデアルになってしまうものが存在します。このような環を単項イデアル環といいます。 の整数環 が単項イデアル環であれば、 において素因数分解の一意性が成り立つことが知られています。これは重要な事実なので、覚えておいてください。
単項イデアルの重要性について、もう少しだけ触れておきましょう。
の2つの元でそれぞれ生成される2つの単項イデアルが、
のような等式を満たすとき、以下が成り立ちます。
は単数です。すなわち、単項イデアルの間の等号は、その生成元の等号と(単数を除けば)一致します。このことは、単項イデアルはその生成元と同等に扱えるということです。
単項イデアルをどうにかして作ってあげれば、数の計算に持ち込める、という方針が今後重要になります。
また、最初に述べたように「すべてのイデアルは素イデアルの積に一意に分解できる」という重要な事実があります。
すなわち、任意のイデアル に対して、素イデアル が存在し、
というように一意に表現できるのです。
の例で考えると、 という単項イデアルは以下のように分解できます。
ただし、
です。
さらに、 は、イデアル を用いて「もっと深く」分解できます。
したがって、結局、
となります。これが一意な素因数分解というわけですね。
残念ながら、 は扱いやすい単項イデアルにはなりませんが、この際仕方ありません。別の方法を使ってなんとか処理しましょう。
準備2:イデアル類群
次に、イデアル類群について述べたいと思います。
その前に、分数イデアルについて話しておきます。 の分数イデアルとは、 を除く のイデアル と、 を除く の元 を用いて、以下のように定義されます。
単項分数イデアルも定義できます。 の単項分数イデアルは、 を除く の元 を用いて、以下のように定義されます。
前の節で定義したイデアルは「整数的な存在」だったわけですが、これを整イデアルと呼びます。分数イデアルは、整イデアルに という の元をかけています。 は「有理数的な元」と見れば、「整イデアルの分数バージョン」と想像つくと思います。整数と分数の違いは「割り算」です。すなわち、積の逆元が定義できるわけです。
整イデアル を用いて と表せるような、分数イデアル に対して、積を以下のように定義します。
こうすると、 の逆元 を考えることができます。整イデアル にかけると単項イデアルになるような整イデアル を考えて、これらの積が となるとする。これを使って、逆元を以下のように定義します。
このように定義すると、
となって、確かに逆元になっていることがわかります。
さて、こうしてできた分数イデアル全体の集合を としましょう。この集合は、上で定義した積に対し、結合則・交換則を満たします。また、単位元が存在し、任意の元に対して逆元を持ちます。したがって、 はアーベル群を成します。
さらに、単項イデアル全体の集合を とすると、これもアーベル群を成します。また、 は定義より の部分群ですね。アーベル群の任意の部分群は正規部分群なので、 は の正規部分群です。
正規部分群があれば、商群を作りたくなります。それを次のように表しましょう。
これこそが、イデアル類群です。
イデアル類群の位数は、有限であることがわかります。これが、類数 と呼ばれる数で、この類数が鍵なのでした。
はぁー長かった。
定義するだけで、こんなに説明が必要なんて。
さて、このイデアル類群のイメージをつかむことが、肝心なわけです。
たとえば、 においては、類数が でイデアル類群 は3次の巡回群になります。この場合 は、単項分数イデアルでない分数イデアル を使って、以下のように表せます。
図に表すとこんな感じです。
単項分数イデアルの集合 に属するイデアルは、 をかけると に属する分数イデアルになります。また、 に属する分数イデアルは をかけると、 に属する分数イデアルになります。さらに をかけると、単項分数イデアルに戻ってきます。 に属する分数イデアルは、単項分数イデアルではありませんが、それぞれ をかけてあげれば、単項分数イデアルに戻ります。
すなわち、イデアル類群は、それぞれの分数イデアルが単項分数イデアルからどれぐらい離れているのかを、具体的に表している群であるといえるわけです。
さて、ようやく準備が整いました。イデアルとイデアル類群という武器を持って、クンマーのアイデアに迫っていきましょう。
クンマーのアイデア
ようやくクンマーの方法の登場です。
まずは、ラメがやったように
という式を、
のように分解しましょう。
そして、左辺の積のそれぞれの元と右辺の を、単項イデアルとして考えましょう。すると、以下の等式が成り立ちますね。
さぁ、ここで という単項イデアルの素因数分解を考えましょう。イデアルは一意に分解できるのでしたね。
が互いに素であると仮定すると、素イデアル分解の一意性より、これらはイデアルの 乗の形で表せることがわかります。
したがって、 のイデアル を用いて、以下のように表せます。
全部扱うと面倒なので、代表して について考えましょう。 です。
ここで、 もし が単項イデアルだったなら(そんな都合のいいことがあれば)、 とおいて( は の整元)
と表せます。したがって、両辺単項イデアルなので、単数 を用いて
と表すことができます。やったね、これでオイラーの方法と同じ結論が得られました。
では、 が単項イデアルであるなんていう、そんな都合のいいことがあるんでしょうか。 が正則素数のときに限っては、そんな都合のいいことがあるんです。
ここからが、一番面白いところなので落ち着いてよく聞いてください。
まず、イデアル類群 の任意の元は、イデアル類群の位数 乗すると単位元に戻ります。これは群論におけるフェルマーの小定理です。つまり、 における の属する類を とすると、以下が成り立ちます。
の単位元は、単項イデアルの属する類 ですね。
一方 式より、 は単項イデアルです。したがって、
となるでしょう。
さぁここで、 が正則素数 なら、すなわち が を割り切らないのであれば、 と は互いに素 です。互いに素な2整数に対しては、ユークリッドの互除法より、
となるような整数 が存在します。よって、
が成り立ちます。
を 式に代入することにより、
が得られます。すなわち、 が単項イデアルであることがわかりました!!!
「 が を割り切らない」という正則素数の条件は、「 と が互いに素」すなわち、ユークリッドの互除法を使うための条件だったのですね!これは面白い!
「割り切らない」という一見ネガティブな条件が、こんなにもきれいに使えてしまうのですね。逆に「 が を割り切る」という条件では、同じような論法は使えないことは明らかです。このような素数 は、非正則素数と呼ばれています。非正則素数に対しては、クンマーのアプローチは使えないわけですね。
正則素数ってどんな数?
クンマーのアプローチはわかったわけですが、具体的にこの方法が使えるケース、すなわち、正則素数はいったいどんな数なのでしょうか。
それは、円分体 の類数 を調べればわかります。 以下の素数について、すべて列挙してみましょう。
の素因数分解 | 正則 or 非正則 | ||
---|---|---|---|
正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 | |||
非正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 | |||
非正則素数 | |||
正則素数 | |||
非正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 | |||
正則素数 |
類数の値は、英語版 Wikipedia の "Cyclotomic field" の記事を参考にしました。(日本語版の記事には載っていません!)
以上より、 以下の非正則素数は の3つだけ ですね。これ以外の素数 に対しては、クンマーの方法によってすべて解決することができます。
正則素数の割合は、全体の素数の 61 パーセントだと予想されているそうです*2。したがって、該当の素数 においては、クンマーの方法を使って が解決できることになりますね。
また、 以下の素数に対しては、 すなわち が単項イデアル環になるようです。したがって、この表からラメの方法が使えるのは までだということもわかります。
ところで、円分体の類数をわざわざ調べずとも、非正則素数を調べる方法があるそうです。クンマー自身が発見したベルヌーイ数を使う方法です。
これについてはせきゅーんさんの記事を見てもらったら早いでしょう。
integers.hatenablog.com
この方法を使うと「 が非正則素数であること」がすぐにわかります。
代数的に考えるとイデアル類群の位数から「正則素数(regular prime)」がわかり、一方でベルヌーイ数を使うと「非正則素数(irregular prime)」がわかる。いったい、どちらが本当の意味で "irregular" なんでしょうか。
まとめ
今日は、 に関するクンマーのアプローチについて解説しました。
「イデアル類群の位数 を が割り切らない」 という一見どう使っていいかわからない条件を、互いに素とユークリッドの互除法を使って、「扱いやすい単項イデアルを作る」ことに見事に利用できている、という点が非常に面白く、アツいポイントだったのではないかと思います。
長々と準備が必要で、なかなか理解が大変な内容だったかと思いますが、ここまで読んでくれた方は本当にありがとうございます。
最後に宣伝ですが、今回の主役であった正則・非正則素数がリストアップされた素数Tシャツを以下のURLから買うことができます。今回の話で正則素数に愛着が湧いた方は、ぜひお買い求めください。
tmix.jp
私も買いました。笑
それでは、今日はこの辺で。本年もどうぞよろしくお願いします。
参考文献
京都大学の雪江先生の本です。せきゅーんさんから「クンマーのアイデア」で書いた内容の概略を教えてもらった後に、本屋で関連する書籍を探しているときに見つけました。第8章「代数的整数論」の定理 8.11.15 の証明部分が直接関連する箇所です。
- 作者:雪江明彦
- 発売日: 2013/08/02
- メディア: 単行本
私の記事読まなくても「この本を見ればいいじゃん」と思う方もいるかもしれません。とはいえ、たぶん私が9月以前にこの本を手にとっていたとしても、この内容を理解できなかっただろうし、そもそもここに解決の鍵があるなんて気づかなかったと思うのです。そういう意味で、アイデアのイメージといいますか、エッセンスを指南してくれる人の存在は貴重だなと思うのです。この記事が、当時の私と同じような立場の人に対する、理解の助けになればいいなと思います。
あと、別の素数Tシャツのリンクです。
tmix.jp