(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