Stronga的rt数学笔记：代数数论入门指南.pdfVIP

代数数论入门指南 一般代数数论都是先在具体的代数数环上出发的，常常可以在 Dedekind 整环上统一处理，然后通过数域的完备化发展到局部域，最 后建立局部与整体类域论，本文主要科普的是局部类域论之前的代数 数论基础概念。 先从迹与范的概念开始，它们实际上都源于线性代数，是特征多 项式上的两个特殊的系数。设 A 与 B 是两个交换环，且 B 是秩为 n 的自由 A-模，那么任何 b∈B 都可以视为 B 的乘子 L_b(x)=bx，那么 这个乘子就是一个线性变换（给定基之后可以写成 n×n 矩阵），它的 迹、范与特征多项式就是元素 b 对于扩张 B/A 的特征多项式。分别 记作 Tr（b），N（b）与 f_b(X). 代数数论中最常见的还是域的扩张，设 L/K 是有限 n 次扩域，u∈ L 在 K 上的不可约多项式的（可能重复的）根分别为 u_1,…，u_s， 则 u 的迹与范分别为： Tr(u)=[L:K(u)]Σu_i; N(u)=(∏u_i)^[L:K(u)] 假若 K 是整环 A 的函数域，a∈L 是 A 上的整元素，那么 a 对于 L/K的特征多项式的系数（特别是迹与范）在 A 上都是整的且属于 K。 特别当 A 是整闭的，那么它们的系数搜属于 A. 假若 L/K 是有限 n 次可分扩域，那么其迹形式 T(u,v)=Tr(uv)是非退 化的对称双线性型。可定义 L 的元素 a_1,…,a_n 对 L/K 的判别式为： Disc（a_1,…,a_n）=det[Tr(a_ia_j]=（det[σ_ia_j])^2，1≤ij≤n 其中 σ_i 是 L 的 K-共轭。 若 L=K(a),a 在 K 上的极小多项式为 f(x)=(x-a_1)…(x-a_n)，其中 a_i=σ_i(a)，则定义 a 对于 f（x）的判别式为： Disc（1,a,…,a^(n-1)）=∏(i＜j)(a_i-a_j)^2=(-1)^n(n-1)/2Nf(a) 这里 f(a)称为 a 的微分或差分（different）. 通过对三项式 f（x）=x^n+bx+c 的验证，这里的判别式与通常二 三次多项式的判别式是一致的（见[1]). 代数数环都是 Dedekind 整环，其理想可以被唯一分解为素理想之 积，下面我们就着重研究素理想。基本假设是这样的：A 是分式域为 K 的 Dedekind 整环，L/K 是 n 次可分扩张，B 是 A 在 L 内的整闭包。 在此前提下，对 A 内任何非零素理想 P，它在 B 内生成的理想 PB 就 有分解： PB=Q_1^e_1…Q_g^e_g 其中各 Q_i 是 B 的彼此不同的素理想，并且它们一起组成了卧上于 P （即 Q∩A=P）的素理想 Q 的全体。这里 e_i 称为 Q_i 对 P 的分歧指 数，f^i=|B/Q_i:A/P|称为 Q_i 对 P 的剩余类次数，g 称为 Q 在 B 或 L 内的分裂指数，有基本关系 n=Σe _if_i. 下面看几种值得注意的特殊情形： 0）若有某 e_i＞1，则称 P 在 B 或 L 内是分歧的；否则就称为非 分歧的。 1）若各 e_i=f_i=1，即 PB=Q_1…Q_n，则称 P 在 B 或 L 内完全分 裂的。 2）若有 e_i=n、即 PB=Q^n,则称 P 在 B 或 L 内是完全分歧的。 3）假若 L/K 是 Galois 扩张，那么所有的 e_i 与 f_i 均相等，分别 记作 e 与 f，此时有 n=efg 对于扩张问题，我们还可以在局部域上进行再认识。局部域是赋 值论中的一个概念，要求有诱导局部紧拓扑的绝对赋值，一