代数的整数論
フェルマー
フェルマーの最終定理は最初ピエール・ド・フェルマーによって1637年に予想された。Arithmetica のコピーの余白に、余白が狭すぎて書ききれない証明を持っていると彼が主張したことは有名である。358年間の数学者の不断の努力にもかかわらず、1995年まで完全な証明が出版されなかった。未解決だった問題は19世紀の代数的整数論の発展と20世紀のモジュラー性定理の証明を刺激した。
ガウス
代数的整数論を創始した仕事の1つ、Disquisitiones Arithmeticae（ラテン語で「算術研究」）は、カール・フリードリヒ・ガウスによって1798年にラテン語で書かれた整数論の教科書である．当時ガウスは21歳であり、初出版は24歳の1801年であった。この本においてガウスは、フェルマー、オイラー、ラグランジュ、ルジャンドルなどの数学者によって得られた整数論の結果をまとめ、彼自身による重要な新しい結果を加えた。Disquisitiones が出版される前は、整数論は孤立した定理と予想の集まりからなっていた。ガウスは先駆者の研究と自身の独自の研究を系統的な枠組みに収め、ギャップを埋め、あやふやな証明を正し、おびただしい方法で主題を拡張した。
Disquisitiones は、エルンスト・クンマー、ペーター・グスタフ・ルジューヌ・ディリクレ、リヒャルト・デデキントを含む、19世紀のヨーロッパの他の数学者たちの研究の開始点だった。ガウスによって与えられた注釈の多くは実質、彼自身のさらなる研究の告知であったが、出版されないままだったものもある。それらは当時の人々にとってとりわけ謎めいて見えたに違いない。今では我々はそれらを特に L 関数と虚数乗法の理論の萌芽を含んでいると読み取ることができる。
ディリクレ
1838年と1839年の2つの論文において、ペーター・グスタフ・ルジューヌ・ディリクレは二次形式に対する最初の類数公式を証明した（後に彼の学生クロネッカーによって精密化された）。この公式は、ヤコビが「人間の洞察力の最大限に触れる (touching the utmost of human acumen)」結果と呼んだが、より一般の数体に対する類似の結果への道を拓いた．彼は二次体の単数群の構造の研究に基づいてディリクレの単数定理という代数的整数論における基本的な結果を証明した。
彼は初めて基本的な数え上げの議論である鳩の巣原理を用いて、後に彼の名に因んでディリクレの近似定理と呼ばれることになるディオファントス近似の定理を証明した。彼は n = 5 と n = 14 の場合を証明したフェルマーの最終定理と四次の相互法則への重要な貢献を出版した。ディリクレの因子問題は、彼が最初の結果を見つけたが、他の研究者たちによる後の貢献にもかかわらず、いまだに数論における未解決問題である。
デデキント
リヒャルト・デデキントのルジューヌ・ディリクレの研究の研究は、代数体とイデアルの彼の後の研究に彼を導いたものであった。1863年に彼は数論に関するルジューヌ・ディリクレの講義をVorlesungen über Zahlentheorie（『整数論講義』）として出版した。この本について次のように書かれている。
"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年の論文Zahlbericht（文字通りには「数の報告」）で統一した。彼はまた1770年にウェアリングによって定式化された重要な数論の問題を解決した。有限性定理と同様、彼は答えを得るメカニズムを与えるのではなく問題に解が存在しなければならないことを示す存在証明を用いた。彼はその後その主題についてほとんど出版しなかった。しかし、学生の学位論文でのヒルベルトモジュラー形式の出現は彼の名が主要な分野にさらに付いていることを意味する。
彼は類体論に関する一連の予想をたてた。構想は非常に影響的で、彼自身の貢献はヒルベルト類体と局所類体論のヒルベルト記号の名前に生き続けている。結果は高木貞治による研究の後1930年までにはほとんど証明された。
アルティン
エミル・アルティンは一連の論文 (1924; 1927; 1930) でアルティンの相互法則を証明した。この法則は大域類体論の中心的な部分をなす数論における一般的な定理である。用語「相互法則」はその一般化のもととなったより具体的な数論の主張の長い列を指す。平方剰余の相互法則やアイゼンシュタインやクンマーの相互法則から、ノルム記号に対するヒルベルトの積公式まで。アルティンの結果はヒルベルトの第9問題への部分的な解答を与えた。
現代理論
1955年頃、日本人数学者志村五郎と谷山豊は2つの一見全く異なる数学の分野、楕円曲線とモジュラー形式の間につながりがあるかもしれないことを観察した。結果のモジュラー性定理（志村・谷山予想）は、すべての楕円曲線はモジュラーである、つまり一意的なモジュラー形式に付随できる、という主張である。
それは当初ありそうもないあるいは非常に不確かとして受け入れられず、数論学者アンドレ・ヴェイユがそれを支持する証拠を見つけた時より真剣に受け止められたが、証明はなかった。結果として「驚異的」("astounding") な予想は谷山・志村・ヴェイユ予想としばしば呼ばれた。それは証明や反証を要する重要な予想の一覧であるラングランズ・プログラムの一部となった。
1993年から1994年、アンドリュー・ワイルズは半安定な楕円曲線に対してモジュラー性定理の証明を与え、リベットの定理とあわせてフェルマーの最終定理の証明が与えられた。当時ほとんどすべての数学者はフェルマーの最終定理とモジュラー性定理はともに、最先端の発展が与えられてさえ、不可能かあるいは実質的に不可能であると以前は考えていた。ワイルズは1993年6月に彼の証明を最初に発表したが、すぐに重要な点で深刻なギャップがあると認識された。証明はワイルズと、部分的にリチャード・テイラーとの共同研究で、訂正され、最終的な広く受け入れられるバージョンが1994年11月に発表され、正式には1995年に出版された。証明は代数幾何と数論の多くの技術を用い、数学のこれらの分野において多くの副産物を持つ。証明はまた、スキームの圏や岩澤理論や、フェルマーには利用可能でなかった他の20世紀の技術のような、現代的な代数幾何の標準的な構成を用いる。
素点
実と複素の埋め込みは付値に基づいた観点を採用することで素イデアルとして同じ足場に置くことができる。例えば有理整数を考えよう。通常の絶対値関数 |·|: Q → R に加えて、各素数 p に対して定義される p 進絶対値関数 |·|ₚ: Q → R  があり、これは p による可除性を測る。オストロフスキーの定理は（同値の違いを除いて）これらが Q 上のすべての可能な絶対値関数であると述べている。したがって絶対値は Q の実埋め込みと素数をともに記述する共通の言語である。
代数体の素点 (place) は K 上の絶対値関数の同値類である。素点には2種類ある。O の各素イデアル  に対して -進絶対値が存在し、p-進絶対値と同様、それは可除性を測る。これらは有限素点と呼ばれる。素点のもう1つの種類は K の実あるいは複素埋め込みと R あるいは C 上の通常の絶対値関数を用いて特定できる。これらは無限素点である。絶対値は複素埋め込みとその共役の間で区別することができないから、複素埋め込みとその共役は同じ素点を決定する。したがって r₁ 個の実素点と r₂ 個の複素素点が存在する。v が絶対値に対応する付値であるとき、しばしば v | ∞ と書いて v が無限素点であることを、 と書いてそれが有限素点であることを意味する。
体の素点をすべて一緒に考えることで数体のアデール環を得る。アデール環により、絶対値を用いて入手可能なすべてのデータを同時に追跡することができる。これは、アルティンの相互律のように、1つの素点での振る舞いが他の素点での振る舞いに影響するような常用において、重要な利益を生み出す。
ゼータ関数
数体のデデキントゼータ関数は、リーマンゼータ関数の類似であり、K の素イデアルの振る舞いを記述する解析的対象である。K が Q のアーベル拡大のとき、デデキントゼータ関数はディリクレのL関数の積であり、各ディリクレ指標に対して1つの因子がある。自明指標はリーマンゼータ関数に対応する。K がガロワ拡大のとき、デデキントエータ関数は K のガロワ群の正則表現のアルティンのL関数であり、ガロワ群の既約アルティン指標のことばでの分解を持つ。
ゼータ関数は類数公式によって上で記述された他の不変量と関係する。
局所体
数体 K を素点 w で完備化すると完備体を得る。付値がアルキメデス的ならば R または C を得、非アルキメデス的で有理数の素数 p の上にあれば、有限拡大 Kw / Qₚ: 有限の剰余体を持つ完備離散付値体を得る。この手順は体の算術を単純化し、問題を局所的に研究できるようになる。例えば、クロネッカー・ウェーバーの定理は類似の局所的な主張から容易に結論できる。局所体の研究の背後にあるこの哲学は幾何学的な手法によって大きく動機づけされる。代数幾何学では、多様体を極大イデアルに局所化することで点で局所的に研究することが一般的である。すると大域的な情報は、局所的なデータを貼り合わせることで復元できる。この精神は代数的整数論において取り入れられる。数体の整数環の素元が与えられると、その素元において局所的に体を研究することが望ましい、したがって整数環をその素元に局所化し、多くは幾何学の精神で分数体を完備化する。
類群の有限性
代数的整数論における古典的な結果の1つは代数体 K のイデアル類群が有限であることである。類群の位数は類数と呼ばれ、しばしば文字 h で書かれる。
ディリクレの単数定理
ディリクレの単数定理は整数環 O の単数のなす乗法群 O× の構造の記述を与える。具体的には、O× は G × Zʳ に同型であるという定理で、ここで G は O のすべての1の冪根からなる有限巡回群であり、r = r₁ + r₂ − 1 である（ここで r₁ と 2r₂ はそれぞれ K の実埋め込みと複素埋め込みの個数である）。言い換えると、O× は有限生成アーベル群で、階数は r₁ + r₂ − 1 で、捩れ部分は O の1の冪根からなる。
類数公式
類数公式は数体の多くの重要な不変量をデデキントゼータ関数の特殊値と関係付ける。
関連分野
代数的整数論は他の多くの数学分野と係わっている。代数的整数論はホモロジー代数の道具を用いる。関数体と数体の類似を通して、代数幾何の技術や思想に依拠する。さらに、整数環の代わりに Z 上の高次元スキームを研究する分野は数論幾何と呼ばれる。代数的整数論はまた数論的双曲3次元多様体の研究においても用いられる。