剰余体

R を極大イデアル m をもつ可換局所環とすると、剰余体は、商環 R/m である。

さて、X をスキームとし、x を X の点とする。スキームの定義により、A をある可換環としてアフィン近傍 U = Spec(A) がある。近傍 U の中で考えると、点 x は素イデアル p ⊂ A と対応する（ザリスキー位相を参照）。x における X の局所環は、定義により局所化 R = A_p であり、これは極大イデアル m = p·A_p を持つ。上の構成を適用して、点 x の剰余体を得る。

k(x) := A_p / p·A_p.

この定義はアフィン近傍 U の取り方に依らないことが証明できる^[1]。

ある体 K に対し、k(x) ⊂ K であるときに、点 x を K-有理点であると言う。

体 k 上のアフィン直線 A¹(k) = Spec(k[t]) を考える。k が代数的閉体であれば、素イデアルにはちょうど2つの種類

• (t − a), a ∈ k
• (0), 零イデアル

が存在する。

剰余体は、

• ${\displaystyle k[t]_{(t-a)}/(t-a)k[t]_{(t-a)}\cong k}$
• ${\displaystyle k[t]_{(0)}\cong k(t),}$　k 上の一変数の関数体

である。

k が代数的閉体でなければ、さらに種類が発生する。例えば、k = R であれば、素イデアル (x² + 1) は C と同型な剰余体を持つ。