[過去ﾛｸﾞ] 分からない問題はここに書いてね 472 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
480(1): 01/14(火)20:19 ID:22bSd855(1) AAS
松村「可換環論」の定理2.5の証明がわかりません。
定理2.5
(A, m)を局所環、MをA上有限生成射影加群。
このとき、Mは自由加群。
(ω_1, ..., ω_n)をMの極小基。
（M/mMをA/mベクトル空間と見たときの基底の原像になっているもの）
F = Aω_1⊕...⊕Aω_nとおく。
全射φ: F → M (φ(⊕a_iω_i) = Σa_i ω_i)の核をKとする。
(ω_i)の取り方から、K⊂mF。
Mは射影加群だから、ψ: M → Fで、φ○ψ = id_Mとなるものが取れる。
よって、完全列0 → K → F → M → 0が分裂するので、F～ψ(M)⊕Kとなる。
これから、K = mK。 ←これをどう示すのかがわからないです。
484: 01/16(木)14:00 ID:L2UYTtYB(1/2) AA×
>>480
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.032s