代数的整数論

代数的整数論は、整数の概念を拡張し、代数体における「整数」の性質を研究する数学の分野です。通常の整数 $\mathbb{Z}$ ...

通常の整数 $\mathbb{Z}$ では素因数分解の一意性が成り立ちますが、これは決して自明な性質ではありません。整数を少し拡...

フェルマーの最終定理は、$n \geq 3$ のとき $x^n + y^n = z^n$ を満たす正の整数解が存在しないという主...

代数的整数論の基本概念として、代数的数と代数的整数の定義から始めます。この2つは似た名前ですが、異なる概念です。 代数的数の定義...

代数的整数論では、有理数体 $\mathbb{Q}$ を拡大した体（数体）と、その中で「整数」の役割を果たす環（整数環）を研究し...

数体の元に対してノルムとトレースという2つの重要な写像が定義できます。これらは整数環の構造を調べる基本的な道具です。 定義 $K...

判別式は整数環の「複雑さ」を測る数値で、分岐の判定や類数の計算に使われる重要な不変量です。 定義 $K$ を次数 $n$ の数体...

二次体は最も単純な非自明な数体であり、代数的整数論の具体例として重要です。その整数環の構造を詳しく調べます。 二次体の定義 $d...

円分体は $1$ の累乗根を添加して得られる数体で、フェルマーの最終定理への応用や類体論の基礎として重要な役割を果たします。 $...

デデキント整域は、素因数分解の一意性をイデアルのレベルで保証する環のクラスです。数体の整数環はすべてデデキント整域であり、代数的...

イデアルは代数的整数論の中心概念です。元のレベルでは素因数分解の一意性が成り立たなくても、イデアルのレベルでは一意性が回復します...

有理素数 $p$ を数体 $K$ の整数環 $\mathcal{O}_K$ で考えると、イデアル $(p)$ は素イデアルの積に...

イデアルのノルムは、イデアルの「大きさ」を測る非負整数です。元のノルムの一般化であり、類数の計算や素イデアル分解の研究に不可欠な...

素数の分岐は、整数環の構造を理解する上で重要な概念です。分岐するかどうかは判別式で判定でき、類体論とも深く関係しています。 分岐...

イデアル類群は整数環が「どれだけ PID から離れているか」を測る群であり、その位数である類数は代数的整数論の中心的な不変量です...

類数公式は、数体の類数を解析的なデータから計算する公式です。デデキントゼータ関数の $s = 1$ での振る舞いと類数を結びつけ...

ディリクレの単数定理は、数体の整数環における可逆元（単数）の構造を完全に記述する定理です。単数群が有限群と自由アーベル群の直積で...

単数群の具体的な構造、特に基本単数の計算方法と実例を詳しく見ていきます。 二次体の単数群 二次体 $K = \mathbb{Q}...

$p$ 進数は有理数を「$p$ で何回割れるか」という視点で完備化したもので、局所的な解析を可能にする重要な道具です。 $p$ ...

局所体と大域体は代数的整数論において相補的な役割を果たします。大域的な問題を局所的に分析し、それらを統合するアプローチが強力な道...

相互法則は整数論の中心的なテーマで、ある数が別の数を法として平方剰余かどうかを判定する法則です。二次相互法則から始まり、より高次...

ゼータ関数は数体の算術的情報を解析的に捉える道具です。その $s = 1$ での振る舞いが類数公式を与え、数論と解析学を結びつけ...

代数的整数論において「類数は有限である」という事実は基本的な定理の一つだが、その証明の核心にあるのがミンコフスキーの凸体定理であ...

整数論における二次形式の理論は、ガウスが『算術研究』（Disquisitiones Arithmeticae, 1801）で体系...

リーマンのゼータ関数 $\zeta(s) = \sum_{n=1}^{\infty} n^{-s}$ が素数の分布を支配するとい...

ディリクレの算術級数定理は「$\gcd(a, q) = 1$ ならば $p \equiv a \pmod{q}$ を満たす素数が...

整数の世界で方程式を解くとき、まず各素数 $p$ を法として解を調べ、次にそれを $p^2, p^3, \dots$ と持ち上げ...

整数論における二次形式の理論は、ガウスが『算術研究』（Disquisitiones Arithmeticae, 1801）で体系...

素イデアルの分解を Galois 群の部分群で捉える枠組みを解説する

Galois 拡大における不分岐素イデアルのフロベニウス元を定義し、その性質と応用を解説する

体上の付値と絶対値の概念を定義し、p 進付値やアルキメデス的・非アルキメデス的の区別を解説する

デデキント整域における素イデアル分解の一意性を証明し、整数の素因数分解との類似を明確にする

数体のデデキントゼータ関数を定義し、オイラー積表示・解析接続・関数等式・類数公式との関係を解説する