伽罗瓦群的初步定义（扩域自同构群）

引言

伽罗瓦理论是代数学中的核心分支，旨在研究多项式方程的根的对称性及其与方程可解性的关系。在代数领域，伽罗瓦群的定义直接关联到扩域的自同构群，这一理论不仅为方程的解法提供了深刻依据，也揭示了代数结构的内在对称性。伽罗瓦群的建立源于对多项式方程根的对称性研究，其核心思想是通过分析扩域的自同构群来判断方程是否可解。本文将从扩域的自同构群出发，逐步构建伽罗瓦群的定义与性质。

伽罗瓦群的定义与扩域

伽罗瓦群的定义依赖于扩域的自同构群。设$ F $为一个数域，$ \alpha $为$ F $的某个根，若$ \alpha $满足某个多项式方程$ f(x) = 0 $，则$ F(\alpha) $为$ F $的扩域。该扩域的自同构群是指所有从$ F(\alpha) $到自身保持域结构的映射的集合。
若存在一个自同构$ \sigma \in \text{Aut}_{F}(F(\alpha)) $，使得$ \sigma(\alpha) = \alpha $，则$ \alpha $称为$ F $的根，$ F(\alpha) $称为$ F $的扩域。伽罗瓦群$ \Gal(F(\alpha)/F) $即为所有这样的自同构的集合，其元素对应于$ F(\alpha) $中的根的置换。

自同构群的性质

扩域的自同构群具有以下关键性质：

生成性：自同构群由$ F(\alpha) $中的根的置换生成，其大小等于多项式$ f(x) $的次数。
群结构：自同构群是一个有限群，当且仅当多项式$ f(x) $的次数有限时成立。
对称性：自同构群的元素对应于根的排列，这些排列保持多项式$ f(x) $的结构不变。

伽罗瓦群的结构分析

伽罗瓦群的结构直接取决于多项式$ f(x) $的根的对称性。例如：

二次方程：若$ f(x) = ax^2 + bx + c $的判别式$ \Delta = b^2 - 4ac $为完全平方数，则其伽罗瓦群为循环群$ C_2 $，对应于根的交换排列。
三次方程：若$ f(x) = ax^3 + bx^2 + cx + d $的根的对称性允许置换，其伽罗瓦群可能为循环群$ C_3 $或对称群$ S_3 $，具体取决于根的对称性。
四次方程：伽罗瓦群可能为循环群$ C_4 $、对称群$ S_4 $或其子群，具体取决于多项式的分解情况。

伽罗瓦群的可解性与应用

伽罗瓦群的性质决定了多项式方程的可解性。根据伽罗瓦定理，若$ \Gal(F(\alpha)/F) $为可解群，则方程$ f(x) = 0 $在$ F $内可解。这一理论不仅为代数方程的解法提供了理论依据，也推动了群论与代数结构的研究。

总结

伽罗瓦群的定义基于扩域的自同构群，其核心在于研究多项式方程根的对称性。通过分析自同构群的结构与性质，可以判断方程的可解性，并揭示代数结构的内在对称性。这一理论在代数数论和方程解法中具有重要价值，为数学研究提供了深刻的工具和视角。