域论--概览

博主正在学习域，参考材料为

• field theory（Second Edition）–Steven Roman
• 代数学引论（第三版）–聂灵沼，丁石孙
• 近世代数（第二版）–韩士安，林磊

内容框架为“应用代数课程–丁宁老师”所学知识，做一些笔记供自己回忆，如有错误请指正。整理成一个系列域论，方便检索。

环，域

整环 Integral Domain/ID

• 无零因子
• 交换幺环

素元和不可约元

定义

• 素元：整环$D$中非零非单位，$\forall a,b\in D$，如果$p\mid ab\to p\mid a$或$p\mid b$。
• 不可约元：整环中非零非单位，无真因子

性质

• 在ID中，素元是不可约元
• 在UFD中，不可约元是素元

素理想和极大理想

定义

• 素理想：$R$是交换环，$P$是$R$的真理想。$\forall a,b\in R$，如果$ab\in P$，$\to a\in P$或$b\in P$。
• 极大理想：$R$是交换环，$M$是$R$的真理想。对$R$的任一包含$M$的理想$N$，必有$N=M$或$N=R$。

性质

• 在交换幺环$R$中，$I$是$R$的理想，则$I$是$R$的素理想$\iff R/I$是整环。
• 在交换幺环$R$中，$I$是$R$的理想，则$I$是$R$的极大理想$\iff R/I$是域。
• 素元生成的非零理想是素理想
• 不可约元在PID中生成的理想为极大理想

ED$\to$PID$\to$UFD

定义

• 欧几里得整环 ED
• 主理想整环 PID
• 唯一分解整环 UFD

性质

• ED一定是PID，PID一定是UFD
• 整环上多项式环是整环
• UFD上多项式环是UFD
• PID上多项式环不一定是PID
• 域$F$上多项式环$F[x]$是ED

多项式

定义：

• 本原多项式：$c(f)=1$
• 极小多项式：对于$\alpha$，唯一的首一不可约多项式$p(x)\in F[x]$使得$p(\alpha )=0$
• 在域$F$上分裂：多项式的根都属于域$F$
• 重根：$f(x)=(x-\alpha {)}^e,e>1,\alpha \in K$，则$\alpha$为$f(x)$在$K$内的$e$重根，$e$为重数。
• 共轭：$\alpha$与$\beta$共轭，$\alpha$与$\beta$的极小多项式相同

性质：

• 高斯引理：$c(fg)=c(f)c(g)$
• $f(\alpha )=0\iff p(x)\mid f(x)$，$p(x)$是$I_{\alpha }$的生成元，$I_{\alpha }=<p(x)>$
• 判断多项式不可约 Eisenstein’s Criterion：。在整环$R$上，$p(x)=a_0+a_{1}x+\dots \dots +a_n{x}^n\in R[x]$，如果存在素数$p\in R$，满足$p\mid a_i(0\le i\le n-1)$，$p\nmid a_n$，$p^2\nmid a_0$，则$p(x)$不可约

域的扩张

有限生成扩张

$E=F(S)$，$S$是一个有限集合

• $F(S\cup T)=F(S)(T)$

代数扩张

$E/F$，$\forall \alpha \in E$，$\alpha$在$F$上是代数的

单代数扩张

$E=F(\alpha ),\alpha \in E$，$\alpha$在$F$上是代数的

• $F(\alpha )$是代数的
• $F(\alpha )$是有限的
• $F(\alpha )=f(\alpha )|f(x)\in F[x],deg(f)<deg(p_{\alpha })$
• $F(\alpha )\cong \frac{F[x]}{p_{\alpha }(x)}$
• $[F(\alpha ):F]=deg(p_{\alpha })$

有限扩张

$[E:F]$是有限的

• $E/F$是有限扩张$\iff E/F$是有限生成的代数扩张，$E=F({\alpha }_1,\dots \dots {\alpha }_n)$
  • $E/F$是有限扩张$\to E/F$是代数扩张
  • $E/F$是代数扩张，不能推出$E/F$是有限扩张，反例$\mathbb{C}/\mathbb{R}$
• 有限扩张是单扩张（有限域的乘法群是循环群）

代数闭的，代数闭包

定义

• 代数闭的：域$E$中的任何非常系数多项式在$E$中分裂
• 代数闭包$\overline{F}$：$A/F$是代数的，$A$是代数闭的，在代数闭域$E$中所有在$F$上代数的元素${\alpha }_1\dots \dots {\alpha }_n$，$A=F({\alpha }_1\dots \dots {\alpha }_n)$

性质

• 对任意域$F$，存在扩域$E/F$是代数闭的（代数闭域存在不唯一）
• 在$F$的代数闭域 E E