2022-12-04 Hartshorne Ex.ii.6.10 (a), (b) は obvi. (c) は連接層 について, のイデアル層を とおくと, へ分解すれば, これは -加群の構造が入る.