完全域中的不可约多项式是可分的吗？什么是完全域？
完全域的定义
一个域 ( K ) 被称为完全域（perfect field），如果它满足以下任一等价条件：
- 特征为 0 的域总是完全域。
- 对于特征 ( p > 0 ) 的域 ( K )，( K ) 是完全域当且仅当 ( K ) 中的每个元素都是 ( p )-次幂（即 ( K = K^p )，其中 ( K^p = { a^p \mid a \in K } ) 是 ( K ) 的 ( p )-次幂子集）。
完全域中的不可约多项式是可分的
- 在完全域中，所有不可约多项式都是可分的。这是完全域的重要性质。
- 证明的核心思想是，在完全域中，每个不可约多项式的导数都不恒为零，因此它没有重根（没有重根即表示它是可分的）。
特征 ( p > 0 ) 的情况
- 如果域 ( K ) 的特征为 ( p > 0 )，则 ( K ) 是完全域意味着 ( K = K^p )。这确保了对于任意 ( a \in K )，多项式 ( x^p - a ) 要么可以在 ( K ) 中分解，要么在 ( K[x] ) 中不可约且无重根。
- 反之，如果域 ( K ) 不是完全域，则存在 ( a \in K ) 使得 ( a \notin K^p )，从而 ( x^p - a ) 是不可约但不可分的。
完全域的例子
- 特征为 0 的域：所有特征为 0 的域（如 (\mathbb{Q}, \mathbb{R}, \mathbb{C})）都是完全域。
- 有限域：任何有限域都是完全域。有限域的特征 ( p ) 确保 ( a^{p^m} = a ) 对于某个 ( m > 0 )，因此有限域中的每个元素都是某个 ( p )-次幂。
- 代数闭域：任何代数闭域（如 (\overline{\mathbb{Q}}), (\overline{\mathbb{F}_p})）都是完全域。
完全域的重要性
完全域的定义确保了在某些上下文中，不需要特别考虑多项式的分性问题。例如：
- 在完全域中研究伽罗瓦理论或扩域时，不需要担心不可约多项式是否有重根。
- 在非完全域（如特征 ( p > 0 ) 的非完全域）上，不可约多项式可能不可分，这在处理代数扩域时会引入复杂性。
总结
完全域是一个在特征 ( p > 0 ) 中非常重要的概念：
- 特征为 0 的域：自动是完全域，因此不可约多项式必定可分。
- 特征 ( p > 0 ) 的域：如果每个元素是 ( p )-次幂（即域是完全域），则不可约多项式是可分的；否则可能有不可分的不可约多项式（如 ( x^{p^n} - a )）。