대수적 정수론 (Algebraic Number Theory)

대수적 정수론(Algebraic Number Theory)은 정수론의 문제를 대수적 방법으로 연구하는 분야입니다. 유리수체 $\mathbb{Q}$를 확장한 수체(Number Field)와 그 안의 정수환(Ring of Integers)을 분석하여, 소인수분해의 일반화와 정수의 깊은 구조를 탐구합니다.

대수적 수와 대수적 정수

대수적 수의 정의

복소수 $\alpha$가 대수적 수(Algebraic Number)라 함은, 유리수 계수의 다항식 $f(x) \in \mathbb{Q}[x]$가 존재하여 $f(\alpha) = 0$을 만족하는 것을 말합니다. 즉, 유리수 계수 방정식의 근이 되는 수입니다.

대수적 수의 예시:

• $\sqrt{2}$: $x^2 - 2 = 0$의 근
• $\sqrt[3]{5}$: $x^3 - 5 = 0$의 근
• $i = \sqrt{-1}$: $x^2 + 1 = 0$의 근
• $\frac{1+\sqrt{5}}{2}$ (황금비): $x^2 - x - 1 = 0$의 근
• 모든 유리수 $\frac{p}{q}$: $qx - p = 0$의 근

최소다항식

대수적 수 $\alpha$의 최소다항식(Minimal Polynomial)이란 $\alpha$를 근으로 가지는 유리수 계수의 기약 다항식(Irreducible Polynomial) 중 최고차항의 계수가 1인 것을 말합니다. 최소다항식은 유일하게 존재합니다.

예를 들어 $\sqrt{2}$의 최소다항식은 $x^2 - 2$이고, $\sqrt[3]{2}$의 최소다항식은 $x^3 - 2$입니다.

대수적 정수

복소수 $\alpha$가 대수적 정수(Algebraic Integer)라 함은, 정수 계수의 최고차항 계수가 1인 다항식(Monic Polynomial)의 근이 되는 것을 말합니다.

초월수와 린데만-바이어슈트라스 정리

대수적 수가 아닌 복소수를 초월수(Transcendental Number)라 합니다. 초월수의 존재는 1844년 리우빌(Liouville)이 최초로 증명하였으며, 이후 $e$와 $\pi$가 초월수임이 밝혀졌습니다.

에르미트의 정리 (1873): 자연상수 $e$는 초월수입니다.

린데만의 정리 (1882): 원주율 $\pi$는 초월수입니다. 이로써 고대 그리스 이래의 "원적 문제"(자와 컴퍼스만으로 원과 같은 넓이의 정사각형을 작도하는 문제)가 불가능함이 확정되었습니다.

이 두 결과를 통합·일반화한 것이 린데만-바이어슈트라스 정리(Lindemann-Weierstrass Theorem)입니다.

따름정리(Corollary):

• $\alpha \neq 0$이 대수적 수이면, $e^\alpha$는 초월수입니다. ($\alpha = 1$을 대입하면 $e$가 초월수임을 얻습니다.)
• $e^{i\pi} = -1$이고 $-1$은 대수적 수이므로, $i\pi$는 초월수여야 합니다. $i$가 대수적이므로 $\pi$는 초월수입니다.
• $\alpha \neq 0$이 대수적 수이면, $\sin\alpha$, $\cos\alpha$, $\tan\alpha$는 모두 초월수입니다.
• $\alpha \neq 0, 1$이 대수적 수이면, $\ln\alpha$는 초월수입니다.

대수적 수의 차수와 높이

대수적 수 $\alpha$의 차수(Degree)는 최소다항식의 차수이며, $[\mathbb{Q}(\alpha):\mathbb{Q}]$와 같습니다. 대수적 수의 높이(Height)는 최소다항식의 계수들의 절대값의 최댓값으로 정의됩니다. 보다 정밀하게, 마일러 높이(Mahler Measure)는 최소다항식 $f(x) = a_n \prod_{i=1}^n (x - \alpha_i)$에 대하여:

높이의 개념은 디오판토스 근사론과 수론적 동역학에서 핵심적인 역할을 합니다.

수체 (Number Field)

정의

수체(Number Field)란 유리수체 $\mathbb{Q}$의 유한 차원 확대체(Finite Extension)를 말합니다. 즉, $\mathbb{Q}$를 포함하는 체 $K$가 벡터공간으로서 $\mathbb{Q}$ 위의 차원이 유한한 것입니다.

이 차원 $[K:\mathbb{Q}]$를 수체 $K$의 차수(Degree)라 합니다.

원시원소 정리

원시원소 정리(Primitive Element Theorem)에 의하면, 모든 수체 $K$는 어떤 대수적 수 $\alpha$에 의하여 $K = \mathbb{Q}(\alpha)$로 나타낼 수 있습니다. 이때 $\alpha$의 최소다항식의 차수가 곧 $[K:\mathbb{Q}]$입니다.

판별식

수체 $K = \mathbb{Q}(\alpha)$의 판별식(Discriminant) $\Delta_K$는 수체의 "기하학적 크기"를 나타내는 중요한 불변량(Invariant)입니다. $[K:\mathbb{Q}] = n$이고 $\sigma_1, \ldots, \sigma_n$이 $K$에서 $\mathbb{C}$로의 매장(Embedding)일 때, 정수환의 기저 $\{\omega_1, \ldots, \omega_n\}$에 대하여:

예를 들어 $K = \mathbb{Q}(\sqrt{d})$ (단, $d$는 제곱인수 없는 정수)의 판별식은:

판별식 계산 예제

몇 가지 구체적인 수체에 대하여 판별식을 계산하여 봅시다.

예제 1: $K = \mathbb{Q}(\sqrt{-5})$. $d = -5 \equiv 3 \pmod{4}$이므로 $\Delta_K = 4 \times (-5) = -20$입니다.

예제 2: $K = \mathbb{Q}(\sqrt{5})$. $d = 5 \equiv 1 \pmod{4}$이므로 $\Delta_K = 5$입니다. 이 경우 정수환의 기저는 $\{1, \frac{1+\sqrt{5}}{2}\}$입니다.

예제 3: $K = \mathbb{Q}(\sqrt[3]{2})$. 이것은 3차 수체이며, $\alpha = \sqrt[3]{2}$의 최소다항식은 $x^3 - 2$입니다. 세 매장 $\sigma_1(\alpha) = \sqrt[3]{2}$, $\sigma_2(\alpha) = \omega\sqrt[3]{2}$, $\sigma_3(\alpha) = \omega^2\sqrt[3]{2}$ ($\omega = e^{2\pi i/3}$)에 대하여 정수환의 기저 $\{1, \sqrt[3]{2}, \sqrt[3]{4}\}$를 사용하면:

민코프스키 한계

민코프스키 한계(Minkowski Bound)는 이데알 류군의 구조를 결정할 때 핵심적인 도구입니다. 수체 $K$의 모든 이데알 류에는 노름이 민코프스키 한계 이하인 정수 이데알이 포함됩니다.

여기서 $n = [K:\mathbb{Q}]$, $r_2$는 복소 매장 쌍의 수, $\Delta_K$는 판별식입니다.

수체의 매장

차수 $n$인 수체 $K$는 $\mathbb{C}$ 안으로 정확히 $n$개의 매장(Embedding)을 가집니다. 이 매장 중 상(像)이 $\mathbb{R}$에 포함되는 것을 실수 매장(Real Embedding)이라 하고, 그 수를 $r_1$이라 합니다. 나머지 매장은 켤레 복소수 쌍으로 나타나며, 그 쌍의 수를 $r_2$라 합니다. 항상 $n = r_1 + 2r_2$가 성립합니다.

서명(Signature): 순서쌍 $(r_1, r_2)$를 수체 $K$의 서명이라 합니다.

• $\mathbb{Q}(\sqrt{2})$: 서명 $(2, 0)$ — 완전실수체(Totally Real Field)
• $\mathbb{Q}(\sqrt{-1})$: 서명 $(0, 1)$ — 완전허수체(Totally Imaginary Field)
• $\mathbb{Q}(\sqrt[3]{2})$: 서명 $(1, 1)$ — 혼합형

정수환 (Ring of Integers)

정의

수체 $K$의 정수환(Ring of Integers) $\mathcal{O}_K$는 $K$에 속하는 모든 대수적 정수의 집합입니다. $\mathcal{O}_K$는 환(Ring)의 구조를 가지며, 유리수체의 경우 $\mathcal{O}_{\mathbb{Q}} = \mathbb{Z}$입니다.

가우스 정수

가우스 정수(Gaussian Integer)는 $K = \mathbb{Q}(i)$의 정수환입니다:

가우스 정수는 유클리드 정역(Euclidean Domain)이므로, 소인수분해의 유일성이 성립합니다. 가우스 정수에서의 소수(가우스 소수)는 다음과 같이 분류됩니다:

• $p \equiv 1 \pmod{4}$인 유리소수 $p$: 두 가우스 소수의 곱으로 분해됩니다. 예) $5 = (2+i)(2-i)$
• $p \equiv 3 \pmod{4}$인 유리소수 $p$: 가우스 정수에서도 소수로 남습니다. 예) $3$은 가우스 소수
• $p = 2$: $2 = -i(1+i)^2$로 분해되며, $1+i$는 가우스 소수입니다.

아이젠슈타인 정수

아이젠슈타인 정수(Eisenstein Integer)는 $\omega = e^{2\pi i/3} = \frac{-1+\sqrt{-3}}{2}$에 대하여 $K = \mathbb{Q}(\omega)$의 정수환입니다:

아이젠슈타인 정수 역시 유클리드 정역이며, 복소평면에서 정삼각형 격자를 형성합니다.

정칙기저 (Integral Basis)

수체 $K$의 정수환 $\mathcal{O}_K$는 자유 $\mathbb{Z}$-모듈이며, 그 계수(Rank)는 $[K:\mathbb{Q}] = n$입니다. $\mathcal{O}_K$의 $\mathbb{Z}$-기저 $\{\omega_1, \ldots, \omega_n\}$을 정칙기저(Integral Basis)라 합니다:

예제:

• $K = \mathbb{Q}(\sqrt{d})$, $d \equiv 2, 3 \pmod{4}$: 정칙기저는 $\{1, \sqrt{d}\}$
• $K = \mathbb{Q}(\sqrt{d})$, $d \equiv 1 \pmod{4}$: 정칙기저는 $\left\{1, \frac{1+\sqrt{d}}{2}\right\}$
• $K = \mathbb{Q}(\sqrt[3]{2})$: 정칙기저는 $\{1, \sqrt[3]{2}, \sqrt[3]{4}\}$
• $K = \mathbb{Q}(\zeta_p)$ ($p$는 소수): 정칙기저는 $\{1, \zeta_p, \zeta_p^2, \ldots, \zeta_p^{p-2}\}$

분해체와 갈루아 폐포

수체 $K = \mathbb{Q}(\alpha)$가 반드시 갈루아 확대(Galois Extension)일 필요는 없습니다. $\alpha$의 최소다항식 $f(x)$의 분해체(Splitting Field) $L$은 $f(x)$의 모든 근을 포함하는 가장 작은 체이며, $L/\mathbb{Q}$는 갈루아 확대가 됩니다. $L$을 $K$의 갈루아 폐포(Galois Closure)라 합니다.

예제: $K = \mathbb{Q}(\sqrt[3]{2})$는 $\mathbb{Q}$ 위의 갈루아 확대가 아닙니다. $x^3 - 2$의 세 근은 $\sqrt[3]{2}$, $\omega\sqrt[3]{2}$, $\omega^2\sqrt[3]{2}$이므로, 분해체는:

갈루아 군 $\mathrm{Gal}(L/\mathbb{Q}) \cong S_3$ (대칭군)이 됩니다.

노름과 대각 (Norm and Trace)

정의

수체 $K$에서 $\mathbb{Q}$로의 노름(Norm)과 대각(Trace)은 원소의 "크기"와 "합"을 측정하는 함수입니다. $[K:\mathbb{Q}] = n$이고 $\sigma_1, \ldots, \sigma_n$이 $K$의 $\mathbb{Q}$-매장이라 하면, $\alpha \in K$에 대하여:

성질

노름과 대각은 다음과 같은 성질을 가집니다:

• $N(\alpha\beta) = N(\alpha) \cdot N(\beta)$ (노름은 곱셈적)
• $\mathrm{Tr}(\alpha + \beta) = \mathrm{Tr}(\alpha) + \mathrm{Tr}(\beta)$ (대각은 덧셈적)
• $\alpha \in K$가 대수적 정수이면 $N(\alpha), \mathrm{Tr}(\alpha) \in \mathbb{Z}$
• $\alpha$가 단원(Unit)일 필요충분조건은 $N(\alpha) = \pm 1$

예시

$K = \mathbb{Q}(\sqrt{d})$에서 $\alpha = a + b\sqrt{d}$의 경우:

이데알 분해

이데알의 필요성

앞서 살펴본 바와 같이, $\mathbb{Z}[\sqrt{-5}]$에서는 원소의 유일한 소인수분해가 성립하지 않습니다. 에른스트 쿠머(Ernst Kummer)는 "이상적인 수(ideal number)"의 개념을 도입하였고, 리하르트 데데킨트(Richard Dedekind)가 이를 이데알(Ideal)로 정식화하였습니다.

데데킨트 정역에서의 소이데알 분해

수체의 정수환 $\mathcal{O}_K$는 데데킨트 정역(Dedekind Domain)이며, 데데킨트 정역에서는 모든 0이 아닌 이데알이 소이데알(Prime Ideal)의 곱으로 유일하게 분해됩니다:

이것이 바로 원소 수준에서 실패했던 유일 인수분해를 이데알 수준에서 복원한 것입니다.

소수의 분해 유형

유리소수 $p$가 수체 $K$의 정수환에서 어떻게 분해되는지에 따라 세 가지 유형으로 분류됩니다:

$K = \mathbb{Q}(\sqrt{d})$에서 유리소수 $p$의 분해는 르장드르 기호(Legendre Symbol)로 결정됩니다:

• $p \mid \Delta_K$이면 분기: $(p) = \mathfrak{p}^2$
• $\left(\frac{\Delta_K}{p}\right) = 1$이면 분해: $(p) = \mathfrak{p}_1 \mathfrak{p}_2$
• $\left(\frac{\Delta_K}{p}\right) = -1$이면 관성: $(p)$는 소이데알

쿠머의 기준 (Kummer's Criterion)

$K = \mathbb{Q}(\alpha)$이고 $f(x)$가 $\alpha$의 최소다항식일 때, 소수 $p$가 $[\mathcal{O}_K : \mathbb{Z}[\alpha]]$를 나누지 않으면, $p\mathcal{O}_K$의 분해는 $f(x) \bmod p$의 인수분해로부터 결정됩니다.

예제: $K = \mathbb{Q}(\sqrt[3]{2})$, $f(x) = x^3 - 2$에서 소수 $p = 5$의 분해를 구합시다.

$x^3 - 2 \equiv x^3 - 2 \pmod{5}$. $\mathbb{F}_5$에서 $x = 3$이면 $3^3 = 27 \equiv 2 \pmod{5}$이므로 $x - 3$이 인수입니다. 조립제법으로 $x^3 - 2 = (x - 3)(x^2 + 3x + 4) \pmod{5}$. $x^2 + 3x + 4$의 판별식은 $9 - 16 = -7 \equiv 3 \pmod{5}$이고 $\left(\frac{3}{5}\right) = -1$이므로 $\mathbb{F}_5$에서 기약입니다. 따라서:

분기 지수와 잔류 차수

수체 $K/\mathbb{Q}$에서 유리소수 $p$의 분해 $(p) = \mathfrak{p}_1^{e_1} \cdots \mathfrak{p}_g^{e_g}$에 대하여:

• 분기 지수(Ramification Index) $e_i$: 소이데알 $\mathfrak{p}_i$가 $(p)$의 분해에서 나타나는 거듭제곱의 지수
• 잔류 차수(Inertia Degree, Residue Field Degree) $f_i = [\mathcal{O}_K/\mathfrak{p}_i : \mathbb{F}_p]$: 잉여체의 $\mathbb{F}_p$ 위에서의 차원

이들 사이에는 기본 등식이 성립합니다:

분기 이데알과 상이인자

수체 $K$의 상이인자(Different) $\mathfrak{d}_{K/\mathbb{Q}}$는 분기를 정밀하게 기술하는 이데알입니다. 소이데알 $\mathfrak{p}$의 분기 지수가 $e$이면, $\mathfrak{p}^{e-1} \mid \mathfrak{d}_{K/\mathbb{Q}}$가 성립합니다. 판별식과의 관계는:

따라서 소수 $p$가 분기할 필요충분조건은 $p \mid \Delta_K$인 것입니다. 분기하는 소수는 유한개뿐이며, 이는 판별식의 소인수와 정확히 일치합니다.

이데알 류군 (Ideal Class Group)

정의

이데알 류군(Ideal Class Group) $\mathrm{Cl}(K)$은 $\mathcal{O}_K$의 분수 이데알(Fractional Ideal) 전체를 주이데알(Principal Ideal)로 나눈 몫군입니다:

두 이데알 $\mathfrak{a}$와 $\mathfrak{b}$가 같은 류(Class)에 속한다 함은, 적당한 $\alpha, \beta \in K^*$에 대하여 $(\alpha)\mathfrak{a} = (\beta)\mathfrak{b}$인 것입니다.

유수 (Class Number)

이데알 류군의 위수(원소의 개수)를 유수(Class Number) $h_K$라 합니다:

유수의 예시:

• $\mathbb{Q}(\sqrt{-1})$: $h = 1$ (가우스 정수 — 유일 인수분해 성립)
• $\mathbb{Q}(\sqrt{-2})$: $h = 1$
• $\mathbb{Q}(\sqrt{-3})$: $h = 1$ (아이젠슈타인 정수)
• $\mathbb{Q}(\sqrt{-5})$: $h = 2$ (유일 인수분해 실패)
• $\mathbb{Q}(\sqrt{-23})$: $h = 3$
• $\mathbb{Q}(\sqrt{-163})$: $h = 1$ (허수 이차 수체 중 유수 1인 가장 큰 판별식)

유수 계산 예제

민코프스키 한계를 이용하여 유수를 체계적으로 계산하는 과정을 자세히 살펴봅시다.

예제 1: $K = \mathbb{Q}(\sqrt{-23})$의 유수

$d = -23 \equiv 1 \pmod{4}$이므로 $\Delta_K = -23$, $\mathcal{O}_K = \mathbb{Z}\left[\frac{1+\sqrt{-23}}{2}\right]$입니다. 민코프스키 한계는:

노름이 3 이하인 소이데알을 조사합니다:

• $p = 2$: $x^2 + x + 6 \equiv x^2 + x \equiv x(x+1) \pmod{2}$이므로 분해. $(2) = \mathfrak{p}_2 \overline{\mathfrak{p}}_2$
• $p = 3$: $x^2 + x + 6 \equiv x^2 + x \equiv x(x+1) \pmod{3}$이므로 분해. $(3) = \mathfrak{p}_3 \overline{\mathfrak{p}}_3$

$\mathfrak{p}_2$가 주이데알이 아님을 확인합니다: $N(\alpha) = a^2 + ab + 6b^2 = 2$를 만족하는 정수 $a, b$가 존재하지 않습니다 ($b = 0$이면 $a^2 = 2$, $b = \pm 1$이면 $a^2 \pm a + 6 = 2$, 즉 $a^2 \pm a + 4 = 0$인데 판별식 $1 - 16 < 0$). 따라서 $[\mathfrak{p}_2]$는 자명하지 않은 류입니다.

$\mathfrak{p}_2^3$이 주이데알임을 보이면 $|\mathrm{Cl}(K)| = 3$을 얻습니다. 실제로 $\mathfrak{p}_2^3 = \left(\frac{1+\sqrt{-23}}{2}\right)$이며, $h_K = 3$입니다.

예제 2: $K = \mathbb{Q}(\sqrt{-14})$의 유수

$d = -14 \equiv 2 \pmod{4}$이므로 $\Delta_K = -56$, $\mathcal{O}_K = \mathbb{Z}[\sqrt{-14}]$입니다. 민코프스키 한계는:

노름이 4 이하인 소이데알을 조사하면 $(2) = \mathfrak{p}_2^2$ (분기), $(3) = \mathfrak{p}_3 \overline{\mathfrak{p}}_3$ (분해)입니다. $\mathfrak{p}_2$와 $\mathfrak{p}_3$가 주이데알이 아님을 확인하고, $\mathfrak{p}_2 \cdot \mathfrak{p}_3$가 주이데알임을 보이면 $\mathrm{Cl}(K) \cong \mathbb{Z}/4\mathbb{Z}$임을 얻고, $h_K = 4$입니다.

민코프스키 정리의 기하학적 배경

민코프스키 한계의 기초가 되는 민코프스키의 격자점 정리(Minkowski's Lattice Point Theorem)는 다음과 같습니다.

이 정리를 수체의 민코프스키 공간(정준 매장에 의한 $\mathbb{R}^{r_1} \times \mathbb{C}^{r_2} \cong \mathbb{R}^n$)에 적용하면, 모든 이데알 류에 노름이 $M_K$ 이하인 정수 이데알이 존재함을 증명할 수 있습니다. 이로부터 유수의 유한성 $h_K < \infty$가 따릅니다.

디리클레 단원 정리 (Dirichlet Unit Theorem)

단원군

정수환 $\mathcal{O}_K$의 단원(Unit)이란 역원이 $\mathcal{O}_K$ 안에 존재하는 원소, 즉 $\alpha \in \mathcal{O}_K$이고 $\alpha^{-1} \in \mathcal{O}_K$인 것을 말합니다. 단원의 집합을 단원군(Unit Group) $\mathcal{O}_K^*$라 합니다.

$\alpha$가 단원일 필요충분조건은 $N_{K/\mathbb{Q}}(\alpha) = \pm 1$입니다.

정리의 내용

디리클레 단원 정리(Dirichlet's Unit Theorem): $K$가 차수 $n = [K:\mathbb{Q}]$인 수체이고, $r_1$개의 실수 매장과 $r_2$쌍의 복소 매장을 가진다고 합시다 (즉, $n = r_1 + 2r_2$). 이때:

여기서 $\mu_K$는 $K$에 포함된 단위근(Root of Unity)의 유한군이며, $r = r_1 + r_2 - 1$을 단원의 계수(Rank of the Unit Group)라 합니다.

정칙자

기본 단원 $\varepsilon_1, \ldots, \varepsilon_r$에 대한 정칙자(Regulator) $R_K$는 다음과 같이 정의됩니다:

정칙자는 단원 격자의 "부피"를 나타내며, 유수 공식에서 중요한 역할을 합니다.

이차 수체 (Quadratic Fields)

정의와 분류

이차 수체(Quadratic Field)는 차수가 2인 수체로, $K = \mathbb{Q}(\sqrt{d})$ ($d$는 제곱인수 없는 정수)의 형태입니다.

• $d > 0$: 실이차 수체(Real Quadratic Field) — $r_1 = 2, r_2 = 0$
• $d < 0$: 허수이차 수체(Imaginary Quadratic Field) — $r_1 = 0, r_2 = 1$

이차 호혜법칙

이차 호혜법칙(Quadratic Reciprocity)은 정수론에서 가장 아름다운 정리 중 하나로, 가우스가 최초로 증명하였습니다. 서로 다른 홀수 소수 $p, q$에 대하여:

여기서 $\left(\frac{p}{q}\right)$는 르장드르 기호(Legendre Symbol)로, $x^2 \equiv p \pmod{q}$의 해가 존재하면 $+1$, 존재하지 않으면 $-1$입니다.

보충 법칙

이차 호혜법칙에 대한 보충 법칙(Supplementary Laws)은 다음과 같습니다:

이차 형식 (Quadratic Forms)

이원 이차 형식(Binary Quadratic Form)은 $f(x,y) = ax^2 + bxy + cy^2$ ($a, b, c \in \mathbb{Z}$, $a > 0$)의 형태입니다. 이차 형식의 판별식은 $D = b^2 - 4ac$입니다.

두 이차 형식이 고유 동치(Properly Equivalent)라 함은, 행렬식이 1인 정수 행렬 $\begin{pmatrix} p & q \\ r & s \end{pmatrix} \in \mathrm{SL}_2(\mathbb{Z})$에 의한 변수 치환으로 서로 옮겨지는 것을 말합니다. 동치류의 집합에는 군 구조(가우스 합성, Gauss Composition)가 정의되며, 이 군은 이차 수체 $\mathbb{Q}(\sqrt{D})$의 이데알 류군과 동형입니다.

이차 형식의 이론은 "어떤 소수가 $x^2 + ny^2$ 꼴로 표현되는가?"라는 고전적 문제와 밀접하게 연결됩니다:

• $p = x^2 + y^2$ $\Longleftrightarrow$ $p = 2$ 또는 $p \equiv 1 \pmod{4}$ (페르마)
• $p = x^2 + 2y^2$ $\Longleftrightarrow$ $p = 2$ 또는 $p \equiv 1, 3 \pmod{8}$
• $p = x^2 + 3y^2$ $\Longleftrightarrow$ $p = 3$ 또는 $p \equiv 1 \pmod{3}$
• $p = x^2 + 5y^2$ $\Longleftrightarrow$ $p = 5$ 또는 $p \equiv 1, 9 \pmod{20}$

이차 수체에 대한 유수 공식의 적용

허수이차 수체 $K = \mathbb{Q}(\sqrt{d})$ ($d < 0$)에서는 $r_1 = 0$, $r_2 = 1$, $R_K = 1$이므로 유수 공식이 특히 간결한 형태가 됩니다:

여기서 $\chi_d$는 크로네커 기호 $\chi_d(n) = \left(\frac{\Delta_K}{n}\right)$로 정의되는 디리클레 지표이며, $w_K$는 $K$ 안의 단위근의 수입니다 ($d = -1$이면 $w_K = 4$, $d = -3$이면 $w_K = 6$, 그 외에는 $w_K = 2$).

$L(1, \chi_d)$를 유한 합으로 표현하면 디리클레 유수 공식을 얻습니다:

계산 예시: $K = \mathbb{Q}(\sqrt{-7})$, $\Delta_K = -7$, $w_K = 2$.

따라서 $\mathbb{Q}(\sqrt{-7})$은 유수 1인 수체이며, $\mathcal{O}_K$에서 유일 인수분해가 성립합니다.

원분체 (Cyclotomic Fields)

정의

양의 정수 $n$에 대하여, $\zeta_n = e^{2\pi i/n}$이라 하면 원분체(Cyclotomic Field)는 다음과 같이 정의됩니다:

이것은 1의 $n$제곱근(Root of Unity)을 $\mathbb{Q}$에 첨가하여 얻는 수체입니다.

기본 성질

• $[\mathbb{Q}(\zeta_n) : \mathbb{Q}] = \varphi(n)$ (오일러 피 함수)
• $\mathcal{O}_{\mathbb{Q}(\zeta_n)} = \mathbb{Z}[\zeta_n]$ (정수환이 깔끔하게 결정됨)
• $\mathrm{Gal}(\mathbb{Q}(\zeta_n)/\mathbb{Q}) \cong (\mathbb{Z}/n\mathbb{Z})^*$ (갈루아 군이 아벨군)
• 판별식: $\Delta_{\mathbb{Q}(\zeta_p)} = (-1)^{\frac{p-1}{2}} p^{p-2}$ ($p$가 소수일 때)

원분체에서의 소수 분해

소수 $\ell$의 원분체 $\mathbb{Q}(\zeta_p)$ ($p$는 홀수 소수, $\ell \neq p$)에서의 분해는 $\ell$의 $(\mathbb{Z}/p\mathbb{Z})^*$에서의 위수(Order) $f$에 의하여 결정됩니다:

각 $\mathfrak{L}_i$의 잉여 차수(Inertia Degree)는 $f$이고, 분기 지수(Ramification Index)는 1입니다.

가우스 합 (Gauss Sum)

유한체 $\mathbb{F}_p$ 위에서 지표 $\chi: (\mathbb{Z}/p\mathbb{Z})^* \to \mathbb{C}^*$와 가법 지표(Additive Character) $\psi(a) = e^{2\pi i a/p}$에 대하여, 가우스 합(Gauss Sum)은 다음과 같이 정의됩니다:

가우스 합의 기본 성질:

• $\chi$가 자명 지표가 아니면 $|g(\chi)|^2 = p$, 즉 $|g(\chi)| = \sqrt{p}$
• $g(\chi) \cdot g(\overline{\chi}) = \chi(-1) \cdot p$
• $\chi$가 르장드르 기호 $\left(\frac{\cdot}{p}\right)$이면 $g(\chi)^2 = (-1)^{\frac{p-1}{2}} p = \left(\frac{-1}{p}\right) p$

야코비 합 (Jacobi Sum)

두 지표 $\chi, \lambda: (\mathbb{Z}/p\mathbb{Z})^* \to \mathbb{C}^*$에 대하여 야코비 합(Jacobi Sum)은 다음과 같이 정의됩니다:

야코비 합과 가우스 합의 관계: $\chi\lambda$가 자명 지표가 아닐 때:

특히 $|J(\chi, \lambda)| = \sqrt{p}$이 성립합니다.

응용: $\chi$가 위수 $n$인 지표이면 야코비 합 $J(\chi, \chi)$는 $\mathbb{Z}[\zeta_n]$ 안의 원소이며, $N(J(\chi, \chi)) = p$를 만족합니다. 이를 이용하면 소수 $p \equiv 1 \pmod{n}$의 $\mathbb{Z}[\zeta_n]$에서의 분해를 구체적으로 계산할 수 있습니다. 예를 들어, $n = 4$이면 $J(\chi, \chi) = a + bi$ ($a^2 + b^2 = p$)로부터 소수 $p \equiv 1 \pmod{4}$의 두 제곱수의 합으로의 표현을 얻습니다.

국소체와 $p$-adic 수

$p$-adic 절대값

소수 $p$에 대하여, 0이 아닌 유리수 $x = p^a \frac{m}{n}$ ($\gcd(mn, p) = 1$)의 $p$-adic 절대값($p$-adic Absolute Value)은:

$p$-adic 정수와 $p$-adic 수체

$\mathbb{Q}$를 $|\cdot|_p$에 의한 거리로 완비화하면 $p$-adic 수체($p$-adic Number Field) $\mathbb{Q}_p$를 얻습니다. $\mathbb{Q}_p$의 정수환은:

$\mathbb{Z}_p$의 원소는 형식적 급수로 나타낼 수 있습니다:

오스트롭스키 정리

오스트롭스키 정리(Ostrowski's Theorem): $\mathbb{Q}$ 위의 자명하지 않은 절대값은 일반적인 절대값 $|\cdot|_\infty$이거나, 어떤 소수 $p$에 대한 $p$-adic 절대값 $|\cdot|_p$와 동치입니다.

이 정리에 따라, $\mathbb{Q}$의 완비화는 $\mathbb{R}$ (실수체)이거나 $\mathbb{Q}_p$ ($p$-adic 수체) 중 하나입니다. 이들을 통칭하여 국소체(Local Field)라 합니다.

$p$-adic 수의 구체적 계산

$p$-adic 수의 세계에서는 실수와 매우 다른 현상이 발생합니다. 예를 들어, $7$-adic 수에서 $-1$의 표현을 구해 봅시다:

이것은 등비급수 $\frac{6}{1 - 7} = \frac{6}{-6} = -1$로 확인됩니다. 기하급수 $\sum_{n=0}^{\infty} a_n p^n$은 $p$-adic 절대값에서 항상 수렴합니다.

$p$-adic 정수환 $\mathbb{Z}_p$는 다음과 같은 성질을 가집니다:

• $\mathbb{Z}_p$는 국소환(Local Ring)이며, 극대이데알은 $p\mathbb{Z}_p$입니다
• $\mathbb{Z}_p$의 단원군은 $\mathbb{Z}_p^* = \{x \in \mathbb{Z}_p \mid |x|_p = 1\} = \{a_0 + a_1 p + \cdots \mid a_0 \neq 0\}$
• $\mathbb{Z}_p$는 주이데알 정역(PID)이며, 이데알은 $\{0\}$과 $p^n \mathbb{Z}_p$ ($n \ge 0$)뿐입니다
• $\mathbb{Z}_p / p^n \mathbb{Z}_p \cong \mathbb{Z} / p^n \mathbb{Z}$이며, $\mathbb{Z}_p = \varprojlim \mathbb{Z}/p^n\mathbb{Z}$ (사영극한)

헨젤 보조정리 (Hensel's Lemma)

헨젤 보조정리는 $p$-adic 해석학에서 가장 중요한 도구 중 하나로, "모듈로 $p$의 근이 $p$-adic 근으로 들어올려질(Lift) 수 있는가?"에 대한 판정 기준을 제공합니다.

예제: $\sqrt{2} \in \mathbb{Q}_7$의 존재를 증명합시다. $f(x) = x^2 - 2$로 놓고 $a = 3$을 초기 근사값으로 취합니다. $f(3) = 7$이므로 $|f(3)|_7 = 7^{-1}$이고, $f'(3) = 6$이므로 $|f'(3)|_7 = 1$입니다. $7^{-1} < 1^2 = 1$이므로 헨젤 보조정리의 조건이 만족되어 $\alpha^2 = 2$인 $\alpha \in \mathbb{Z}_7$이 존재합니다.

뉴턴 근사법으로 $7$-adic 전개를 구할 수 있습니다:

국소-대역 원리

하세 원리(Hasse Principle) 또는 국소-대역 원리(Local-Global Principle)란 "방정식이 모든 국소체에서 해를 가지면 유리수 위에서도 해를 가진다"는 원리입니다. 이차 형식(Quadratic Form)에 대해서는 성립하지만, 일반적으로는 성립하지 않습니다.

유수 공식 (Class Number Formula)

데데킨트 제타 함수

수체 $K$의 데데킨트 제타 함수(Dedekind Zeta Function)는 리만 제타 함수의 일반화로, 다음과 같이 정의됩니다:

여기서 합은 모든 0이 아닌 이데알에 대하여, 곱은 모든 소이데알에 대하여 취합니다.

유수 공식

유수 공식(Class Number Formula)은 데데킨트 제타 함수의 $s = 1$에서의 유수(Residue)를 명시적으로 제공합니다:

여기서:

• $r_1$: 실수 매장의 수
• $r_2$: 복소 매장 쌍의 수
• $h_K$: 유수
• $R_K$: 정칙자
• $w_K$: $K$ 안의 단위근의 수
• $\Delta_K$: 판별식

페르마 마지막 정리와 대수적 정수론

문제의 배경

페르마 마지막 정리(Fermat's Last Theorem): $n \ge 3$인 정수에 대하여 방정식

은 $xyz \neq 0$인 정수해를 갖지 않는다.

이 문제는 1637년 페르마가 제시한 이후 약 350년간 미해결로 남아 있다가, 1995년 앤드루 와일스(Andrew Wiles)가 증명하였습니다.

쿠머의 접근: 원분체와 이데알론

라메(Lamé)는 $x^p + y^p = z^p$를 원분체에서 인수분해하여 증명하려 하였습니다:

이 접근이 성공하려면 $\mathbb{Z}[\zeta_p]$에서 유일 인수분해가 성립하여야 합니다. 그러나 쿠머(Kummer)는 $p = 23$일 때 $\mathbb{Z}[\zeta_{23}]$에서 유일 인수분해가 실패함을 발견하였습니다.

쿠머는 이 난관을 극복하기 위하여 "이상적 수(ideal number)"의 개념을 창안하고, 정칙소수(유수가 $p$로 나누어지지 않는 소수)에 대하여 페르마 마지막 정리를 증명하였습니다. 이것이 대수적 정수론과 이데알론의 시작입니다.

와일스의 증명 개요

와일스의 증명은 다음과 같은 놀라운 연결 고리에 기반합니다:

1. 프라이 곡선(Frey Curve): $a^p + b^p = c^p$의 정수해가 존재한다고 가정하면, 타원곡선 $y^2 = x(x - a^p)(x + b^p)$를 구성할 수 있습니다.
2. 리벳의 정리(Ribet's Theorem): 이 프라이 곡선은 보형적(Modular)이 아님이 증명되었습니다.
3. 다니야마-시무라 추측: 모든 유리수 위의 타원곡선은 보형적이어야 합니다.
4. 프라이 곡선의 존재가 다니야마-시무라 추측에 모순되므로, 페르마 방정식의 정수해는 존재하지 않습니다.

유체론 (Class Field Theory)

아벨 확대의 분류

유체론(Class Field Theory)은 수체 $K$의 아벨 확대(갈루아 군이 아벨군인 확대)를 $K$ 자체의 산술적 데이터만으로 완전히 분류하는 이론입니다. 이 이론의 핵심은 확대체를 직접 구성하지 않고도, 기저체의 이데알 군과 이데알 류군만으로 모든 아벨 확대를 기술할 수 있다는 것입니다.

아르틴 사상 (Artin Map)

$L/K$가 아벨 확대이고 $\mathfrak{p}$가 $L/K$에서 비분기인 $K$의 소이데알이면, 프로베니우스 원소(Frobenius Element) $\left(\frac{L/K}{\mathfrak{p}}\right) \in \mathrm{Gal}(L/K)$가 유일하게 결정됩니다. 이를 확장하여 비분기 소이데알의 곱으로 이루어진 이데알 전체에 대한 준동형사상을 정의할 수 있으며, 이것이 아르틴 사상(Artin Map)입니다:

여기서 $I_K^S$는 분기하는 소이데알의 집합 $S$를 제외한 분수 이데알군입니다.

아르틴 호혜법칙 (Artin Reciprocity)

아르틴 호혜법칙은 이차 호혜법칙을 포함하는 대단히 일반적인 결과입니다. $K = \mathbb{Q}$이고 $L = \mathbb{Q}(\sqrt{p^*})$ ($p^* = (-1)^{(p-1)/2}p$)인 경우, 아르틴 사상은 르장드르 기호와 일치하며, 이차 호혜법칙이 따름정리로 복원됩니다.

힐베르트 류체

수체 $K$의 힐베르트 류체(Hilbert Class Field) $H_K$는 $K$ 위의 최대 비분기 아벨 확대입니다. 유체론의 핵심 결과에 의하면:

따라서 이데알 류군의 구조가 힐베르트 류체의 갈루아 군을 완전히 결정합니다.

주이데알 정리(Principal Ideal Theorem): $K$의 모든 이데알은 $H_K$에서 주이데알이 됩니다. 즉, 유일 인수분해가 실패하는 수체라도, 그 힐베르트 류체로 올라가면 (이데알 수준에서) 유일 인수분해가 복원됩니다.

크로네커-베버 정리

크로네커-베버 정리(Kronecker-Weber Theorem): $\mathbb{Q}$ 위의 모든 아벨 확대는 어떤 원분체 $\mathbb{Q}(\zeta_n)$에 포함됩니다. 이것은 $\mathbb{Q}$의 경우에 유체론을 명시적으로 실현한 것이며, 일반 수체에 대한 유사한 명시적 구성을 찾는 것이 힐베르트 제12문제(Kronecker's Jugendtraum)입니다.

이와사와 이론 (Iwasawa Theory)

$\mathbb{Z}_p$-확대

이와사와 이론(Iwasawa Theory)은 수체의 $\mathbb{Z}_p$-확대(갈루아 군이 $p$-adic 정수환 $\mathbb{Z}_p$와 동형인 무한 확대)에서 이데알 류군의 변화를 연구합니다.

수체 $K$ 위의 원분적 $\mathbb{Z}_p$-확대(Cyclotomic $\mathbb{Z}_p$-extension)는 다음과 같이 구성됩니다:

여기서 $\mathrm{Gal}(K_\infty/K) \cong \mathbb{Z}_p$이며, $K_n/K$는 갈루아 군이 $\mathbb{Z}/p^n\mathbb{Z}$인 부분 확대입니다.

이와사와의 유수 공식

각 $K_n$의 유수 중 $p$-부분의 $p$-adic 부치(Valuation)를 $e_n = v_p(h_{K_n}^{(p)})$이라 놓으면, 이와사와는 $n$이 충분히 클 때 다음 공식이 성립함을 증명하였습니다:

여기서 $\mu, \lambda, \nu$는 $K$와 $p$에 의하여 결정되는 상수이며, $\mu \ge 0$, $\lambda \ge 0$은 정수입니다. 이를 이와사와 불변량(Iwasawa Invariants)이라 합니다.

이와사와 주추측

이와사와 주추측(Iwasawa Main Conjecture)은 대수적 불변량(이데알 류군의 $p$-부분)과 해석적 불변량($p$-adic $L$-함수)을 연결하는 심오한 결과입니다.

$\Lambda = \mathbb{Z}_p[[T]]$ (이와사와 대수)에서의 모듈로서, 이데알 류군의 사영극한 $X_\infty = \varprojlim \mathrm{Cl}(K_n)[p^\infty]$의 특성 이데알(Characteristic Ideal)이 쿠보타-레오폴트의 $p$-adic $L$-함수의 멱급수와 일치한다는 것입니다:

여기서 $f(T) \in \Lambda$는 $p$-adic $L$-함수를 생성하는 멱급수입니다.

이 추측은 마주르(Mazur)와 와일스(Wiles)가 1984년에 $\mathbb{Q}$ 위의 완전실수체에 대하여 증명하였습니다.

랭글랜즈 프로그램 (Langlands Program)

개요

랭글랜즈 프로그램(Langlands Program)은 1967년 로버트 랭글랜즈(Robert Langlands)가 제시한 일련의 추측으로, 수론, 대수기하학, 표현론을 아우르는 현대 수학의 가장 야심찬 통합 이론입니다. 유체론이 아벨 확대만을 다루는 데 비하여, 랭글랜즈 프로그램은 비아벨(Non-abelian) 확대까지 포괄하는 "비아벨 유체론"을 지향합니다.

핵심 구조

랭글랜즈 프로그램의 핵심은 두 가지 전혀 다른 수학적 대상 사이의 대응입니다:

• 갈루아 측(Galois Side): 절대 갈루아 군 $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$의 $n$차원 표현 (보다 정확하게는, 랭글랜즈 군 ${}^L G$의 표현)
• 보형 측(Automorphic Side): 약소행 군(Reductive Group) $G$의 아델(Adèle) 위에서의 보형 표현(Automorphic Representation)

주요 성과

랭글랜즈 프로그램의 틀 안에서 증명된 주요 결과는 다음과 같습니다:

함수자성 (Functoriality)

랭글랜즈 프로그램의 또 다른 핵심 축인 함수자성 추측(Functoriality Conjecture)은, 약소행 군 사이의 준동형사상 ${}^L H \to {}^L G$가 $H$의 보형 표현에서 $G$의 보형 표현으로의 "전이(Transfer)"를 유도한다는 것입니다. 이 추측이 완전히 증명되면, 보형 형식에 관한 거의 모든 미해결 문제가 해결될 것으로 기대됩니다.

기하학적 랭글랜즈

기하학적 랭글랜즈 프로그램(Geometric Langlands Program)은 수론적 랭글랜즈 대응의 기하학적 유사체를 연구하며, 대수곡선 위의 연접층(Coherent Sheaf)과 $\mathcal{D}$-모듈을 활용합니다. 2024년에 아가닌(Aganagic), 파르그(Fargues), 숄체(Scholze) 등에 의하여 기하학적 랭글랜즈 추측의 주요 부분이 증명되는 등, 이 분야는 현재 가장 활발하게 연구되고 있습니다.

대수적 정수론의 전체 구조

지금까지 살펴본 대수적 정수론의 주요 주제가 어떻게 연결되는지를 다음 도식으로 정리합니다.

요약 및 관계

대수적 정수론의 핵심 개념들 사이의 관계를 정리하면 다음과 같습니다: