伽罗瓦理论基本定理-伽罗瓦理论基本定理

欧拉公式，也就是 $e^{itheta} = costheta + isintheta$，这玩意儿一出现，数学界就静了。它和 $pi$ 一样，是数学家们琢磨了无数代才挖出来的宝藏，直到黎曼在 1854 年那块破书里把它给写上了名。
那时候，大量智慧人认定，只要算出这些公式，把 $pi$ 和 $e$ 的倍数算得充足准，就能说明宇宙的构造规律。可事件并不像你想象的那样浪漫。 直到伽罗瓦出现，他像是一个突然被某种更深层逻辑击中的孩子，把手里的算盘往地上一摔。他盯着那些代数方程，突然认定前面的那些“漂亮公式”像是个哈哈镜，只映出了表面现象，却遮住了底下更深的秘密。他意识到，根之间的关系，不只是是数值上的相等，而是一种结构上的等价。
这就像是你手里拿着一个形状怪的盒子，你有办法把它拆成两半，但拆开之后，要是你只记下了盒子的总重量和总长度，你就一辈子无法知道里面具体装的是不是两个彻底一样的几何体。伽罗瓦要做的，就是找出这个盒子里到底藏着啥“不变量”。 他发明的工具叫群论。
那会儿大家算代数方程头疼，认定这玩意儿又高又深，根本摸不着头脑。伽罗瓦说，这玩意儿实际上就是个“群”。群，听起来像是一群人的聚会，但在代数里，它代表的是“置换”和“保持结构不变的变换”。想象一下你在解那个著名的三次方程，你试图把它拆解成好办的根。你用了三次根号，用到了多项式，系数 $a$、$b$、$c$ 随意你写，只要它们加起来是个整数，方程就成立。你找到的三个根 $r_1$、$r_2$、$r_3$，它们之间有复杂的加减乘除关系，形成一个有机的整体。 当你换掉系数 $a$，让一个新的方程 $a'$ 出现，要是你只是做了一次合法的代数操作（比如加个常数，要么平方根），原来的根 $r_1, r_2, r_3$ 依然存有。
这时候，伽罗瓦说：看！它们之间的结构关系没变，只是排列换了。
故此 $r_1$ 和原来的 $r_1$ 是等价的，$r_2$ 和原来的 $r_2$ 也是等价的。但有一件事变了，那就是 $r_1$ 和 $r_2$ 之间的这种“等价性”变了。
原来它们互相关系紧密，目前它们可能互不相关了。
这就好比你把一张皱巴巴的纸揉成一团，揉完之后，你再也看不见纸片原本的纹路，你只知道它是个团状物。 这个“团状物”就是根之间的“伽罗瓦群”。
这个群的元素就是所有的合法变换。伽罗瓦的理论说，代数方程的根，本质上就是它们的所有可能变换。
要是你能找到一个变换，能把 $r_1$ 变成 $r_2$，那你就能说它们是等价的。再加上伽罗瓦的“不变量”理论，要是一个方程能算出解，就能算出它的伽罗瓦群；要是算不出解，那这个群的运算结构就注定是不可解的。
这就好比你在看一个复杂的分子结构，要是你能拆解成根本粒子，你就知道一切；要是你只能看到它的热运动，你就一辈子无法知道它是不是确实能分解。 这种“可解性”的区分，直接害得了 $pi$ 和 $e$ 的命运。 我们知道，任何多项式方程，只要其系数是整数，就应当有代数解。
这是一个死规矩。
故此，任何多项式方程的根，一定都能用初等代数算出来。
这就是为啥伽罗瓦的群论如此关键，出于它是检验一个方程是否“真能解”的终极标准。 可是，$pi$ 和 $e$ 不是多项式方程的根。它们不是 $x^2 + 1 = 0$ 的解，也不是 $x^3 - x + 1 = 0$ 的解。它们不是整系数系数构成的方程能碰到的。
故此，它们不能通过初等代数运算拿到。
既然代数方程的根务必能算出来，而 $pi$ 和 $e$ 偏偏算不出来，这就形成了一个死结。 为啥 $pi$ 算不出来，不是一堆巧合？这是出于 $pi$ 的伽罗瓦群结构忒复杂了。在伽罗瓦的理论里，要是两个代数扩张等价，它们的伽罗瓦群就同构。而 $pi$ 的扩张，它的伽罗瓦群结构并不像任何已知的初等代数结构，它忒乱了。伽罗瓦发现，这个群里竟然包含了“符号置换”，比如把 $i$ 变成 $-i$。
这个置换操作本身就是一个代数变换，并且它能把 $1$ 变成 $-1$。
要是这个置换确实存有，那 $i$ 就归于这个置换向量空间。便，$1$ 和 $i$ 之间就有一种“等价性”，而这种等价性，恰好对应了代数扩张的“解的存有性”。 这就解释了为啥 $i$ 能放进方程 $x^2 + 1 = 0$ 里，出于 $i$ 的“等价性”被那个符号置换给“激活”了。
反过来，$pi$ 和 $e$ 的扩张，它们的伽罗瓦群结构里找不到任何这种“激活”的机制。它们的群结构忒“死板”了，要么说，忒“自由”了，以至于无法通过任何代数变换把某个特定值从“不可达”变成“可达”。
要是它们的群结构里确实准这种跳跃，那它们就能被算出，就能被多项式方程所捕获，但它们偏偏做不到。 这就把两个难题给解开了：为啥根要那么多，为啥它们要如此复杂？是出于我们追求的不是“能算出来”，而是“结构上等价”。当所有的代数变换都试过了，所有的置换都试过了，所有的不变量都试过了，剩下的那些值，比如 $pi$，就一辈子无法通过“等价性”被赋予“解”的身份。 实际上，目前的现代数学家大多已经不再执着于“可解性”这个标签了。
只要你能在空间里找到它，它就是存有的；只要它在伽罗瓦群里有一个对应的变换，它就是等价的。
这就像是你去市场上买了个苹果，别看它的“可拆分性”和那个橘子不一样，但你只要拥有它，它就是苹果。 伽罗瓦并没有告诉我们哪儿能解，也没告诉我们哪儿不能解。他只是告诉我们，所有的数学家，当你面对一个代数方程时，都要问一个难题：它的根之间，到底藏着怎么着的等价性？一旦你识别出了这个群的结构，你就知道了，这个方程要么是初等可解的，要么就是不能通过初等代数解决的。 那个 $pi$ 的符号置换，那个 $i$ 的 $1$ 变 $-1$ 的跳跃，正是这种等价性最生动的注脚。它让我们明白，数学的真理往往不藏在具体的数值里，而藏在这些数值之间那不可言说的、紧密相连的“结构关系”里。
那些算不出来的数，并不是出于智慧人算错了，而是出于宇宙本身的构造，回绝被任何初等代数公式所“翻译”和“翻译出”。
这就是伽罗瓦理论最冷酷，也是最迷人之处：它用一组群论规则，定义了一整套“能解”与“不能解”的边界，而 $pi$ 和 $e$，就是站在边界上，无法通过任何初等代数语言被描述出来的孤勇者。