Separably Closed

释义（中文） / Definition

Separably closed（可分闭）：在域论中，若一个域 没有任何非平凡的可分代数扩张（等价地：它的每个不可约多项式都是不可分的，或所有可分代数元都已在该域中），则称该域为可分闭域。常见于代数、伽罗瓦理论与代数几何中。（注意：它不一定是“代数闭”的；在特征 \(p>0\) 时两者差别更明显。）

发音（IPA） / Pronunciation

/ˈsɛpərəbli kloʊzd/

例句 / Examples

A separably closed field has no nontrivial separable algebraic extensions.
可分闭域没有任何非平凡的可分代数扩张。

Over a separably closed field, many Galois-theoretic complications disappear, which simplifies certain arguments in algebraic geometry.
在可分闭域上，许多伽罗瓦理论层面的复杂性会消失，从而简化代数几何中的一些论证。

词源（中文） / Etymology

separably 来自 separable（“可分的”），源于拉丁语 separare（分开、分离）；在数学里指“可分扩张/可分多项式”。closed 在数学语境中常表示“在某类运算或扩张下已经‘封闭’/不再需要添加新元素”。合在一起，separably closed 就是“对可分代数扩张而言已经封闭”。

相关词汇 / Related Words

• Algebraically Closed
• Separable
• Inseparable
• Perfect Field
• Galois Extension
• Separable Closure
• Algebraic Closure
• Field Extension

文献与作品中的用例 / Literary & Notable Works

• Serge Lang, Algebra（讨论可分扩张、可分闭/代数闭等相关概念）
• Jürgen Neukirch, Algebraic Number Theory（在域扩张与伽罗瓦理论背景中出现相关术语）
• Robin Hartshorne, Algebraic Geometry（代数几何中常假设基域代数闭或可分闭以简化结构）
• James S. Milne, Étale Cohomology（与可分闭域、几何点及基本群背景密切相关）
• Patrick Morandi, Field and Galois Theory（系统介绍可分性与相关闭包概念）