请求证明Galois扩张的Galois群存在特定循环正规子群

我来一步步帮你拆解这个证明，咱们从已知条件出发，逐步推导：

第一步：明确扩张的结构 #

已知$F\subset E$是Galois扩张，$E=F(\alpha)$且$\alpha^n=a\in F$。由于Galois扩张是正规的，多项式$x^n - a$的所有根都必须在$E$中（因为$\alpha$是根）。这些根可以表示为$\alpha\zeta_n^k$（$k=0,1,...,n-1$），其中$\zeta_n$是n次本原单位根。由此可得$\zeta_n = (\alpha\zeta_n)/\alpha \in E$，所以$E=F(\alpha,\zeta_n)$，也就是说$E$包含了所有n次单位根。

第二步：构造正规子群$H$ #

令$K=F(\zeta_n)$，这是$F$的分圆扩张——分圆扩张都是Galois扩张，所以$K/F$是Galois的。根据Galois基本对应，$G=\text{Gal}(E/F)$中对应中间域$K$的子群是$H=\text{Gal}(E/K)$，并且因为$K/F$是Galois扩张，$H$是$G$的正规子群。

第三步：证明$H$是循环群且阶整除$n$ #

因为$K$包含所有n次单位根，$E=K(\alpha)$且$\alpha^n=a\in K$，这是一个典型的Kummer扩张。根据Kummer理论，当基域包含n次单位根时，n次Kummer扩张的Galois群是循环群，其阶等于$a$在$K^*/(K*)^n$中的阶，显然这个阶整除$n$。因此$H=\text{Gal}(K(\alpha)/K)$是循环群，且$|H|\mid n$。

第四步：证明$G/H$是阿贝尔群且阶整除$\phi(n)$ #

再次利用Galois基本定理，商群$G/H$同构于$\text{Gal}(K/F)$——也就是分圆域$K=F(\zeta_n)$的Galois群。我们知道分圆域的Galois群同构于$(\mathbb{Z}/n\mathbb{Z})^{\times$的一个子群，而$(\mathbb{Z}/n\mathbb{Z})}\times$是阿贝尔群，所以$G/H$也是阿贝尔群。同时，$(\mathbb{Z}/n\mathbb{Z})^\times$的阶是欧拉函数$\phi(n)$，因此$|G/H|\mid \phi(n)$。

这样就满足了题目的所有要求：$H$是$G$的循环正规子群，阶整除$n$；$G/H$是阿贝尔群，阶整除$\phi(n)$。

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