View Categories

既约概形(reduced scheme)

< 1 分钟阅读时长

一个环称为既约环,如果它没有非零的幂零元。
一个概形 $(X,\calO_X)$ 称为既约概形,如果 $X$ 在每点处的局部环 $\calO_{X,x}$ 都是既约环。
$X = \Spec \bbC[t]$ 就是既约概形。$\Spec \bbC[t] = \{(0)\} \cup \{(t-a):a \in \bbC\}$. $$\calO_{X,(t-a)} = (t-a)^{-1}\bbC[t] = \{\frac{f(t)}{g(t)} | f(t),g(t) \in \bbC[t] \wedge g(a) \neq 0\}$$ 并且 $$ \calO_{X,(0)} = \mathrm{Frac}\ \bbC[t] = \bbC(t).$$ 这些都没有幂零元,故 $X$ 是既约概形。

发表回复