为何有限基域上单变量代数函数域的离散赋值环必含该基域？

好问题！咱们从离散赋值的基本性质和有限域的特点出发，一步步把这个逻辑理清楚：

• 首先明确前提：$F/k$是单变量代数函数域，意味着$F$是有限域$k$的有限生成扩域，且超越次数为1；而离散赋值环$O$是$F$的一个局部子环，对应$F$上的一个离散赋值$v: F^* \to \mathbb{Z}$，满足赋值的核心公理：

  1. $v(xy) = v(x) + v(y)$（同态性质）
  2. $v(x+y) \geq \min{v(x), v(y)}$（次可加性）

• 接着看有限域$k$的元素特性：对于任意非零元素$a \in k^{*$，因为$k$是有限域，$a$必然是**挠元**——存在正整数$n$使得$a}n = 1$（有限群中每个元素的阶都是有限的）。

• 用赋值性质推导$v(a)$：
  根据赋值的同态性质，$v(a^n) = n \cdot v(a)$，但$a^n=1$，而我们知道$v(1)=0$（由$v(1 \cdot 1)=v(1)+v(1)$可直接推出），因此有：
  $$n \cdot v(a) = 0$$
  因为$n$是正整数，且$\mathbb{Z}$是无挠群（不存在非零整数$m$使得$m \cdot z=0$对非零$z \in \mathbb{Z}$成立），所以只能得到$v(a)=0$。

• 最后对应离散赋值环的定义：$O = { x \in F \mid v(x) \geq 0 }$。对于$a \in k^*$，$v(a)=0 \geq 0$，所以$a \in O$；而$0 \in F$满足$v(0)=\infty \geq 0$，自然也在$O$中。

综上，$k$的所有元素都包含在离散赋值环$O$中。

内容的提问来源于stack exchange，提问作者user5020