理想数

数論の理想数とは、エルンスト・クンマーが円分体の整数の理想的な素因子分解に現れる数として想像した、架空の数の概念である。この概念はリヒャルト・デーデキントによる環のイデアルの定義へと発展した。

1. 定義
-----

理想数そのものは直接定義されず、円分整数に「理想因子が含まれるかどうか」だけが定義されるMazur。この定義を述べる。

を奇素数、α}} を 1 の 乗根とする。現代の慣例とは記号の使い方が異なるが、Kummer はこのように記号を使っている。以下もクンマーの記号の使い方にあわせる。

を λ}} とは異なる素数とする クンマーは math。 を となる最小の正整数とする。 は を割り切るので と置くとこれは正整数である。整数 γ}} を λ}} を法としての原始根とする。つまり γ}} が定める sup での剰余類がこの巡回群の生成元となるようなものとする。

と置く。これはガウス周期と呼ばれている。0番目は 1=//η// = //η//sub と略記する。クンマーはガウス周期の整数による一次結合全体 が環になることを示した。これにより と は等しいので、この環は後者の記号で表すことにする。当時「環」という概念は無かったので、クンマーはこれを「周期の有理整関数は周期の一次結合として表示できる」と言い表している。

の元は と表すことにする。一般には と は異なる。したがって後者の環のすべての元を整数係数の多項式 φ}} を使って と表すことはできない。そのため という書き方は誤解を招きやすいのであるが、クンマーにならって の整数係数の一次結合をこのような記号で表すことにする。

を根に持つ整数係数のモニック多項式が存在し、それは で e}} 個の根を持つ クンマーの1851年の論文にはギャップがあったと指摘されている。harvtxt。 整数 を するとその根になるものとする。 を一つ取ると、環準同型 であって η}} の像が の剰余類になるものが唯一存在する。クンマーの時代に「環準同型」という概念は無かったので クンマーは の を に置き換えて合同式を考える、というような表現をしている。簡潔に述べるため、ここでは「環準同型」の言葉を用いる。

を一変数の整数係数多項式として を考える。これは今日でいうところの円分整数であるが、クンマーは「複素数」と呼んでいる。またアルファベットの はもう使ってしまっているので記号は重複しているのであるが、多項式の方の f}} は必ず として使うことにして区別する。

以上の準備のもと、クンマーは が

を満たすとき「1=//f//    }} は 置換 1=//η// = //usub に属する q}} の理想素因子を含む」と定義したKummer。この合同式の定義は次の通りである。まず// を の元//φsubを使って// として表す。そしてすべての j}} に対して が成り立つこと、つまり を先ほどの環準同型で送ると 0 になることを先の合同式の定義とする。

クンマーはこの合同式で理想因子が含まれるかどうか判定することを化学で例えて「試薬によって生じる沈殿物で溶液に含まれる元素を決定するようなもの」と言っているMazur。

1.1. イデアル論を使った解釈
----------------

記号は今までと同じとする。クンマーが定義した環準同型 の核を とする。これは剰余環が整域なので素イデアルである。これを延長したイデアル も の素イデアルである。円分整数 がこの素イデアルに含まれることと「置換 1=//η// = //usub に属する q}} の理想素因子を含む」ことは同値である。このことは次のように状況を整理すれば判明する。//

代数体 Q}} は円分体であり、有理数体 Q}} の //λ// − 1}} 次の巡回拡大である。Q}} は Q}} の部分体で、Q}} 上の拡大次数は e}} である。これは η}} の共役が //η//sub 達でこれらが互いに相異なることから分かる。
Q}} の整数環は Z[//α//]}} である。また、Q}} の整数環は Z[//η//, //η//sub である。さらに強く、//η//, //η//sub は整基底であるLemmermeyer。
素数 q}} は λ}} と異なる素数なので、拡大 QQ}} において 1=///f// = //e//}} 個の素イデアルに分解する。
また、q}} の分解体は Q}} である。これは分解体の Q}} 上の拡大次数が Q}} と同じく e}} であることと QQ}} においても q}} は e}} 個の素イデアルに分解する。
𝖖}} は剰余体の標数が q}} なので、この e}} 個の素イデアルのうちの一つである。
Q}} が q}} の分解体なので、𝖖}} は拡大 Q/Q}} で分解せず、剰余体の拡大のみ起きる。したがって 𝖖Z[//α//]}} は Z[//α//]}} の素イデアルである。
有限体 Z[//α//]/𝖖Z[//α//]}} は有限体 Z[//η//, //η//sub の f}} 次拡大である。また //α//sup の剰余類がその基底である。
したがって、1=//f//    = SubSup が mod 𝖖Z[//α//]}} で 0 になることと、すべての //φsub が mod 𝖖}} で 0 になることは同値である。また、//φsub の mod 𝖖}} での剰余類は //φsub の mod //q//}} での剰余類と自然に同一視できる。//
以上から、円分整数 1=//f//    }} が素イデアル 𝖖Z[//α//]}} に含まれることと「置換 1=//η// = //usub に属する q}} の理想素因子を含む」ことは同値である。//象徴的に言えば、「理想素因子を含む」の定義はイデアル論での「素イデアルを含む」の定義と完全に一致している、ということになる。

2. 歴史
-----

クンマーは円分体では一意分解が必ずしも成立しないことを1844年にマイナーな雑誌でまず公表した。これは1847年にリウヴィルの数学誌で再版された。これに続き、1846年と1847年の論文で彼は彼の主定理、つまり因子への一意分解定理を公表した。

クンマーはフェルマーの最終定理への興味に導かれて「理想複素数」の概念に至ったと広く信じられている。また、ディリクレによって彼の議論が一意分解に依存していることを指摘されるまで、クンマーはフェルマーの最終定理を証明できたと勘違いしていた、という物語もよく目にする。しかし、この物語は1910年にクルト・ヘンゼルによってはじめて語られたものであるが、ヘンゼルの情報源の一つには混乱があった。ハロルド・エドワーズによれば、クンマーの主な興味がフェルマーの最終定理にあったとする信仰は「はっきりと誤り」である。λ で素数を表し α で 1 の λ 乗根を表すクンマーの記号の使い方や、 を満たす素数の「1 の 乗根から構成される複素数」への分解の研究はすべて相互法則を扱ったヤコビの論文を踏襲している。クンマーの1844年の論文はケーニヒスベルク大学の創立記念に寄せたものでヤコビに捧げることを意図したものであった。クンマーはフェルマーの最終定理を1830年代に研究していたので、おそらく彼の理論がフェルマーの最終定理に対して何か意味することのあることを気づいていたが、ヤコビが興味を持っていたテーマ、つまり高次相互法則のほうが彼にとってより重要であった、とするほうがよりありそうなことと考えられる。クンマーは自身の正則素数に対するフェルマーの最終定理の証明を「整数論において重要なものというより珍品」だと言っており、高次相互法則を「主要なテーマであり現代整数論の頂点」と言っている。ただし、後者の発言はクンマーが相互法則に関する研究に成功して興奮冷めやらぬころになされたもので、それはフェルマーの最終定理の研究が息切れしていたときだったので、割り引いて聞いたほうがいいかもしれない。

クンマーのアイデアを一般の場合に拡張することはクロネッカーとデデキントによってその後の40年で独立に達成された。直接的な一般化は非常な困難に遭遇したので、ついにはこれがデデキントを加群とイデアルの理論の創造に導くことになった。クロネッカーは"form"の理論と因子の理論を切り拓くことによって困難に立ち向かった。デデキントの貢献は環論と抽象代数学の基礎になり、クロネッカーの手法は代数幾何学の重要なツールになった。

3. 脚注
-----

3.1. 注釈
-------

3.2. 出典
-------

4. 関連項目
-------

イデアル
フェルマーの最終定理

5. 参考文献
-------

ニコラ・ブルバキ, //Elements of the History of Mathematics.// Springer-Verlag, NY, 1999.
ハロルド・エドワーズ, //Fermat's Last Theorem. A genetic introduction to number theory.// Graduate Texts in Mathematics vol. 50, Springer-Verlag, NY, 1977.
C.G. Jacobi, //Über die complexen Primzahlen, welche in der theori der Reste der 5ten, 8ten, und 12ten Potenzen zu betrachten sind,// Monatsber. der. Akad. Wiss. Berlin  89-91.
E.E. Kummer, //De numeris complexis, qui radicibus unitatis et numeris integris realibus constant,// Gratulationschrift der Univ. Breslau zur Jubelfeier der Univ. Königsberg, 1844; reprinted in //Jour. de Math.// 12  185-212.
E.E. Kummer, //Über die Zerlegung der aus Wurzeln der Einheit gebildeten complexen Zahlen in ihre Primfactoren,// Jour. für Math.  35  327-367.
ジョン・スティルウェル, introduction to //Theory of Algebraic Integers// by Richard Dedekind. Cambridge Mathematical Library, Cambridge University Press, Great Britain, 1996.

6. 外部リンク
--------

[1], 理想数の理論が円分整数の一意分解を救うことの証明が書かれた [2] の記事