请求提示：证明次数为6的域扩张$L/K$存在本原元

嘿，我来帮你梳理下这个问题的思路，核心就是用好本原元定理的不同表述，咱们一步步来：

首先，先回忆本原元定理的两个关键结论，这是咱们的核心工具：

• 有限可分扩张一定是单扩张（也就是存在本原元）；
• 有限扩张是单扩张的充要条件是：它只有有限个中间域。

接下来咱们分情况讨论，覆盖所有可能的域特征：

情况1：$K$是特征0的域 #

这是最简单的情况——特征0的域上，所有代数元都是可分元，所以有限扩张$L/K$必然是有限可分扩张。直接套用第一个结论，立刻就能得出$L/K$存在本原元。

情况2：$K$是特征$p>0$的域 #

这里要结合扩张次数6的特殊性来分析：
纯不可分扩张的次数一定是素数$p$的幂，但6不是任何素数的幂（既不是$2^2、23…$也不是$3^2、33…$），所以$L/K$不可能是纯不可分扩张，必然存在非平凡的可分部分。

我们可以用可分闭包来拆分这个扩张：设$K_s$是$K$在$L$中的可分闭包（也就是$L$里所有在$K$上可分的元素构成的子域），那么扩张可以拆成$L/K_s/K$，其中$K_s/K$是可分扩张，$L/K_s$是纯不可分扩张，且$[L:K] = [L:K_s] \times [K_s:K] = 6$。

子情况2.1：$p≠2,3$ #

此时$p$不整除6，所以纯不可分扩张的次数$[L:K_s]$只能是1（因为它必须是$p$的幂，而$p$的幂要整除6，只能是1），也就是$L=K_s$。这时候$L/K$就是可分扩张，再次套用本原元定理的第一个结论，搞定。

子情况2.2：$p=2$ #

这时候$[L:K_s]$只能是1或2（因为2的幂整除6的只有1和2）：

• 如果是1，同上，$L=K_s$是可分扩张，有本原元；
• 如果是2，那$[K_s:K]=3$，$K_s/K$是可分扩张，所以$K_s$有本原元$a$（即$K_s=K(a)$）。而$L=K_s(b)$，其中$b^2 \in K_s$（纯不可分扩张的性质）。这时候你可以取一个非零元素$c \in K$，考虑元素$\alpha = a + cb$，然后证明$K(\alpha)=L$——简单来说，假设存在中间域包含$\alpha$，你可以推导出它必须包含$a$和$b$，从而就是整个$L$。

子情况2.3：$p=3$ #

和$p=2$的逻辑几乎一样：

• $[L:K_s]$只能是1或3，若为1则直接得证；
• 若为3，则$[K_s:K]=2$，$K_s=K(a)$（$a$是本原元），$L=K_s(b)$且$b^3 \in K_s$。同样取$\alpha = a + cb$（$c \in K$非零），就能证明它是$L/K$的本原元。

另一种更简洁的思路 #

如果你不想分特征讨论，可以用本原元定理的第二个等价条件：只要证明$L/K$只有有限个中间域，就能推出它是单扩张。

因为$[L:K]=6$，所有中间域的次数都是6的正因子（1、2、3、6）。不管域的特征如何，可分部分$K_s/K$的中间域是有限的（有限可分扩张的中间域有限），而纯不可分部分$L/K_s$的中间域只有2个以内（因为纯不可分扩张的中间域个数等于次数的因子数，这里次数是1或2或3，因子数很少），所以整个$L/K$的中间域总数是有限的，满足条件，因此存在本原元。

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