- 234 名前：208 [2005/12/07(水) 15:27:19 ]
- 補題
A を環、M を A-加群とする。
f_1, ..., f_n を A の元とし、
Spec(A) = ∪D(f_i) とする。
各 M_(f_i) が A_(f_i)-加群として有限表示を持てば M も A-加群として
有限表示を持つ。
証明
各 i に対して x_ij/(f_i)^m, j = 1, ..., i_r を M_(f_i) の
生成元とする。
>>231の証明より M は {x_ij; i = 1, ..., n, j = 1, ..., i_r} で
生成される。
L を {e_ij; i = 1, ..., n, j = 1, ..., i_r} を基底とする
A-自由加群とする。射 φ: L → M を、φ(e_ij) = x_ij で定義する。
Ker(φ) = K とおく。
完全列
0 → K → L → M → 0
より、各 i に対して完全列
0 → K_(f_i) → L_(f_i) → M_(f_i) → 0
が得られる。
L_(f_i) は A_(f_i)-加群として自由であるから、>>179 より K_(f_i) は
A_(f_i)-加群として有限生成である。
よって、>>231 より K は A-加群として有限生成である。
証明終
|
 |
