有限域、伽罗瓦域、扩域、素域、代数扩张、分裂域概念解释

一、定义

一个元素个数有限的域称为有限域或者伽罗瓦域
有限域中元素个数为素数，记为$GF(p)$。
有限域中的元素运算满足交换律，结合律和分配律。

特征：存在某个正整数$m$，使得对任意域中元素$a$,$ma=0$，则称特征为$m$，$CharF=m$。
讨论每个元素非常麻烦，幸运的是我们只需要关注单位元。如果能使单位元称为0，那么该正整数就是特征。

有限域的特征一定是素数
证：

1. 假设 ( p ) 不是素数：如果 $p$不是素数，那么 $p$可以表示为两个正整数$p=a\cdot b$，其中$1<a,b<p$。

2. 考虑$a\cdot b\cdot 1$：由于$p\cdot 1=0$(1为乘法单位元，特征的性质)，我们有$a\cdot b\cdot 1=0$。

3. 域的性质：在域中，乘法是结合的，所以$a\cdot (b\cdot 1)=0$。由于$b\cdot 1$是域中的元素，且$b\ne p$，所以$b\cdot 1\ne 0$。

4. 矛盾：因此，我们得到$a\cdot (b\cdot 1)=0$，其中$a\ne 0$且$b\cdot 1\ne 0$。这与域的性质矛盾，因为在域中，两个非零元素的乘积不能为零(域无零因子)。

素域：不包含任何真子域的域（其任何真子集都不能构成域）。

定理：阶为素数$p$的有限域必然是素域，特征为这个素数$p$。
证：设$K$是$F$的子域，那么$K$的加法群是$F$加法群的子群，那么$|K|||F|$，$|F|$是素数，因此$|K|=|F|$
因为有限域特征为素数，假设$F$特征为$p^{\prime }$。那么K={e,2e,...,p′e}K=\{e,2e,...,p'e\}K={e,2e,...,p′e}互不相等。封闭性知$K\subset F$，所以$p^{\prime }<p$。$K$是$F$真子域。矛盾。

定理：特征为素数$p$的域$F$的素子域同构于$Z_p$
证：设$P$是$F$的子域，那么$0,1\in P$。$F$的特征为$p$，因为$0,1\in P$，所以有{m⋅1∣m∈Z}⊂P\{m\cdot 1|m\in Z\}\subset P{m⋅1∣m∈Z}⊂P。构造映射$\varphi :Z\to P:m\to m\cdot 1$。
$\varphi$是环同态映射，$ker\varphi =<p>$。所以$Z_p=Z/ker\varphi$同构于$\varphi (Z)\subset P$.因为$Z_p$是域，$P$是素域，所以两者同构。

代数元：设$K$是$F$的子域，$a\in F$,如果$a$是$K$上某个非零多项式的根，则称$a$是$K$上的代数元。如果$K$上的一个扩张的所有元素均为$K$上的代数元，那么称之为代数扩张。

设$K$是$F$的子域，$a\in F$,如果$a$是$K$上一个代数元，则$K[x]$中满足$f(a)=0$的次数最小的多项式称之为$a$在$K$上的极小多项式，该多项式次数称之为代数元次数。极小多项式一定是不可约多项式。

设$K$是$F$的子域，$|K|=q$，$[F:K]=n$，则$|F|=q^n$。
证：$F$看作向量空间，$K$看作基域，$F$的基为$b_1,...b_n$。$F$中的元素均可以表示为$a_1{b}_1+...+a_n{b}_n,a_i\in K$。因为$|K|=q$，所以一共有$q^n$中线性表示。$|F|=q^n$

任何有限域的阶必然是$p^n$形式的整数
证：

1. 素域：任何有限域 $F$都包含一个素子域$GF(p)$，其中$p$是$F$的特征。素域 $GF(p)$ 是包含 $p$个元素的域，它的元素是{0,1,2,…,p−1}\{0, 1, 2, \ldots, p-1\}{0,1,2,…,p−1}。

2. 扩张次数：有限域$F$可以看作是素域 $GF(p)$的一个扩张。设 $[F:GF(p)]=n$，这意味着 $F$ 可以看作是 $GF(p)$上的 $n$ 维向量空间。

3. 元素个数：由于$F$是 $GF(p)$ 上的 $n$ 维向量空间，$F$ 中的任何元素都可以唯一地表示为 $GF(p)$ 中元素的线性组合。因此，$F$ 中的元素个数是 $p^n$。

4. 结论：因此，任何有限域的阶必然是 $p^n$ 形式的整数。

具有相同元素个数的有限域都是同构的，因此阶为$p$的有限域统一用$GF(p)$表示。

举例：
$F_9$可以看作$F_3$通过添加一个二次不可约多项式的根$a$得到的代数扩张。极小多项式为$f(x)=x^2+1$是$F_3$上的不可约多项式。设$a$为其在$F_9$的根，即$a^2+1=0$。则$1,a$是$F_9$在$F_3$的一组基，从而通过代数扩张得到F9={0,1,2,a,1+a,2+a,2a,1+2a,2+2a}F_9=\{0,1,2,a,1+a,2+a,2a,1+2a,2+2a\}F9​={0,1,2,a,1+a,2+a,2a,1+2a,2+2a}。

从上面已知任何有限域的阶必然是$p^n$形式的整数，那么对任意素数$p$，任意正整数$n$，是否存在阶位$p^n$的有限域呢？答案是肯定的！

设$F$的阶为$q$，$K$是$F$的子域，$\forall a\in F$:

1. $a^q=a$
2. $x^q-x\in K[x]$在$K$上的分裂域为$F$，且$x^q-x={\prod }_{a\in F}(x-a)$

证：

1. $a$为零元，显然成立。$a$不为零元，$F$中的非零元构成乘法阿贝尔群，阶位$q-1$，$a^{q-1}=e$,所以$a^q=a$。
2. 由1知，$F$的元素与多项式的根一一对应。 $F$的元素都是$x^q-x$的根。所以$x^q-x={\prod }_{a\in F}(x-a)$。所以$x^q-x$在$F$里分裂，$K$上的分裂域为$F$。

对于任意的素数$p$，任意正整数$n$，都存在阶为$p^n$的有限域。任何阶为$p^n$的有限域同构于$x^{p^n}-x$在$Z_p$的分裂域。
证：设$F$是$x^q-x$在$Z_p$的分裂域（$q=p^n$）。该多项式（模p）导数为1.因此该多项式在$F$有$q$个不同的根。
设S={a∈F∣aq−a=0}S=\{a\in F|a^q-a=0\}S={a∈F∣aq−a=0}，可以证明$S$是$F$的子域。又因为$f(x)$在$S$中可以分解成一次因式的乘积，$S$是在$Z_p$的分裂域。$f(x)$在$Z_p$任意两个分裂域同构。则$S=F$,$|S|=q$，所以$|F|=q$。
$|F|=p^n$，$F$特征为$p$，所以包含同构于$Z_p$的素子域。所以$Z_p[x]$上$x^{p^n}-x$的分裂域为$F$。分裂域唯一，所以任何阶为$p^n$的有限域同构于$x^{p^n}-x$在$Z_p$的分裂域。

举例：
好的，让我们通过一个具体的例子来说明分裂域的概念。

例子：分裂域的构造

假设我们有一个多项式$f(x)=x^2-2$，我们想要找到这个多项式在有理数域 $\mathbb{Q}$ 上的分裂域。

1. 确定多项式的根：

   • 多项式$f(x)=x^2-2$的根是$\sqrt{2}$和$-\sqrt{2}$。
   • 这两个根都不是有理数，因此它们不在 $\mathbb{Q}$ 中。

2. 构造分裂域：

   • 为了构造 $f(x)$ 在 $\mathbb{Q}$ 上的分裂域，我们需要包含这两个根。
   • 考虑域扩张 $\mathbb{Q}(\sqrt{2})$，这是包含$\sqrt{2}$ 的最小域。
   • 由于 $-\sqrt{2}$可以通过乘以 $-1$从 $\sqrt{2}$ 得到，而 $-1$已经在 $\mathbb{Q}$中，所以 $-\sqrt{2}$ 也在 $\mathbb{Q}(\sqrt{2})$ 中。

3. 验证分裂域：

   • 在 $\mathbb{Q}(\sqrt{2})$ 中，多项式 $f(x)$可以分解为 $(x-\sqrt{2})(x+\sqrt{2})$。
   • 因此，$\mathbb{Q}(\sqrt{2})$ 是包含 $f(x)$所有根的最小域扩张。

4. 结论：

   • 多项式 $f(x)=x^2-2$在 $\mathbb{Q}$ 上的分裂域是 $\mathbb{Q}(\sqrt{2})$。
     域 $\mathbb{Q}(\sqrt{2})$包含所有可以表示为$a+b\sqrt{2}$形式的数，其中$a$和$b$是有理数。

因此具有相同个数的有限域是同构的。