- 302 名前：197 [03/10/24 20:03]
- >>301
とりあえず翻訳
Hartshorn II Ex. 2.8.
Xをスキームとする。任意の点 x∈Xに対して、Xのxでの「ザリスキ接空間T_x」を、
k(x)-ベクトル空間 m_x/m_x^2の双対空間と定義する。今、Xがk上のスキームで
あるとし、k[ε]/ε^2を k 上"ring of dual numbers"とする。k-morphism
Spec k[ε]/ε^2 → X をひとつ与えることは、k上の「有理点」 x ∈X（つまり
k(x) = k なる点）をひとつとT_xの元をひとつ与えることと同等であることを示せ。
