利用域扩张证明√2+√3+√5为无理数的思路验证及疑问解答

你的这个思路整体是完全正确的！而且用伽罗瓦理论来解决这个无理数问题，比初等方法更能体现代数结构的本质，非常棒。

先帮你梳理并验证一下核心逻辑：

• 我们的目标是证明$\sqrt{2}+\sqrt{3}+\sqrt{5}$是无理数，等价于证明$\mathbb{Q}(\sqrt{2}+\sqrt{3}+\sqrt{5})$是$\mathbb{Q}$的非平凡扩张（也就是扩张次数大于1），而你最后其实推导出了更强的结论：$\mathbb{Q}(\sqrt{2}+\sqrt{3}+\sqrt{5}) = \mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$，这个结论是对的。

接下来详细拆解你的步骤，同时解答你的疑问：

1. 关于伽罗瓦群的基本性质 #

你提到的“固定$\mathbb{Q}$的自同构会在每个极小多项式的根之间置换”，这个结论是完全成立的，而且是伽罗瓦理论里的基础结论之一，我帮你补一下推导逻辑：
假设$\sigma$是$\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$的一个$\mathbb{Q}$-自同构，对于任意代数元$\alpha$（比如$\sqrt{2}$），设它的极小多项式是$f(x) \in \mathbb{Q}[x]$，那么有$f(\alpha)=0$。
因为$\sigma$固定$\mathbb{Q}$，所以$\sigma(f(\alpha)) = f(\sigma(\alpha)) = \sigma(0) = 0$，这说明$\sigma(\alpha)$也是$f(x)$的根。反过来，对于$f(x)$的任意根$\beta$，我们确实可以构造出把$\alpha$映射到$\beta$的$\mathbb{Q}$-自同构，这就是你说的“逐次扩张”思路：

• 首先，$\mathbb{Q}(\sqrt{2})$是$\mathbb{Q}$的二次扩张，我们可以构造自同构$\sigma_1: \sqrt{2} \mapsto -\sqrt{2}$，固定$\mathbb{Q}$；
• 把$\sigma_1$扩张到$\mathbb{Q}(\sqrt{2},\sqrt{3})$：因为$\sqrt{3}$在$\mathbb{Q}(\sqrt{2})$上的极小多项式还是$x^2-3$（$\sqrt{3}$不在$\mathbb{Q}(\sqrt{2})$里），所以可以把$\sigma_1$延拓为$\sigma_2$，让$\sigma_2(\sqrt{3}) = \pm\sqrt{3}$，固定$\mathbb{Q}(\sqrt{2})$；
• 再把$\sigma_2$扩张到$\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$：同理，$\sqrt{5}$不在$\mathbb{Q}(\sqrt{2},\sqrt{3})$里，极小多项式还是$x^2-5$，所以可以进一步延拓为$\sigma_3$，让$\sigma_3(\sqrt{5}) = \pm\sqrt{5}$，固定$\mathbb{Q}(\sqrt{2},\sqrt{3})$。

这样一来，所有可能的“对每个平方根取正负”的组合，都对应一个$\mathbb{Q}$-自同构，所以$\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$的伽罗瓦群的阶是$2 \times 2 \times 2 = 8$（这里你之前写的6是笔误哦，三个独立的二次扩张，阶应该是$2^3=8$）。

2. 验证核心推导 #

你说的“如果一个自同构固定$\sqrt{2}+\sqrt{3}+\sqrt{5}$，那么它一定是恒等自同构”，这个结论是关键，我们可以简单验证一下：
假设$\sigma$是伽罗瓦群中的一个自同构，满足$\sigma(\sqrt{2}+\sqrt{3}+\sqrt{5}) = \sqrt{2}+\sqrt{3}+\sqrt{5}$，也就是：
$$\sigma(\sqrt{2}) + \sigma(\sqrt{3}) + \sigma(\sqrt{5}) = \sqrt{2}+\sqrt{3}+\sqrt{5}$$
其中$\sigma(\sqrt{2}) = \pm\sqrt{2}$，$\sigma(\sqrt{3}) = \pm\sqrt{3}$，$\sigma(\sqrt{5}) = \pm\sqrt{5}$。
我们可以反证：如果其中有一个符号取负，比如$\sigma(\sqrt{2}) = -\sqrt{2}$，而$\sigma(\sqrt{3})=\sqrt{3}$，$\sigma(\sqrt{5})=\sqrt{5}$，那么左边就是$-\sqrt{2}+\sqrt{3}+\sqrt{5}$，显然不等于右边（因为$\sqrt{2} \neq 0$）；同理，任何一个或多个符号取负的情况，左边的结果都不可能等于右边，只有当所有符号都取正，也就是$\sigma$是恒等自同构时，等式才成立。

根据伽罗瓦对应，$\mathbb{Q}(\sqrt{2}+\sqrt{3}+\sqrt{5})$对应的伽罗瓦子群就是“固定这个和的自同构组成的子群”，也就是只有恒等元的子群。而伽罗瓦对应是“子群和中间域一一对应，子群的阶等于大扩张次数除以中间域的扩张次数”，所以：
$$[\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5}) : \mathbb{Q}(\sqrt{2}+\sqrt{3}+\sqrt{5})] = |\text{固定子群}| = 1$$
这就说明$\mathbb{Q}(\sqrt{2}+\sqrt{3}+\sqrt{5}) = \mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$，而这个大扩张的次数是8，显然大于1，所以$\sqrt{2}+\sqrt{3}+\sqrt{5}$不可能在$\mathbb{Q}$里，也就是它是无理数。

3. 补充一点细节 #

你提到$\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$是伽罗瓦扩张，这个是对的：它是多项式$(x^2-2)(x2-3)(x^2-5)$在$\mathbb{Q}$上的分裂域，而特征0的域上所有多项式都是可分的，所以它是伽罗瓦扩张，满足伽罗瓦对应所有的性质。

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