34、数学中的不可能性证明与不完备性定理

数学中的不可能性证明与不完备性定理

在数学的广阔领域中，有两个重要的研究方向值得深入探讨，一是五次方程的不可解性，二是不完备性定理。下面我们将详细介绍这两方面的内容。

五次方程的不可解性

在群论中，某些群的元素具有特定的性质。例如，一个群中的元素可能都是偶置换，即具有偶数个逆序的置换，或者等价地，具有偶数个偶循环的置换。以(A_5)群为例，要证明它是非阿贝尔群，只需选取两个合适的偶置换进行验证；而证明(A_5)是单群则需要考虑多种情况，但本质上不需要使用太多理论。

利用初等群论可以证明，任何包含不可解群的群也是不可解的。特别地，(S_5)（五个元素的所有置换构成的群）是不可解的。现在我们来证明满足特定条件的五次多项式的分裂域的伽罗瓦群是(S_5)。
- 证明伽罗瓦群中存在 2 - 循环 ：对于我们所考虑的多项式，复共轭操作可以交换两个复根，同时保持实根不变，这就表明伽罗瓦群中存在 2 - 循环（对换）。
- 证明伽罗瓦群中存在 5 - 循环 ：
1. 取方程的任意一个根(\alpha)，考虑通过添加这个根得到的扩域(Q(\alpha))。根据相关命题，这个扩域的次数是 5。
2. 但(Q(\alpha))不是伽罗瓦扩域，所以不能直接得出伽罗瓦群中有 5 - 循环。
3. 由于(Q(\alpha))是我们所考虑扩域的中间域，根据次数的乘法公式，分裂域的次数能被 5 整除，从而伽罗瓦群的大小也能被 5 整除。
4. 根据群论中的一个基本结果（归功于柯西），如果一个群的大小能被素数(p)整除，那么该群中存在一个阶为(p)的元素(g)，即(g^p = 1