有限域扩张中元素极小多项式的证明及相关结论问询

嘿，我来一步步帮你梳理这个问题哈～

一、证明当$L=K(\alpha)$时，$\boldsymbol{f_K^{\alpha}= \prod_{\sigma\in G} (X-\sigma(\alpha))}$ #

首先得回忆有限域扩张的核心性质：所有有限域的扩张都是伽罗瓦扩张——意思是它既是正规扩张又是可分扩张，而且伽罗瓦群$G=\text{Aut}_K L$是循环群，群的阶正好等于扩张次数$[L:K]$。

咱们分两步来证：

1. 先证明右边的乘积多项式属于$K[X]$
   任取$\tau\in G$，把$\tau$作用在这个乘积多项式上（本质就是对多项式的每个系数应用$\tau$自同构）：
   $$\tau\left(\prod_{\sigma\in G} (X-\sigma(\alpha))\right) = \prod_{\sigma\in G} (X-\tau(\sigma(\alpha)))$$
   因为$G$是群，当$\sigma$遍历整个$G$时，$\tau\sigma$也会遍历$G$的所有元素（群的封闭性+可逆性），所以上面的乘积和原来的多项式完全一样。这说明这个多项式的每个系数都在$G$的作用下保持不变，而根据伽罗瓦理论基本定理，伽罗瓦群$G$的不动域就是$K$，所以这个多项式必然属于$K[X]$。

2. 再证明这个乘积就是$\alpha$的极小多项式$f_K^\alpha$
   首先，$\alpha$显然是这个乘积的根（当$\sigma$是恒等自同构时，$X-\alpha$就是其中一个因子）。而极小多项式$f_K^\alpha$是$K[X]$中以$\alpha$为根的次数最低的首一不可约多项式。
   这里右边乘积的次数是$|G|$，而因为$L=K(\alpha)$，所以$[L:K]=[K(\alpha):K]=\deg f_K^{\alpha$，又因为$|G|=[L:K]$，所以两者次数相同。再加上$f_K}\alpha$会整除所有$K[X]$中以$\alpha$为根的多项式，那两个首一、次数相同且互相整除的多项式肯定是同一个，所以这个乘积就是$f_K^\alpha$。

你之前想到的$\mathbb{F}_p$的情况其实就是这个结论的特例：$\overline{\mathbb{F}_p}$中元素的极小多项式根是弗罗贝尼乌斯迭代，而伽罗瓦群正好是弗罗贝尼乌斯自同构生成的循环群，本质逻辑和上面完全一致，不管$K$是不是$\mathbb{F}_p$，这个证明都成立哦。

二、任意$\boldsymbol{\alpha\in L}$的对应结论 #

你的理解完全没错！这里的“任意$\alpha$”就是指$\alpha$生成的子扩张$K(\alpha)$不一定等于整个$L$的情况，对应的结论是：
$\alpha$在$K$上的极小多项式$f_K^\alpha$等于$\prod_{\sigma\in G/H} (X-\sigma(\alpha))$，其中$H$是$G$中固定$\alpha$的子群，也就是$H={\sigma\in G \mid \sigma(\alpha)=\alpha}$，$G/H$是商群（因为$G$是循环群，所有子群都是正规的，所以商群结构没问题）。

换个更直观的说法：极小多项式的根就是$\alpha$在伽罗瓦群$G$作用下的所有轨道元素，轨道的大小正好等于$[K(\alpha):K]$。这也符合轨道-稳定化子定理：轨道大小等于$|G|/|H|$，而根据伽罗瓦理论基本定理，$|H|=[L:K(\alpha)]$，所以$|G|/|H|=[L:K]/[L:K(\alpha)]=[K(\alpha):K]$，正好和极小多项式的次数匹配。

举个简单例子：假设$L=\mathbb{F}{p^{4}$，$K=\mathbb{F}_p$，伽罗瓦群$G$是4阶循环群，由弗罗贝尼乌斯自同构$\sigma(x)=x}p$生成。如果$\alpha$是$\mathbb{F}{p^{2}$里的元素（也就是$K(\alpha)=\mathbb{F}_{p}2}$），那么固定$\alpha$的子群$H={\text{id}, \sigma^2}$，商群$G/H$有两个元素，所以极小多项式就是$(X-\alpha)(X-\sigma(\alpha))$，次数为2，正好对应$[K(\alpha):K]=2$，完全符合结论。

备注：内容来源于stack exchange，提问作者cut