An Algebraic Approach to the Fundamental Theorem of Algebra

技术摘要：代数方法论下的代数基本定理

问题陈述
本文探讨了代数基本定理（FTA），该定理断言任何具有复系数的非恒等多项式都至少拥有一个复根。虽然该定理在历史上已通过分析、拓扑和代数方法得到了证明，但本研究侧重于在纯代数框架内提供一个严谨的证明。作者旨在通过建立实闭域的性质并利用伽罗瓦理论，展示复数集 $\mathbb{C}$ 的代数封闭性，从而表达实分析与复分析之间通过代数结构建立的深层联系。

方法论
作者采用了一种植根于二次型和域扩张理论的有结构代数方法。该方法通过以下逻辑阶段进行：

1. 基础定义： 论文确立了关于特征不等于 2 的域的双线性型和二次型的必要术语。它定义了形式实域（其中 $-1$ 不是平方和）以及域上的序。
2. 实闭域的特征化： 作者将实闭域定义为不包含真形式实代数扩张的形式实域。他们利用欧几里得域（每个非负元素都是平方的有序域）和毕达哥拉斯域（两个平方之和仍为平方的域）的性质来刻画这些结构。
3. 扩张理论与二次型： 一个关键的技术步骤是证明：若 $F$ 是一个形式实域，则任何奇数次扩张 $K/F$ 都会保持其形式实性质。这依赖于关于二次型（特别是 $n\langle 1 \rangle$）在奇数次扩张下的各向异性的 Springer 定理。
4. 伽罗瓦理论论证： 证明的核心利用伽罗瓦理论来分析扩张 $F(\sqrt{-1})$。作者证明，若 $F$ 是一个每个奇数次多项式在 $F$ 中都有根的欧几里得域，则 $F(\sqrt{-1})$ 是二次封闭的。通过分析正规闭包的伽罗瓦群并应用西洛理论（特别是关于 2-西洛子群的部分），他们表明 $F(\sqrt{-1})$ 不存在真代数扩张。

主要贡献与结果
本文呈现了一个自洽的代数证明，用于证明代数基本定理，该证明归功于 Artin 和 Schreier 的思想。具体贡献包括：

• 定理 4.1： 证明对于任何欧几里得域 $E$，扩张 $E(\sqrt{-1})$ 是二次封闭的。这是通过证明 $E(\sqrt{-1})$ 中的每个元素都可以表示为同一域中另一个元素的平方来实现的，这利用了 $E$ 的毕达哥拉斯性质。
• 定理 4.2： 确立了若 $F$ 是一个每个奇数次多项式在 $F$ 中都有根的欧几里得域，则 $F(\sqrt{-1})$ 是代数封闭的。该证明依赖于这样一个事实：此类域 $F$ 不存在奇数次扩张，从而迫使 $F(\sqrt{-1})$ 的任何代数扩张都必须是 2-扩张。由于 $F(\sqrt{-1})$ 已经是二次封闭的，因此不存在非平凡的 2-扩张，从而意味着代数封闭。
• 推论 4.3： 将一般定理应用于实数域 $\mathbb{R}$。作者验证了 $\mathbb{R}$ 是一个欧几里得域（作为具有唯一序的毕达哥拉斯域），并且 $\mathbb{R}[x]$ 中的每个奇数次多项式都有实根（调用介值定理来保证根的存在性）。因此，他们得出结论：$\mathbb{R}(\sqrt{-1}) = \mathbb{C}$ 是代数封闭的。

意义
本文声称其意义在于提供了一个清晰的、代数化的代数基本定理推导过程。通过分离出该定理的代数对应部分，作者展示了 $\mathbb{C}$ 的代数封闭性是 $\mathbb{R}$ 的实闭性质以及二次型性质的直接结果。这项工作强调了域论、序以及伽罗瓦理论之间的相互作用，提供了一个在保持主要代数结构的同时，对分析要求极小（特别是在利用介值定理保证 $\mathbb{R}$ 中奇数次根的存在性方面）的证明。这种方法强化了该定理的基础地位，并使其能够通过多样化的数学视角进行理解。