Wiki. 完美域 [完美域]

设 $k$ 为域. 若如下等价条件之一成立, 则称 $k$ 为完美域 (perfect field):

• $k$ 的任何代数扩张都可分.
• $k$ 是 $0$ 特征域, 或者 $k$ 是 $p$ 特征域 ($p$ 为素数) 且 $k$ 的 Frobenius 映射为同构.