数学 › 代数幾何 I（多様体とスキーム） › 準連接層・連接層と直線束

0 次部分の局所化

補題 8.1（「準連接層・連接層と直線束」§8） ・ ✓公理まで証明済み

f,g∈Sf, g \in S を次数 d,e>0d, e > 0 の斉次元、MM を次数 SS 加群とし、h=gd/fe∈S(f)h = g^d/f^e \in S_{(f)} とおく。自然な写像 M(f)→M(fg)M_{(f)} \to M_{(fg)} は同型 (M(f))h≅M(fg)(M_{(f)})_h \cong M_{(fg)} を誘導する。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。

前提をたどる 証明が使う定理・定義

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

これを使っている定理

証明で明示的に参照している定理は、まだありません。