大好き★代数幾何 at MATH

---

[2ch|▼Menu]

■コピペモード
□スレを通常表示
□オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
950:１３２人目の素数さん 03/12/18 21:57 II Ex. 4.8 (f) の解答 下の可換図式を考える。 X_red --> Y_red | | v v X -----> Y X_red → X は閉埋入だから、仮定より性質Ｐを持つ。 よって、X_red → Y_red → Y も性質Ｐを持つ。 Y_red → Y は閉埋入だから分離射である。 よって (e) より性質Ｐを持つ。 951:１３２人目の素数さん 03/12/19 03:57 >>946 数学って30過ぎてからでもいけますか？ http://science2.2ch.net/test/read.cgi/math/1065276786/l50 952:１３２人目の素数さん 03/12/19 07:45 可換図式の二つの垂直矢印がくっついちゃうのは何故なんだろう。 半角でスペースをとったからか？ 953:１３２人目の素数さん 03/12/19 08:51 a = 半角スペース、b = 全角スペースとすると aa = a ab = ab ba = ba bb = bb AAを描くときの基本 954:１３２人目の素数さん 03/12/23 02:51 みんな圏論にいっちゃった予感... 955:１３２人目の素数さん 03/12/23 13:33 まず記号を導入する。 S を次数付き環とし、f を S の同次元としたとき、 局所化 S[1/f] は自然に次数付き環とみなせる。 S[1/f] の0-次部分を S_(f) と書く。 補題 S, T を次数環で S_0 = T_0 = A とする。 次数環 U をその d 次部分 U_d = (S_d (x) T_d)/A として 定義する。ここに、(S_d (x) T_d)/A は S_d と T_d の A 上の テンソル積である。 d > 0 を任意の整数とし、f を S_d の元、g を T_d の元とする。 (S_(f) (x) T_(g))/A は U_(f(x)g) に同型である。 証明 簡単なので略

---

次ページ

最新レス表示

スレッドの検索

類似スレ一覧

話題のニュース

おまかせリスト

▼オプションを表示

レスジャンプ

mixiチェック！

Twitterに投稿

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch

---

4328日前に更新/359 KB
担当:undef