Wiki. “剩余域” [剩余域]

局部环的剩余域是它唯一的极大理想的商.

设 $(K,\|{-}\|)$ 为非 Archimedes 赋值域, $\mathcal O_K=\{x\in K\mid \|x\|\leq 1\}$ 为其赋值环, 其唯一的极大理想为 $\mathfrak m=\{x\in K\mid\|x\|<1\}$. 此时称 $\mathcal O_K/\mathfrak m$ 为 $K$ 的剩余域.

整概形 $X$ 的一般点 $\eta$ 处的剩余域同构于茎 $\mathcal O_{X,\eta}$ 的分式域.