代数数的极小多项式可根式表达时是否必可解？含共轭根问题

嘿，这个问题抓得特别准，直接触碰到了伽罗瓦理论的核心逻辑！咱们先把问题的等价性理清楚：你说的“代数数的极小多项式若可根式表达是否一定可解”，和转述后的“不可约多项式一个根可根式表达，其余根是否也可根式表达”，本质上是同一个问题——因为极小多项式本身就是不可约的，而阿贝尔-鲁菲尼定理里的“可解”，对应的就是多项式的伽罗瓦群为可解群，这和“所有根都可根式表达”是等价的（特征0域下，比如我们最常用的有理数域）。

核心结论 #

答案是肯定的：如果不可约多项式的一个根可根式表达，那么它的所有根都可根式表达，对应的极小多项式也一定是可解的。

背后的伽罗瓦理论逻辑 #

• 首先，假设$\alpha$是不可约多项式$f(x)$的一个根，且$\alpha$可根式表达——按阿贝尔-鲁菲尼的定义，这意味着$\alpha$属于某个根式扩张（从有理数域出发，经过有限次加减乘除和开方操作得到的域扩张）。
• 因为$f(x)$不可约，它的所有根都是$\alpha$的代数共轭元。而伽罗瓦群（对应$f(x)$分裂域的伽罗瓦群）会通过群作用把$\alpha$映射到每一个其他的根。
• 关键来了：根式扩张的伽罗瓦闭包（也就是包含所有共轭元的最小正规扩张）仍然是根式扩张（特征0域下的结论）。这意味着所有共轭根都在同一个根式扩张里，自然也都可以用根式表达出来。
• 而根据伽罗瓦基本定理，多项式可解（伽罗瓦群是可解群）当且仅当它的分裂域包含在某个根式扩张中——所以这就直接把“所有根可根式表达”和“多项式可解”划上了等号。

联系分母有理化的背景 #

你提到的根式表达数的分母有理化，正好是这个结论的实际应用：

当我们要对一个根式表达的代数数$\beta$做分母有理化时，需要把分子分母同乘$\beta$的所有代数共轭元的乘积。

这背后的原因是：$\beta$的所有共轭元的乘积是有理数（伽罗瓦群作用下的不动元，属于基域$\mathbb{Q}$），乘完之后分母就变成了有理数，完成有理化。而这操作能成立的前提，就是$\beta$的所有共轭元也都是根式可表达的——不然这个乘积没法用根式形式写出来，但根据我们前面的结论，它们必然都可以，所以这个操作是可行的。

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