概念

域论

域扩张研究嵌入的域如何生长，代数元满足多项式方程，有限域（伽罗瓦域）结构被完全分类，分裂域是多项式的「最小展开地」。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

域论抽象代数

01定义

域是除法总可行的环。域扩张

K\subset L

研究域如何「生长」：代数元满足系数在

K

中的多项式方程；有限域被完全分类；分裂域是使多项式完全分解的「最小展开地」。

域扩张塔 ℚ ⊂ ℚ(√2) ⊂ ℚ(√2,√3)：层层添加代数元

$\alpha$ 在 $K$ 上代数 $\iff$ 满足某个 $K$ 系数多项式；其最小多项式次数即扩张次数 $[K(\alpha):K]$ ；塔式扩张次数相乘。

对每个素数幂 $q=p^n$ 存在唯一（同构意义）的 $q$ 元域 $\mathbb{F}_q$ ，乘法群循环——有限域分类彻底而漂亮。

多项式 $f$ 的分裂域是使其分解为一次因子的最小扩张；正规性与可分性兼备的扩张称为伽罗瓦扩张——伽罗瓦理论的舞台。

[L:K]=[L:F]\cdot[F:K]\quad(\text{塔公式})

|\mathbb{F}_q^\times|=q-1,\quad\mathbb{F}_q^\times\cong C_{q-1}

阿贝尔与伽罗瓦研究方程时被迫直面「根的域」；克罗内克、戴金在 19 世纪末严格化域扩张理论；施泰尼茨 1910 年《域的代数理论》完成公理化整合。

AES 加密与二维码纠错码在 $\mathbb{F}_{2^8}$ 上运算；BCH/里德-所罗门码的理论完全建立在有限域扩张之上。

域扩张 Q(√2)：乘法 (a+b√2)(c+d√2)ac+2bd + (ad+bc)√2；Q(√2) 是 Q 上 2 维向量空间

a1.50b0.80c-0.50d1.20