域K的代数闭性与域扩张次数性质的有效性验证求助

我来帮你拆解这两个问题，一步步理清楚它们的逻辑：

问题1：若每个域扩张$L|K$满足$[L:K]\in{1,\infty}$，则$K$是代数闭域？ #

这个性质总是成立，我们用反证法来证明：

• 假设$K$不是代数闭域，根据代数闭域的定义，必然存在一个首一不可约多项式$f(x)\in K[x]$，其次数$n\geq2$（如果$K$是代数闭域，所有不可约多项式都是一次的）。
• 构造域扩张$L=K[x]/(f(x))$，这是$K$的有限扩张，且扩张次数$[L:K]=\deg f(x)=n\geq2$。
• 但题目条件明确说所有域扩张的次数只能是1或者无限，这就和我们构造出的次数为$n\geq2$的有限扩张矛盾了。

因此假设不成立，$K$必须是代数闭域。

问题2：若$K$是代数闭域，则每个域扩张$L|K$均满足$[L:K]\in{1,\infty}$？ #

这个性质也总是成立，我们分两种扩张类型讨论：

• 代数扩张情况：代数闭域的核心性质之一是它没有非平凡的代数扩张——也就是说，任何包含$K$的代数扩域$L$都只能等于$K$本身，因此$[L:K]=1$。
• 超越扩张情况：如果$L$是$K$的超越扩张（比如$L=K(t)$，其中$t$是$K$上的超越元，即$t$不满足任何系数在$K$中的非零多项式方程），那么$L$作为$K$-向量空间是无限维的。你可以直观理解为：${1, t, t^2, t^3, ...}$是一组线性无关的元素，无法用有限个元素张成整个空间，因此$[L:K]=\infty$。

综上，所有$K$的域扩张次数要么是1，要么是无限，符合条件。

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