代数的整数論

代数的整数論（だいすうてきせいすうろん、テンプレート:Lang-en-short）は数論の一分野であり、抽象代数学の手法を用いて、整数や有理数、およびそれらの一般化を研究する。数論的な問題は、代数体やその整数環、有限体、関数体のような代数的対象の性質のことばで記述される。これらの性質は、例えば環において一意分解が成り立つかとか、イデアルの性質、体のガロワ群などであるが、ディオファントス方程式の解の存在のような、数論において極めて重要な問題を解決することができる。

代数的整数論の歴史

ディオファントス

代数的整数論の始まりはディオファントス方程式までさかのぼることができる^[1]。これは3世紀のアレクサンドリアの数学者ディオファントスに因んで名づけられたもので、彼はそれを研究し、ある種のディオファントス方程式を求める手法を発達させた。典型的なディオファントス問題は、2つの整数テンプレート:Mvar とテンプレート:Mvar であって、それらの和とそれらの平方の和が与えられた2つの数テンプレート:Mvar とテンプレート:Mvar にそれぞれ等しくなるようなものを見つけることである：

テンプレート:Math

ディオファントス方程式は数千年の間研究されてきた。例えば、二次のディオファントス方程式テンプレート:Math の解はテンプレート:仮リンクによって与えられ、初めはバビロニア人ら (c. 1800 BC) によって解かれた^[2]。テンプレート:Math のような線型ディオファントス方程式の解は、ユークリッドの互除法 (c. 5th century BC) を用いて見つけることができる^[3]。

ディオファントスの主な仕事は Arithmetica であったが、一部分しか残っていない。

フェルマー

フェルマーの最終定理は最初ピエール・ド・フェルマーによって1637年に予想された。Arithmetica のコピーの余白に、余白が狭すぎて書ききれない証明を持っていると彼が主張したことは有名である。358年間の数学者の不断の努力にもかかわらず、1995年まで完全な証明が出版されなかった。未解決だった問題は19世紀の代数的整数論の発展と20世紀のモジュラー性定理の証明を刺激した。

ガウス

代数的整数論を創始した仕事の1つ、Disquisitiones Arithmeticae（ラテン語で「算術研究」）は、カール・フリードリヒ・ガウスによって1798年にラテン語で書かれた整数論の教科書である^[4]．当時ガウスは21歳であり、初出版は24歳の1801年であった。この本においてガウスは、フェルマー、オイラー、ラグランジュ、ルジャンドルなどの数学者によって得られた整数論の結果をまとめ、彼自身による重要な新しい結果を加えた。Disquisitiones が出版される前は、整数論は孤立した定理と予想の集まりからなっていた。ガウスは先駆者の研究と自身の独自の研究を系統的な枠組みに収め、ギャップを埋め、あやふやな証明を正し、おびただしい方法で主題を拡張した。

Disquisitiones は、エルンスト・クンマー、ペーター・グスタフ・ルジューヌ・ディリクレ、リヒャルト・デデキントを含む、19世紀のヨーロッパの他の数学者たちの研究の開始点だった。ガウスによって与えられた注釈の多くは実質、彼自身のさらなる研究の告知であったが、出版されないままだったものもある。それらは当時の人々にとってとりわけ謎めいて見えたに違いない。今では我々はそれらを特に [[L関数|テンプレート:Mvar 関数]]と虚数乗法の理論の萌芽を含んでいると読み取ることができる。

ディリクレ

1838年と1839年の2つの論文において、ペーター・グスタフ・ルジューヌ・ディリクレは二次形式に対する最初の類数公式を証明した（後に彼の学生クロネッカーによって精密化された）。この公式は、ヤコビが「人間の洞察力の最大限に触れる (touching the utmost of human acumen)」結果と呼んだが、より一般の数体に対する類似の結果への道を拓いた^[5]．彼は二次体の単数群の構造の研究に基づいてディリクレの単数定理という代数的整数論における基本的な結果を証明した^[6]。

彼は初めて基本的な数え上げの議論である鳩の巣原理を用いて、後に彼の名に因んでディリクレの近似定理と呼ばれることになるディオファントス近似の定理を証明した。彼はテンプレート:Math とテンプレート:Math の場合を証明したフェルマーの最終定理とテンプレート:仮リンクへの重要な貢献を出版した^[5]。テンプレート:仮リンクは、彼が最初の結果を見つけたが、他の研究者たちによる後の貢献にもかかわらず、いまだに数論における未解決問題である。

デデキント

リヒャルト・デデキントのルジューヌ・ディリクレの研究の研究は、代数体とイデアルの彼の後の研究に彼を導いたものであった。1863年に彼は数論に関するルジューヌ・ディリクレの講義をテンプレート:仮リンク（『整数論講義』）として出版した。この本について次のように書かれている。

"Although the book is assuredly based on Dirichlet's lectures, and although Dedekind himself referred to the book throughout his life as Dirichlet's, the book itself was entirely written by Dedekind, for the most part after Dirichlet's death." (Edwards 1983)

Vorlesungen の1879年と1894年の版は環論で基本的なイデアルの概念を導入する補遺を含んだ（環 (Ring) という単語は後にヒルベルトによって導入され、デデキントの仕事には現れない）。デデキントはイデアルを、数の集合の部分集合であって、整数係数の多項式方程式を満たす代数的整数からなるものとして定義した。概念はヒルベルトと特にエミー・ネーターの手によってさらなる発展がもたらされた。イデアルはフェルマーの最終定理を証明しようとしたエルンスト・エドゥアルト・クンマーの1843年の試みの一部として考案されたテンプレート:仮リンクを一般化する。

ヒルベルト

ダヴィット・ヒルベルトは代数的整数論の分野を彼の1897年の論文テンプレート:仮リンク（文字通りには「数の報告」）で統一した。彼はまた1770年にウェアリングによって定式化された重要な数論の問題を解決した。有限性定理と同様、彼は答えを得るメカニズムを与えるのではなく問題に解が存在しなければならないことを示す存在証明を用いた^[7]。彼はその後その主題についてほとんど出版しなかった。しかし、学生の学位論文でのヒルベルトモジュラー形式の出現は彼の名が主要な分野にさらに付いていることを意味する。

彼は類体論に関する一連の予想をたてた。構想は非常に影響的で、彼自身の貢献はヒルベルト類体とテンプレート:仮リンクのテンプレート:仮リンクの名前に生き続けている。結果は高木貞治による研究の後1930年までにはほとんど証明された^{[注 1]}。

アルティン

エミル・アルティンは一連の論文 (1924; 1927; 1930) でアルティンの相互法則を証明した。この法則は大域類体論の中心的な部分をなす数論における一般的な定理である^[8]。用語「テンプレート:仮リンク」はその一般化のもととなったより具体的な数論の主張の長い列を指す。平方剰余の相互法則やアイゼンシュタインやクンマーの相互法則から、テンプレート:仮リンクに対するヒルベルトの積公式まで。アルティンの結果はテンプレート:仮リンクへの部分的な解答を与えた。

現代理論

1955年頃、日本人数学者志村五郎と谷山豊は2つの一見全く異なる数学の分野、楕円曲線とモジュラー形式の間につながりがあるかもしれないことを観察した。結果のモジュラー性定理（志村・谷山予想）は、すべての楕円曲線はテンプレート:仮リンクである、つまり一意的なモジュラー形式に付随できる、という主張である。

それは当初ありそうもないあるいは非常に不確かとして受け入れられず、数論学者アンドレ・ヴェイユがそれを支持する証拠を見つけた時より真剣に受け止められたが、証明はなかった。結果として「驚異的」("astounding"^[9]) な予想は谷山・志村・ヴェイユ予想としばしば呼ばれた。それは証明や反証を要する重要な予想の一覧であるラングランズ・プログラムの一部となった。

1993年から1994年、アンドリュー・ワイルズはテンプレート:仮リンクに対してモジュラー性定理の証明を与え、リベットの定理とあわせてフェルマーの最終定理の証明が与えられた。当時ほとんどすべての数学者はフェルマーの最終定理とモジュラー性定理はともに、最先端の発展が与えられてさえ、不可能かあるいは実質的に不可能であると以前は考えていた。ワイルズは1993年6月に彼の証明を最初に発表したが^[10]、すぐに重要な点で深刻なギャップがあると認識された。証明はワイルズと、部分的にリチャード・テイラーとの共同研究で、訂正され、最終的な広く受け入れられるバージョンが1994年11月に発表され、正式には1995年に出版された。証明は代数幾何と数論の多くの技術を用い、数学のこれらの分野において多くの副産物を持つ。証明はまた、スキームの圏や岩澤理論や、フェルマーには利用可能でなかった他の20世紀の技術のような、現代的な代数幾何の標準的な構成を用いる。

基本的な概念

一意分解が成り立たないこと

（有理）整数環の重要な性質は、それが算術の基本定理を満たすこと、つまり任意の（正の）整数は素数の積への分解を持ち、この分解は因子の並べ替えの違いを除いて一意的であるということである。これは代数体テンプレート:Mvar の整数環テンプレート:Mvar においては一般にはもはや正しくない。

素元とはテンプレート:Mvar の元テンプレート:Mvar であって、テンプレート:Mvar が積テンプレート:Mvar を割り切るならば因子テンプレート:Mvar かテンプレート:Mvar の一方を割り切るもののことである。この性質は整数の素数性と密接に関係する。なぜならばこの性質を満たす任意の正の整数はテンプレート:Math か素数だからである。しかし、素元の方が真に弱い。例えば、テンプレート:Math は負だから素数ではないが、素元である。素元への分解を許せば、整数においてさえ、

6 = 2 \cdot 3 = (- 2) \cdot (- 3)

のような異なる分解が存在する。一般に、テンプレート:Math が単元、すなわちテンプレート:Mvar において乗法逆元を持つ数で、テンプレート:Math が素元ならば、テンプレート:Math もまた素元である。テンプレート:Math とテンプレート:Math のような数は同伴であるという。整数において、素数テンプレート:Math とテンプレート:Math は同伴であるが、これらのうち一方のみが正である。素数は正であると要求すれば同伴な素元の集合から一意的に元が選ばれる。しかしながら、テンプレート:Mvar が有理数でないときには、正の概念の類似はない。例えば、ガウスの整数テンプレート:Math では、数テンプレート:Math とテンプレート:Math は、後者は前者にテンプレート:Mvar を掛けたものだから同伴だが、他方より自然であるとして一方を選び出す方法は存在しない。これから

5 = (1 + 2 i) (1 - 2 i) = (2 + i) (2 - i)

のような方程式が導かれ、テンプレート:Math において分解は因子の順序を除いて一意であるということは正しくないことが証明される。そのため、一意分解整域 (unique factorization domain, UFD) において用いられる一意分解の定義を採用する。一意分解整域において、分解に現れる素元は単元と順序の違いを除いて一意であることだけ期待される。

しかしながら、この弱い定義でさえ、多くの代数体の整数環は一意分解を持たない。イデアル類群と呼ばれる代数的な障害が存在する。イデアル類群が自明であるとき、環は一意分解整域である。自明でないとき、素元と既約元の違いがある。既約元 テンプレート:Mvar とは、テンプレート:Math ならばテンプレート:Mvar またはテンプレート:Mvar が単元であるような元のことである。既約元はそれ以上分解できないような元である。テンプレート:Mvar の任意の元は既約元への分解を持つが、2通り以上できるかもしれない。なぜならば、すべての素元は既約元であるが、既約元は素元とは限らないからである。例えば、環テンプレート:Math を考える。この環において、数テンプレート:Math, テンプレート:Math, テンプレート:Math は既約である。これは数テンプレート:Math が既約元への2つの分解を持つことを意味する：

9 = 3^{2} = (2 + \sqrt{- 5}) (2 - \sqrt{- 5}) .

この方程式はテンプレート:Math が積テンプレート:Math を割り切ることを示している。もしテンプレート:Math が素元ならば、テンプレート:Math あるいはテンプレート:Math を割り切るが、そうではない。テンプレート:Math で割り切れるすべての元はテンプレート:Math の形だからである。同様に、テンプレート:Math とテンプレート:Math は積テンプレート:Math を割り切るが、いずれもテンプレート:Math 自身を割り切らないので、いずれも素元ではない。元テンプレート:Math, テンプレート:Math, テンプレート:Math が同値にできるということに意味はないので、テンプレート:Math において一意分解は成り立たない。定義を弱めて一意性を修正できた単元の状況とは異なり、この不成立を克服するには新しい観点が必要である。

素イデアルへの分解

テンプレート:Mvar がテンプレート:Mvar のイデアルであるとき、必ず分解

I = 𝔭_{1}^{e_{1}} \dots 𝔭_{t}^{e_{t}}

がある。ここで各 $𝔭_{i}$ は素イデアルであり、この表現は因子の順序の違いを除いて一意である。特に、これはテンプレート:Mvar がただ1つの元で生成される主イデアルのときに正しい。これは一般の数体の整数環が一意分解を持つという最も強い主張である。環論のことばでは、整数環はデデキント整域であるということである。

テンプレート:Mvar が一意分解整域であるときは、すべての素イデアルはある1つの素元によって生成される。そうでないときは、素元で生成されない素イデアルが存在する。例えばテンプレート:Math において、イデアルテンプレート:Math は1つの元で生成できない素イデアルである。

歴史的には、イデアルを素イデアルに分解するアイデアはエルンスト・クンマーのテンプレート:仮リンク（イデアル数）の導入にはじまった。テンプレート:要検証クンマーはこれらを、円分体における一意分解の不成立のための代用品として用いた。これらはやがてリヒャルト・デデキントによるイデアルの先祖の導入とイデアルの一意分解の証明を導いた。

1つの数体の整数環で素なイデアルは大きい数体に拡大したときに素イデアルでなくなるかもしれない。例えば素数を考えよう。対応するイデアルテンプレート:Math は環テンプレート:Mathbf の素イデアルである。しかしながら、このイデアルがガウスの整数に拡大されてテンプレート:Math となると、素イデアルかもしれないしないかもしれない。例えば、分解テンプレート:Math は次を意味する：

2 𝐙 [i] = (1 + i) 𝐙 [i] \cdot (1 - i) 𝐙 [i] = ((1 + i) 𝐙 [i])^{2};

ここでテンプレート:Math だからテンプレート:Math とテンプレート:Math で生成されたイデアルは同じであることに注意。ガウスの整数でどのイデアルが素イデアルのままであるかという問への完全な解答はフェルマーの二平方和の定理によって与えられる。奇素数テンプレート:Mvar に対してテンプレート:Math は、テンプレート:Math ならば素イデアルであり、テンプレート:Math ならば素イデアルでない。このこととイデアルテンプレート:Math が素イデアルという観察を合わせて、ガウスの整数での素イデアルの完全な記述を得る。この単純な結果をより一般の整数環に一般化することは代数的整数論における基本的な問題である。類体論はテンプレート:Mvar がテンプレート:Mathbf のアーベル拡大である（すなわちガロワ拡大でありそのガロワ群がアーベル群である）ときにこの目標を達成する。

イデアル類群

一意分解が不成立なことと主イデアルでない素イデアルが存在することは同値である。素イデアルが主イデアルからどのくらい離れているかを測る対象はイデアル類群と呼ばれる。イデアル類群を定義するには、群構造を持たせるために、整数環のイデアルの集合を大きくする必要がある。これはイデアルを分数イデアルに一般化することでなされる。分数イデアルはテンプレート:Mvar の加法的部分群テンプレート:Mvar であってテンプレート:Mvar の元の積で閉じている。すなわちテンプレート:Math のときテンプレート:Math となるもののことである。テンプレート:Mvar のすべてのイデアルは分数イデアルでもある。テンプレート:Math とテンプレート:Math が分数イデアルであるとき、テンプレート:Mvar の元とテンプレート:Mvar の元の積全体の集合テンプレート:Math もまた分数イデアルである。この演算により零でない分数イデアルの集合は群となる。群の単位元はイデアルテンプレート:Math であり、テンプレート:Mvar の逆元は（一般）イデアル商テンプレート:Math である。

主分数イデアル、すなわちテンプレート:Math, ただしテンプレート:Math, の形のイデアルたちは、非零分数イデアルの群の部分群をなす。非零分数イデアルの群をこの部分群で割った商がイデアル類群である。2つの分数イデアルテンプレート:Math とテンプレート:Math がイデアル類群の同じ元を表すことと、ある元テンプレート:Math が存在してテンプレート:Math となることは同値である。したがってイデアル類群は2つの分数イデアルを、一方が他方と主イデアルさが同じときに、同値にする。イデアル類群は一般にテンプレート:Math, テンプレート:Math, あるいはテンプレート:Math と書かれる（最後の表記はイデアル類群を代数幾何学のピカール群と同一視している）。

イデアル類群の元の個数はテンプレート:Mvar の類数と呼ばれる。テンプレート:Math の類数はテンプレート:Math である。これは2つしかイデアル類がないことを示す。主分数イデアルの類と、テンプレート:Math のような主でない分数イデアルの類である。

イデアル類群は因子のことばによる別の記述をもつ。数の可能な分解を表す形式的な対象がある。因子群テンプレート:Math はテンプレート:Mvar の素イデアルたちによって生成される自由アーベル群と定義される。テンプレート:Mvar の零でない元が乗法についてなす群テンプレート:Math からテンプレート:Math への群準同型がある。テンプレート:Math が次を満たすとする：

(x) = 𝔭_{1}^{e_{1}} \dots 𝔭_{t}^{e_{t}} .

このときテンプレート:Math は次の因子と定義される。

div x = \sum_{i = 1}^{t} e_{i} [𝔭_{i}] .

テンプレート:Math の核はテンプレート:Mvar の単数群であり、余核はイデアル類群である。ホモロジー代数のことばでは、これは（乗法的な）アーベル群の次の完全列があることを言っている：

1 \to O^{\times} \to K^{\times} \overset{div}{\to} Div K \to Cl K \to 1 .

実・複素埋め込み

テンプレート:Math のような数体は、実数体の部分体として特定できる。テンプレート:Math のような数体は、できない。抽象的には、そのような特定は体準同型テンプレート:Math あるいはテンプレート:Math と対応する。これらはそれぞれ実埋め込みと複素埋め込みと呼ばれる。

実二次体テンプレート:Math は、2つの実埋め込みを持ち複素埋め込みを持たないから、そのように呼ばれる。埋め込みはそれぞれテンプレート:Math をテンプレート:Math とテンプレート:Math に送る体準同型である。双対的に、虚二次体テンプレート:Math は実埋め込みを持たず、複素埋め込みの1つの共役対を持つ。埋め込みの1つはテンプレート:Math をテンプレート:Math に送り、もう1つはそれをその複素共役に送る。

慣習的に、テンプレート:Mvar の実埋め込みの個数はテンプレート:Math と書かれ、複素埋め込みの共役対の個数はテンプレート:Math と書かれる。テンプレート:Mvar の符号は対テンプレート:Math である。テンプレート:Mvar をテンプレート:Mvar の次数としたとき，テンプレート:Math となることは定理である。

すべての埋め込みを同時に考えることで関数

M : K \to 𝐑^{r_{1}} \oplus 𝐂^{2 r_{2}}

が決定される。これはミンコフスキー埋め込みと呼ばれる。複素共役によって固定される終域の部分空間は次元テンプレート:Mvar の実ベクトル空間であり、テンプレート:仮リンクと呼ばれる。ミンコフスキー埋め込みは体準同型によって定義されるから、元テンプレート:Math によるテンプレート:Mvar の元の積はミンコフスキー埋め込みで対角行列を掛けることに対応する。ミンコフスキー空間上のドット積はトレース形式テンプレート:Math に対応する。

ミンコフスキー空間におけるテンプレート:Mvar の像はテンプレート:Mvar 次元格子である。テンプレート:Mvar をこの格子の基底とすると、テンプレート:Math はテンプレート:Mvar の判別式である。判別式はテンプレート:Math あるいはテンプレート:Math と書かれる。テンプレート:Mvar の像の余体積はテンプレート:Math である。

素点

実と複素の埋め込みは付値に基づいた観点を採用することで素イデアルとして同じ足場に置くことができる。例えば有理整数を考えよう。通常の絶対値関数テンプレート:Math に加えて、各素数テンプレート:Mvar に対して定義される [[p進付値|テンプレート:Mvar 進絶対値]]関数テンプレート:Math があり、これはテンプレート:Mvar による可除性を測る。オストロフスキーの定理は（同値の違いを除いて）これらがテンプレート:Mathbf 上のすべての可能な絶対値関数であると述べている。したがって絶対値はテンプレート:Mathbf の実埋め込みと素数をともに記述する共通の言語である。

代数体の素点 (place) はテンプレート:Mvar 上のテンプレート:仮リンク関数の同値類である^{[注 2]}。素点には2種類ある。テンプレート:Mvar の各素イデアル $𝔭$ に対して $𝔭$ -進絶対値が存在し、テンプレート:Mvar-進絶対値と同様、それは可除性を測る。これらは有限素点と呼ばれる。素点のもう1つの種類はテンプレート:Mvar の実あるいは複素埋め込みとテンプレート:Mathbf あるいはテンプレート:Mathbf 上の通常の絶対値関数を用いて特定できる。これらは無限素点である。絶対値は複素埋め込みとその共役の間で区別することができないから、複素埋め込みとその共役は同じ素点を決定する。したがってテンプレート:Math 個の実素点とテンプレート:Math 個の複素素点が存在する。テンプレート:Math が絶対値に対応する付値であるとき、しばしばテンプレート:Math と書いてテンプレート:Math が無限素点であることを、 $v ∤ \infty$ と書いてそれが有限素点であることを意味する。

体の素点をすべて一緒に考えることで数体のアデール環を得る。アデール環により、絶対値を用いて入手可能なすべてのデータを同時に追跡することができる。これは、アルティンの相互律のように、1つの素点での振る舞いが他の素点での振る舞いに影響するような常用において、重要な利益を生み出す。

単数

有理整数は単数を2つテンプレート:Math とテンプレート:Math しか持たない。他の整数環では他の単数があるかもしれない。ガウスの整数環は4つの単数、前の2つとテンプレート:Math を持つ。アイゼンシュタイン整数環テンプレート:Math は6つの単数を持つ。実二次体の整数環は無限個の単数を持つ。例えばテンプレート:Math では、テンプレート:Math の任意の冪は単数であり、これらの冪はすべて相異なる。

一般に、テンプレート:Mvar の単数群テンプレート:Math は、有限生成アーベル群である。したがって、有限生成アーベル群の基本定理より、それは捩れ部分と自由部分の直和である。数体の文脈でこれを再解釈すると、捩れ部分はテンプレート:Mvar に属する1の冪根全体からなる。この群は巡回群である。自由部分はディリクレの単数定理によって記述される。この定理は自由部分の階数がテンプレート:Math であるというものである。したがって例えば、自由部分の階数が 0 である体は、テンプレート:Math と虚二次体しかない。テンプレート:Math のガロワ群に対するガロワ加群としてのテンプレート:Math の構造を与えるより正確な主張も可能である^[11]。

単数群の自由部分はテンプレート:Mvar の無限素点を用いて研究できる。次の写像を考える：

L : K^{\times} \to 𝐑^{r_{1} + r_{2}}, L (x) = (\log | x |_{v})_{v},

ただしテンプレート:Math はテンプレート:Mvar の無限素点を渡り、テンプレート:Math はテンプレート:Mvar に付随する絶対値である。写像テンプレート:Mvar はテンプレート:Math から実ベクトル空間への準同型である。テンプレート:Math の像は $x_{1} + \dots + x_{r_{1} + r_{2}} = 0$ によって定義された超平面を張る格子であることを示すことができる。この格子の余体積は数体の単数基準である。アデール環を用いて考えることで可能になる簡素化の1つは、この格子による商とイデアル類群をともに記述する単一の対象イデール類群が存在することである。

ゼータ関数

数体のデデキントゼータ関数は、リーマンゼータ関数の類似であり、テンプレート:Mvar の素イデアルの振る舞いを記述する解析的対象である。テンプレート:Mvar がテンプレート:Mathbf のアーベル拡大のとき、デデキントゼータ関数はディリクレのL関数の積であり、各ディリクレ指標に対して1つの因子がある。自明指標はリーマンゼータ関数に対応する。テンプレート:Math がガロワ拡大のとき、デデキントエータ関数はテンプレート:Mvar のガロワ群の正則表現のアルティンのL関数であり、ガロワ群の既約テンプレート:仮リンクのことばでの分解を持つ。

ゼータ関数は類数公式によって上で記述された他の不変量と関係する。

局所体

テンプレート:Main 数体テンプレート:Mvar を素点テンプレート:Mvar で完備化するとテンプレート:仮リンクを得る。付値がアルキメデス的ならばテンプレート:Mathbf またはテンプレート:Mathbf を得、非アルキメデス的で有理数の素数テンプレート:Mvar の上にあれば、有限拡大テンプレート:Math: 有限の剰余体を持つ完備離散付値体を得る。この手順は体の算術を単純化し、問題を局所的に研究できるようになる。例えば、クロネッカー・ウェーバーの定理は類似の局所的な主張から容易に結論できる。局所体の研究の背後にあるこの哲学は幾何学的な手法によって大きく動機づけされる。代数幾何学では、多様体を極大イデアルに局所化することで点で局所的に研究することが一般的である。すると大域的な情報は、局所的なデータを貼り合わせることで復元できる。この精神は代数的整数論において取り入れられる。数体の整数環の素元が与えられると、その素元において局所的に体を研究することが望ましい、したがって整数環をその素元に局所化し、多くは幾何学の精神で分数体を完備化する。

主要な結果

類群の有限性

代数的整数論における古典的な結果の1つは代数体テンプレート:Mvar のイデアル類群が有限であることである。類群の位数は類数と呼ばれ、しばしば文字テンプレート:Mvar で書かれる。

ディリクレの単数定理

相互律

テンプレート:Main ルジャンドル記号を用いて、正の奇素数テンプレート:Mvar に対する平方剰余の相互法則は

(\frac{p}{q}) (\frac{q}{p}) = (- 1)^{\frac{p - 1}{2} \frac{q - 1}{2}}

というものである。

相互律は平方剰余の相互法則の一般化である。

相互律を表すいくつかの異なる方法がある。19世紀に見つかった早期の相互律は通常、平方剰余記号を一般化する、素数がいつ別の素数を法としてテンプレート:Mvar 乗の剰余になるかを記述する冪剰余記号テンプレート:Math を用いて表され、テンプレート:Math とテンプレート:Math の間の関係を与える。ヒルベルトは相互律を再定式化し、1の冪根の値を取るヒルベルト記号テンプレート:Math のテンプレート:Mvar を渡る積がテンプレート:Math に等しいと言った。アルティンが再定式化した相互律は、イデアル（あるいはイデール）からガロワ群の元へのアルティン記号はある部分群上自明であるというものである。いくつかのより最近の一般化は相互律を群のコホモロジーやアデール群や代数的テンプレート:Mvar 群の表現を用いて表し、もともとの平方剰余の相互律との関係を見るのは難しい。

類数公式

テンプレート:Main 類数公式は数体の多くの重要な不変量をデデキントゼータ関数の特殊値と関係付ける。

脚注

注

テンプレート:Reflist

出典

テンプレート:Reflist

参考文献

テンプレート:Neukirch et al. CNF

教科書

入門的

『代数的整数論』高木貞治著、岩波書店、1959年刊
Kenneth Ireland and Michael Rosen, "A Classical Introduction to Modern Number Theory, Second Edition", Springer-Verlag, 1990
Ian Stewart and David O. Tall, "Algebraic Number Theory and Fermat's Last Theorem," A. K. Peters, 2002

中程度

Daniel A. Marcus, "Number Fields"

上級

テンプレート:Citation
テンプレート:Citation
テンプレート:Citation
テンプレート:Neukirch ANT
Cohen, Henri (1993), A Course in Computational Algebraic Number Theory, Sprinver-Verlag, ISBN 0-387-55640-0

外部リンク

テンプレート:Number theory-footer

↑ Stark, pp. 145–146.
↑ Aczel, pp. 14–15.
↑ Stark, pp. 44–47.
↑ Disquisitiones Arithmeticae at Yalepress.yale.edu
↑ ^5.0 ^5.1 テンプレート:Cite journal
↑ テンプレート:Cite book
↑ Reid, Constance, 1996. Hilbert, Springer, ISBN 0-387-94674-8。
↑ Helmut Hasse, History of Class Field Theory, in Algebraic Number Theory, edited by Cassels and Frölich, Academic Press, 1967, pp. 266–279
↑ Fermat's Last Theorem, Simon Singh, 1997, ISBN 1-85702-521-0
↑ テンプレート:Cite news
↑ See proposition VIII.8.6.11 of テンプレート:Harvnb

引用エラー: 「注」という名前のグループの <ref> タグがありますが、対応する <references group="注"/> タグが見つかりません

[1] Stark, pp. 145–146.

[2] Aczel, pp. 14–15.

[3] Stark, pp. 44–47.

[4] Disquisitiones Arithmeticae at Yalepress.yale.edu

[Elstrodt-5] 5.0 ^5.1 テンプレート:Cite journal

[Kanemitsu-6] テンプレート:Cite book

[7] Reid, Constance, 1996. Hilbert, Springer, ISBN 0-387-94674-8。

[9] Helmut Hasse, History of Class Field Theory, in Algebraic Number Theory, edited by Cassels and Frölich, Academic Press, 1967, pp. 266–279

[Singh-10] Fermat's Last Theorem, Simon Singh, 1997, ISBN 1-85702-521-0

[nyt-11] テンプレート:Cite news

[13] See proposition VIII.8.6.11 of テンプレート:Harvnb

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[注 1]

[8]

[9]

[10]

[注 2]

[11]

代数的整数論

目次