<解答>
を の affine open subscheme とする。<br/>
は quasi compact なので、ある によって と表せる。affine open subset の構造環の大域切断は
であるから、 。<br/>
-加群 について
であり,局所化函手 は exact。したがって は exact で, は -平坦。<br/>
以上より は平坦。
<解答>
を の affine open subscheme とする。<br/>
は quasi compact なので、ある によって と表せる。affine open subset の構造環の大域切断は
であるから、 。<br/>
-加群 について
であり,局所化函手 は exact。したがって は exact で, は -平坦。<br/>
以上より は平坦。