galois定理-高斯定理

要想深入掌握伽罗瓦定理，必须首先理解其背后的群论支撑。

• 配域与根式：给定一个$n$次多项式$f(x)$，若存在一个$n$次扩域$k$使得$f(x)$在该域内可约，则称$k$为$f(x)$的一个根式域。这意味着，通过有限次根式运算，理论上可以将多项式的根统一到一个代数扩张中。
• 扩域群：设$G$是分裂域$K$在复数域$mathbb{C}$中的子群，即$G$是多项式$f(x)$在$mathbb{C}$上的根的一个置换群。伽罗瓦定理指出，对于不可约$n$次多项式，其根式扩张的度数$[K:mathbb{Q}]=|G|$，其中$G$是$f(x)$对应群，即$f(x)$的所有根构成的自然置换群。
• 伽罗瓦群：一个有限群$G$，若其阶$n$等于$n$次多项式的次数，则称$G$为$f(x)$的伽罗瓦群。伽罗瓦定理的核心内容在于，任何一个$n$次可解多项式，其伽罗瓦群必须是阿贝尔群，即群中元素的乘法交换律成立，这保证了根的根式表达式的代数可解性。
• 根式扩张：当多项式的伽罗瓦群是阿贝尔群时，根可以通过有限次根式运算得到。这意味着，若一个方程的根式扩张是有限度的，那么我们就可以通过一系列加减乘除和开方操作，将非根式根转化为根式形式。

让我们通过一个具体的例子来直观感受伽罗瓦定理的力量。

考虑方程$x^5 - 2 = 0$。这是一个五次多项式，其根为$sqrt[5]{2}, omegasqrt[5]{2}, omega^2sqrt[5]{2}, omega^3sqrt[5]{2}, omega^4sqrt[5]{2}$，其中$omega$是三次本原根。

我们来分析其根式扩张。由于$2$是整数，$sqrt[5]{2}$显然在$mathbb{Q}(sqrt[5]{2})$中。进一步观察，$omega$是三次本原根，满足$z^3-1=0$且$zneq 1$。
因此，$omega$可以表示为$cos(2pi/3)$的形式，而$sqrt[5]{2} = 2^{1/5}$。这两个数都是代数数。将它们合并，$sqrt[5]{2}+omegasqrt[5]{2}$是否构成新的代数元？是的，因为$z = sqrt[5]{2}+omegasqrt[5]{2}$，则$z - sqrt[5]{2} = omegasqrt[5]{2}$，代入$z^3=1$（调整系数）可得$sqrt[5]{2}(1+omegasqrt[5]{2}) = omega$，进而解出$sqrt[5]{2}$，说明$sqrt[5]{2}$在$mathbb{Q}(omegasqrt[5]{2})$中。但事实上，$mathbb{Q}(omegasqrt[5]{2})$的秩为4，而$mathbb{Q}(sqrt[5]{2})$的秩为1，两者显然不同，因此$sqrt[5]{2}+omegasqrt[5]{2}$确实是新的根。

这里可能存在一个误区。历史上伽罗瓦曾试图证明五次方程无根式解，但后来发现五次方程在有限域扩展下其实可以根式求解，只是需要允许更多类型的根式运算。实际上，$x^5 - 2$的伽罗瓦群结构决定了其解法。由于$x^5-2$的根是$alpha, beta, gamma, delta, epsilon$，其中$beta=alphaomega$, $gamma=alphaomega^2$等，它们生成的群$G$包含5阶半直积结构。伽罗瓦定理告诉我们，这些根确实可以通过代数扩张（包括非纯根式扩张）与系数域$mathbb{Q}$建立对应关系，只是具体的构造过程比简单的“开方”要复杂得多。每一个根都对应群的一个元素，而每个元素对应一个幂次的扩张。

进一步来看，如果我们要判断$x^5 - 2$是否可以用有限的根式表达，关键在于其伽罗瓦群是否具有阿贝尔结构。对于$x^5 - 2$，其根是$alpha, alphaomega, alphaomega^2, alphaomega^3, alphaomega^4$。对应的伽罗瓦群$G$由这5个元素生成。我们可以发现，对于任意$g in G$，都有$g^2 = g^{-1} = g^{-1}$（因为逆元等于自身），且$g^5 = text{id}$。这表明$G$的每个元素都满足$x^2-x+1=0$，即$G$中所有元素都是2阶元素。
因此，$G$是一个由2阶元素生成的阿贝尔群，且阶数为5。由于5是素数，任何有限阿贝尔群分解为素数幂的直积，这里5本身就是素数，所以$Gcong C_5$（循环群）。因为$G$是循环群，所以它是阿贝尔群，这意味着$x^5 - 2$的根确实是可根式表达的。

这一结论体现了伽罗瓦定理的深刻性：它告诉我们，多项式方程的解是否可根式表达，完全取决于其伽罗瓦群的结构。如果群是阿贝尔的，则存在可解解；如果群是非阿贝尔的，则可能存在非根式解。
例如，$x^4+x^3+x^2+x+1=0$，其伽罗瓦群是二面体群$D_4$，不是阿贝尔群，因此该方程没有根式解，只能求助于三角函数或黎曼$zeta$函数的解析方法。

在现代应用层面，伽罗瓦定理的启示无处不在。在密码学领域，特别是RSA加密算法中，安全性依赖于大整数分解的困难性。RSA 算法的生成过程涉及两步运算：$p$和$q$是两个大质数，通过$e cdot d = phi(pq)$求出$e$和$d$，其中$e$是公钥，$d$是私钥。这里的$pq$是6位字节，而$phi(pq)$是$phi(p) cdot phi(q) = (p-1)(q-1)$，其位数远大于$pq$。根据伽罗瓦定理，对于乘积$pq$，存在一个$n$次扩域$s$，使得$p$和$q$都能被$s$的元素表示，且$s$的次数$n$等于$p+q$。这意味着，即使我们试图通过根式运算来分解$pq$，所需的代数扩张次数将是指数级的，这在计算上是不可行的。这就是为什么现代密码学能够安全进行的原因。

在计算代数几何领域，伽罗瓦群的概念被用于构建计算机辅助证明系统。通过计算多项式根的伽罗瓦群，研究者可以判断特定多项式的根是否具有特定的结构属性，从而加速数值算法的选择。
例如，在求解高次方程时，如果发现其伽罗瓦群具有特定的对称性，可以推断出某些根之间存在线性关系，大大简化了求解过程。
除了这些以外呢，在信号处理与通信理论中，伽罗瓦群的概念也被用于分析线性系统的稳定性，通过扩张域的度数和根的分布，预测系统的动态响应特征。

我们需要重温伽罗瓦定理的历史价值。在伽罗瓦之前，数学家们试图用根式的形式表示方程的根，比如三次方程$x^3 - 2x + 1 = 0$，其根可以用立方根表示，但四次方程$x^4 - 2 = 0$的根则需要用到四阶根式，且无法用简单的有限根式表示。伽罗瓦在《代数原理》中大胆提出，如果多项式是不可约的，那么其根不一定能用根式表示，而应该能用扩张域表示。这一观点彻底颠覆了当时的数学界，却也是第一部关于抽象代数原理的著作。尽管伽罗瓦未能给出完整的解决方案，但他的思想为后来的数学家们指明了方向，使得代数几何与解析几何取得了辉煌的成就。

伽罗瓦定理不仅是一个古老的数学定理，更是连接古代代数与现代农业数学的桥梁。它告诉我们，代数方程的解不仅仅是数字的集合，更是代数结构的体现。通过理解根与系数的关系，以及扩张群与置换群之间的对应，我们得以破解无数看似无解的方程谜题。伽罗瓦定理的广泛应用，从密码安全的基石到人工智能的底层算法，都彰显着其永恒的生命力。在这个数字化的时代，重温伽罗瓦的定理，不仅是对历史的致敬，更是对未来科学探索的深远启迪。