大好き★代数幾何 - 暇つぶし2ch

大好き★代数幾何 at MATH

291:１３２人目の素数さん
03/10/23 21:05
>>288
保つと思う。自信は無い。ｗ

A → B を忠実平坦なR-環準同型とする。
Fを問題の関手とすると、
F(A) → F(B) ⇒ F(B(x)B) は完全となる。
ここで、⇒ は二つの標準的射をあらわし、この核としては差核を取る。
一般にはこれだけで十分条件とはならないだろうが、詳しくは
知らない。なにせ、俺もFGAは読んでない。ｗ

次ページ

続きを表示

1を表示