通过轨道有限性实现 Galois 扩张

我们提出了一种基于自同构群在域上的自然作用的 Galois 理论的轨道论重述。给定域 E 和自同构群 Aut(E) 的子群 H，我们证明了扩张 E/E^H（其中 E^H 表示 H 的不动域）的代数性质编码在 H 在 E 上的作用所产生的 H-轨道中。元素 α∈E 在 E^H 上是代数的当且仅当其 H-轨道是有限的。在这种情况下，其极小多项式可以显式地构造为其轨道上线性因子的乘积——这一构造也确保了可分性。在域扩张的层面上，我们证明了 E/E^H 是 Galois 扩张当且仅当所有 H-轨道具有有限长度，并且 E/E^H 是有限 Galois 扩张当且仅当 H-轨道的长度有上界。这提供了代数性、可分性、正规性和次数的统一轨道论刻画。Artin 引理作为该框架的直接推论被重新得到。最后，我们证明对于简单扩张，Aut(F(α)/F) 的子群 H 下的不动域可以通过在 α 的 H-轨道（假设该轨道有限）上求初等对称多项式来显式描述。这导致了一种直接从轨道数据计算不动域的有效方法。文中包含一个经典例子来说明该方法。