$\mathbb{Q}$的代数闭包是什么？请阐述其定义与具体形式

咱们直接切入正题：$\mathbb{Q}$的代数闭包通常记作$\overline{\mathbb{Q}}$，它是满足你描述条件的最小域——既包含$\mathbb{Q}$，又能让每一个有理系数多项式都在里面找到根，而且没有比它更小的域能做到这一点。

它的具体元素构成 #

$\overline{\mathbb{Q}}$里的所有元素就是我们说的代数数，简单拆解来看：

• 首先包含所有有理数本身；
• 然后包含所有有理系数非零多项式的根——比如虚数单位$i$（满足$x^{2+1=0$）、$\sqrt{2}$（满足$x}2-2=0$）、三次根号$\sqrt[3]{5}$、n次本原单位根$\zeta_n$（满足分圆多项式$\Phi_n(x)=0$）；
• 而且这些元素做加减乘除（除数不为0）得到的结果也都在$\overline{\mathbb{Q}}$里，比如$\sqrt{2}+i$、$\frac{\sqrt[3]{5}}{\zeta_3}$这类组合元素也属于它。

为什么没法写成"有限扩张"的形式 #

你可能会好奇，能不能像$\mathbb{Q}(i)$或者$\mathbb{Q}(\sqrt{2})$那样，用“添加有限个元素到$\mathbb{Q}$上”来表示$\overline{\mathbb{Q}}$？答案是不行的——因为$\overline{\mathbb{Q}}$是无限生成的域扩张：

• 存在无穷多互不相干的不可约有理系数多项式，它们的根无法用有限个元素的加减乘除表示出来。比如所有素数的平方根$\sqrt{2},\sqrt{3},\sqrt{5},\dots$，每一个都需要单独“添加”到$\mathbb{Q}$里，没法用其他几个的组合得到；
• 换句话说，你永远没法通过添加有限个元素来覆盖所有有理系数多项式的根，必须无限次地添加新的根元素。

和复数域$\mathbb{C}$的关系 #

我们通常把$\overline{\mathbb{Q}}$看作复数域$\mathbb{C}$的一个子域：因为$\mathbb{C}$本身是代数闭的，所有代数数（也就是$\overline{\mathbb{Q}}$的元素）都能在$\mathbb{C}$里找到。反过来，$\overline{\mathbb{Q}}$就是$\mathbb{C}$中所有代数数构成的集合，它是$\mathbb{C}$的真子域——像$\pi$、$e$这种“超越数”（不满足任何有理系数多项式的数）就不在$\overline{\mathbb{Q}}$里。

内容的提问来源于stack exchange，提问作者user249018