数域

数域 (Number Field)

数域是抽象代数与代数数论中的核心概念，指有理数域 $\mathbb{Q}$ 的有限次扩域。换言之，数域是复数域 $\mathbb{C}$ 的子域，且作为 $\mathbb{Q}$ 上的向量空间是有限维的。数域理论由高斯、库默尔、戴德金和克罗内克等数学家奠基，成为现代数论与算术几何的基石。

定义与构造

设 $\alpha$ 为代数数，即存在非零有理系数多项式 $p(x) \in \mathbb{Q}[x]$ 使得 $p(\alpha) = 0$，则 $\mathbb{Q}(\alpha)$（有理数域添加 $\alpha$ 后生成的最小域）构成一个数域。更一般地，有限个代数数生成的有理扩张 $\mathbb{Q}(\alpha_1, \ldots, \alpha_n)$ 也是数域。每个数域均可表示为 $\mathbb{Q}(\theta)$ 的形式，其中 $\theta$ 为某个代数整数（本原元定理）。

典型例子

• $\mathbb{Q}$ 本身是最平凡的数域。
• 二次域 $\mathbb{Q}(\sqrt{d})$，其中 $d \neq 0, 1$ 为无平方因子整数。当 $d > 0$ 时称实二次域，$d < 0$ 时称虚二次域。
• 分圆域 $\mathbb{Q}(\zeta_n)$，其中 $\zeta_n = e^{2\pi i / n}$ 为 $n$ 次本原单位根。分圆域在费马大定理的证明中起关键作用。
• 三次域与高次域：由三次以上不可约多项式的根生成的域。

代数整数环与理想分解

数域 $K$ 中所有代数整数构成的子环称为 $K$ 的整数环，记作 $\mathcal{O}_K$。$\mathcal{O}_K$ 是戴德金整环，具有素理想唯一分解性质，但未必是唯一分解整环 (UFD)。类数 $h(K)$ 衡量 $\mathcal{O}_K$ 中元素唯一分解的"失败程度"：$h(K) = 1$ 当且仅当 $\mathcal{O}_K$ 是 UFD。单位定理 (Dirichlet's Unit Theorem) 刻画了 $\mathcal{O}_K$ 中乘法可逆元（单位）的结构：单位群 $\mathcal{O}_K^\times$ 是有限生成阿贝尔群，其秩由 $K$ 的实嵌入数和复嵌入数决定。

Galois 理论与不变量

若扩域 $K/\mathbb{Q}$ 是正规且可分的，则称为 Galois 扩张，其Galois群 $\text{Gal}(K/\mathbb{Q})$ 描述了 $K$ 的对称性。重要的不变量包括判别式、导子和 Dedekind ζ 函数，后者推广了黎曼ζ函数，其解析性质与素理想分布密切相关。

与经济学的关系

数域在经济学中的直接应用较为间接，但其代数结构支撑了若干关键领域：(1) 基于椭圆曲线和理想类群的公钥密码学，是数字货币和区块链技术的数学基础；(2) 有限域上的离散对数问题是主流加密协议的安全核心，与金融科技的支付安全直接相关；(3) 格密码学（后量子密码的主流候选）依赖数域中理想的格结构，将为未来数字经济提供抗量子攻击的安全基础设施。