域的特征

特征回答一个最朴素的问题：在这个域里反复加 $1$，会不会绕回 $0$？会的话最快多少步？答案把所有域一刀切成两个世界——特征 $0$ 的域内含一份完整的有理数算术，加法永远"走不回头"；特征 $p$ 的域则像模 $p$ 的钟面，整数在其中只以 $p$ 个剩余类的身份存在。特征必须是素数而不能是合数，根源在于域没有零因子：若 $n=ab$（$1<a,b<n$）步就回到零，则 $(a\cdot 1)(b\cdot 1)=0$，两个因子中必有一个已经是零，于是更小的步数已经绕回，与最小性矛盾。这也解释了定义为何走环同态路线——$\ker \eta$ 是 $\mathbb{Z}$ 的素理想，而 $\mathbb{Z}$ 的素理想恰好只有 $(0)$ 和 $(p)$。

$\mathbb{Q}$、$\mathbb{R}$、$\mathbb{C}$ 的特征都是 $0$；${\mathbb{F}}_p$ 与一切 ${\mathbb{F}}_{p^n}$ 的特征是 $p$。不存在特征为 $6$ 的域：若 $6\cdot 1=0$，则 $(2\cdot 1)(3\cdot 1)=0$，无零因子迫使 $2\cdot 1=0$ 或 $3\cdot 1=0$，更小的正整数已经把 $1$ 加成了零。相反，一般的环公理库环Ring带加法阿贝尔群和相容乘法的代数结构。完全可以有合数特征，例如 $\mathbb{Z}/6\mathbb{Z}$；"特征只能是素数"依赖于域（或至少整环公理库整环Integral domain含单位元 1≠0、无零因子的交换环。）这一假设。

两个常见误会值得点破。其一，特征不是域的元素个数：无限域也可以有正特征，有理函数域 ${\mathbb{F}}_p(t)$ 就是特征 $p$ 的无限域；有限域的元素个数是 $p^n$，与特征 $p$ 一般并不相等。其二，特征 $p$ 下的恒等式 $(a+b{)}^p=a^p+b^p$ 成立，是因为二项式系数公理库二项式系数Binomial coefficientn 元集合的 k 元子集数，记作 C(n,k)。 $(\genfrac{}{}{0ex}{}{p}{k})$（$0<k<p$）都被 $p$ 整除；由此可知 Frobenius 映射 $x\mapsto x^p$ 是域的单射自同态（即从域到自身的单射环同态），但不能断言它是自同构——在 ${\mathbb{F}}_p(t)$ 中 $t$ 就没有 $p$ 次方根。Frobenius 为满的域称为完美域；有限域都完美，而 ${\mathbb{F}}_p(t)$ 不完美，二者在可分扩张公理库可分扩张Separable extension · 可分域扩张扩张中每个代数元的最小多项式都没有重根，从而保留足够多的不同共轭嵌入。中的差异正由此显现。

特征是研究域时最先核对的不变量之一，因为它决定后续理论的主要分岔。对有限扩张 ${\mathbb{F}}_{p^n}/{\mathbb{F}}_p$，Frobenius 自同构 $x\mapsto x^p$ 生成其 Galois 群；有限域的元素个数必为 $p^n$，且每个素数幂对应唯一的同构类。不可分扩张只会出现在正特征中，$x^p-t$ 在 ${\mathbb{F}}_p(t)$ 上的重根现象是标准边界；完整判据见可分扩张公理库可分扩张Separable extension · 可分域扩张扩张中每个代数元的最小多项式都没有重根，从而保留足够多的不同共轭嵌入。。在表示论中，Maschke 定理公理库Maschke 定理Maschke's theorem当域特征不整除有限群阶时，每个有限维表示都完全可约。要求域特征不整除群阶；凡是要"除以整数 $n$"的论证——平均化、二项式展开、多项式求导后不退化——都应先核对特征是否与 $n$ 冲突。