可分扩张（可分域扩张）：抽象代数/域论中的概念，指一个域扩张 \(L/K\) 中，\(L\) 里每个代数元素在 \(K\) 上的最小多项式没有重根（等价地：在适当的代数闭包中有互不相同的根）。在特征 \(0\) 的情形下，所有代数扩张都是可分的。（在某些学科语境中“extension”也可指更一般的“扩展”，但该短语最常见于域论。）
/ˈsɛp(ə)rəbəl ɪkˈstɛnʃən/
A separable extension has no repeated roots in the minimal polynomials.
可分扩张中，最小多项式不会出现重根。
Over a field of characteristic zero, every finite algebraic extension is a separable extension.
在特征为零的域上，每个有限代数扩张都是可分扩张。
separable 来自拉丁语 separare（分开、分离），强调“可分开/可区分”的性质；在域论里引申为“根彼此可区分（不重合）”。extension 来自拉丁语 extendere（伸展、扩展），在数学中指“在原有结构上扩充得到更大的结构”，因此 separable extension 字面即“具有可分性（根可区分）的扩张”。
Select Language