（Follow Hartshorne）
在 Prop 2.2 的假設下（Hartshorne P.71）
定理證明了 Spec A 在 D(f) 上的 section 就是 A_f
現在，若 Spec B be an open subset of Spec A
（只是topology下的關係，不是 open subscheme）
試證：Spec A 在 Spec B 上的 section 就是 B
（ 也就是 O_Spec A (Spec B) = B ）
按老師的說法是證明跟書上Prop 2.2的證明完全一樣，只是要把符號改一下。
我想……
Spec B be an open subset of Spec A，連 A、A_f、B 之間的morphism都不清楚
只知 A 與 A_f 之間有自然的morphism…… 有點無從下手
--
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.114.203.148