关于域扩张的核心疑问：不可随意添加符号扩张域的原因及代数闭域无有限扩张的证明

我的核心困惑 #

最近回顾基础域论时，我对域扩张的概念彻底搞混了。举个例子，我们从$\mathbb{R}$构造$\mathbb{C}$时，就是添加了满足$i^2=-1$的符号$i$，得到$\mathbb{C}=\mathbb{R}(i)$。

但$\mathbb{C}$是代数闭域——所有复系数多项式都在$\mathbb{C}$中有根。这里我就懵了：为什么从这里能推出$\mathbb{C}$不存在任何进一步的域扩张？大家都说这是显然的，但我没法写出严谨的证明。

我还想不通：为什么不能随便给一个域$k$添加新符号$z$，定义$k(z)={a+bz\mid a,b\in k}$呢？比如让$z^{2=1$——我知道$1}2=1$，$(-1)^2=1$，但这有什么问题？为什么不能有两个不同的元素平方后等于同一个元素？

我还定义了加法和乘法：
$$(a+bz)+(c+dz)=(a+c)+(b+d)z$$
$$(a+bz)\cdot(c+dz)=ac+adz+bcz+bdz^2=(ac+bd)+(ad+bc)z$$
看起来所有域的性质都满足啊，问题到底出在哪？

补充问题：既然我们可以对任何域做这类扩张（虽然扩张后的结构不一定是域），那怎么证明代数闭域（比如$\mathbb{C}$）没有有限域扩张——也就是这类添加符号得到的结构不可能是域？

问题拆解与解答 #

1. 为什么随便加符号得到的不一定是域？ #

你刚才定义的$k(z)$当$z^2=1$时，其实不是域——问题出在逆元上！比如元素$z-1$，你试试找它的逆元：假设存在$a+bz$使得$(z-1)(a+bz)=1$，展开后是：
$$(z-1)(a+bz)=az+bz^2 -a -bz = (b - a) + (a - b)z = 1$$
这就要求方程组：
$$b - a = 1$$
$$a - b = 0$$
显然这个方程组无解，所以$z-1$没有乘法逆元，不满足域的定义！

你误以为所有运算性质都满足，但忽略了非零元素必须有逆元这个关键条件。当你添加的符号满足的方程在原域中已经有根时，构造出来的结构会有零因子（比如$(z-1)(z+1)=z^2-1=0$），而域是不允许零因子存在的——零因子的存在直接导致部分非零元素没有逆元。

2. 为什么代数闭域没有非平凡有限扩张？ #

先明确：有限扩张指的是扩张域作为原域上的向量空间，维度有限（比如$\mathbb{C}/\mathbb{R}$是2维有限扩张）。

假设$K$是代数闭域，$L/K$是一个有限扩张，我们要证明$L=K$。

任取$L$中不属于$K$的元素$\alpha$，因为$L/K$是有限扩张，$\alpha$在$K$上是代数的——也就是说存在一个非零多项式$f(x)\in K[x]$，使得$f(\alpha)=0$。但$K$是代数闭域，$f(x)$的所有根都在$K$里，那$\alpha$必须属于$K$，这就矛盾了！

换句话说，代数闭域已经包含了所有系数在自身中的多项式的根，你没法找到一个“新的”代数元素添加进去；而有限扩张中的元素必然是代数元素（因为向量空间维度有限，${1,\alpha,\alpha^2,...,\alphan}$必然线性相关，从而得到$\alpha$满足的多项式），所以根本不存在这样的“新元素”能让扩张后的结构成为域。

3. 再回头看$\mathbb{C}$的情况 #

$\mathbb{C}$是代数闭域，所以任何试图添加“新符号”构造有限扩张的尝试，要么这个符号满足的方程在$\mathbb{C}$里已有根，导致构造出的结构有零因子（不是域）；要么这个符号不满足任何$\mathbb{C}$上的非零多项式——但那就是超越扩张了，不是有限扩张，而你问的是“为什么没有进一步的域扩张”，通常指的是非平凡的代数扩张（尤其是有限扩张），超越扩张虽然存在，但不是代数扩张，而且一般我们说代数闭域“没有更大的代数扩张”。

备注：内容来源于stack exchange，提问作者Jesus