给定有限正规扩张K/F，探究[K(α):F(α)]与[K:F]的关联

嘿，这个问题问到了域扩张里非常核心的一个关联点，咱们一步步拆解来梳理清楚：

核心结论 #

[K(α):F(α)]一定整除[K:F]，这是两者最关键的数量关联。

推导过程 #

我们可以结合域扩张的基本法则和正规扩张的特性来推导：

1. 先梳理扩张塔结构：
   • 存在双层扩张链：F ⊆ F(α) ⊆ K(α) 和 F ⊆ K ⊆ K(α)
     根据域扩张次数的乘法法则，有等式：
     [K(α):F] = [K(α):F(α)] · [F(α):F] = [K(α):K] · [K:F]
2. 注意到K(α)是K与F(α)的复合域，即K(α) = K · F(α)。对于复合域，有经典的次数公式：
   [K · F(α):F(α)] = [K:K ∩ F(α)]
3. 由于K/F是有限正规扩张，K与F(α)的交K ∩ F(α)作为K的子域，必然也是F上的正规扩张（正规扩张的交集仍为正规扩张）。因此[K:K ∩ F(α)]是[K:F]的一个因子，而它恰好等于[K(α):F(α)]，由此可证后者一定整除[K:F]。

例子验证 #

举几个具体案例帮助理解：

• 设F=ℚ，K=ℚ(√2)（[K:F]=2，是正规扩张），取α=√3：
  [K(α):F(α)] = [ℚ(√2,√3):ℚ(√3)] = 2，正好整除2。
• 还是F=ℚ，K=ℚ(√2)，取α=√2：
  K(α)=K且F(α)=K，所以次数为1，显然整除2。
• 设F=ℚ，K=ℚ(ω)（ω是三次单位根，[K:F]=2，正规扩张），取α=∛2：
  [K(α):F(α)] = [ℚ(ω,∛2):ℚ(∛2)] = 2，整除2。

补充说明 #

如果K/F是伽罗瓦扩张（即同时满足正规和可分），我们还能从伽罗瓦群的视角解读：[K(α):F(α)]等于伽罗瓦群Gal(K/F)中可延拓到F(α)上的自同构的数量，或者等价于[K:F]除以[K∩F(α):F]，这和之前的结论完全一致。

内容的提问来源于stack exchange，提问作者user529712