環RについてR加群の短完全列
0→L→M→N→0
α: L→M R単射準同型
β: M→N R単射準同型
とする。このときMがネーター加群であることの必要十分条件はL,Mもネーター加群となることであることを示したいです。
{M_i}を Mの部分加群の昇鎖として
{α^(−1)(M_i)}=M_i∩Lは Lの
{β(M_i)}=(M_i+L)/L}はN
の部分加群の昇鎖なので, 仮定によりいずれも停留する。
とあるのですがそもそも本当に
{α^(−1)(M_i)}=M_i∩L
{β(M_i)}=(M_i+L)/L}
が成り立つのかどうかわかりません。証明を教えてください。
またどうしてこの等式が示されると証明完了となるのかもよくわかりません。
A 回答 (4件)
- 最新から表示
- 回答順に表示
No.4
- 回答日時:
はい
M_i=(同型)α^(−1)(M_i)+(直和)β(M_i)
=(同型) {M_i∩α(L)} +(直和){(M_i+α(L))/α(L)}
で合っています
No.3
- 回答日時:
第2同型定理から
M_i/{M_i∩α(L)}=(同型)=(M_i+α(L))/α(L)
だから
(M_i+α(L))/α(L)は有限個しかないのだから
M_i/{M_i∩α(L)}も有限個しかないのだから
{M_i∩α(L)}は有限個しかないのだから
ある上限の数mが存在して
m<jとなるjに対して
1≦i≦m
&
[
M_i∩α(L)=(同型)=M_j∩α(L)
]&[
M_i/{M_i∩α(L)}=(同型)=M_j/{M_j∩α(L)}
]
となるようなiが存在する
M_i∩α(L)=(同型)=M_j∩α(L)
だから
M_i/{M_i∩α(L)}=(同型)=M_j/{M_i∩α(L)}
だから
M_i=(同型)=M_j
∴
{M_i}は有限個しかない
No.2
- 回答日時:
Imα=Kerβ
だから
x∈M_i
a,b∈α(L)=Imα=Kerβ
x+a∈x+α(L)∈M_i+α(L)
x+b∈x+α(L)∈M_i+α(L)
に対して
a∈Kerβだから
β(a)=0だから
β(x+a)=β(x)+β(a)=β(x)
b∈Kerβだから
β(b)=0だから
β(x+b)=β(x)+β(b)=β(x)
だから
β':(M_i+α(L))/α(L)→β(M_i)
を
β'(x+α(L))=β(x)
と定義できる
β'(x+α(L)+y+α(L))=β(x)+β(y)=β'(x+α(L))+β'(y+α(L))
だからβ'は準同型
z∈β(M_i)ならばβ(x)=zとなるx∈M_i⊂M_i+α(L)があるからβ'は全射
x+α(L),y+α(L)∈M_i+α(L)
β'(x+α(L))=β'(y+α(L))
とすると
β(x)=β(y)
β(x-y)=β(x)-β(y)=0
だから
x-y∈Kerβ=Imα=α(L)
だから
x+α(L)=y+α(L)
だから
β'は単射影
∴
β'は全単射準同型
第2同型定理から
M_i/{M_i∩α(L)}=(同型)=(M_i+α(L))/α(L)
だから
M_i=(同型)={M_i∩α(L)}(+){(M_i+α(L))/α(L)}
左辺の{M_i∩α(L)}が(異なるiに対して)同型でないものは有限個しかない
左辺の{(M_i+α(L))/α(L)}が(異なるiに対して)同型でないものは有限個しかない
だから
右辺の
{M_i}も(異なるiに対して)同型でないものは有限個しかない
No.1
- 回答日時:
「
β: M→N R単射準同型
」
ではなく
「
β: M→N R全射準同型
」
です
それから
「
Imα=Kerβ
」
が抜けています
「
Mがネーター加群であることの必要十分条件はL,Mもネーター加群となることである
」
ではなく
「
Mがネーター加群であることの必要十分条件はL,Nもネーター加群となることである
」
です
環RについてR加群の短完全列
0→L→M→N→0
α: L→M R単射準同型,0=Kerα
Imα=Kerβ
β: M→N R全射準同型,Imβ=N
とする
このときMがネーター加群であることの必要十分条件はL,Nもネーター加群となることである
{α^(−1)(M_i)}=M_i∩L
という表現は厳密には正しくありません
{α^(−1)(M_i)=(同型)=M_i∩α(L)}
と書きます
α:α^(−1)(M_i)→M_i∩α(L)
は全単射準同型だから
同型写像になるから
α^(−1)(M_i)とM_i∩α(L)は同型
{α^(−1)(M_i)=(同型)=M_i∩α(L)}
になる
{β(M_i)}=(M_i+L)/L}
という表現は厳密には正しくありません
{β(M_i)=(同型)=(M_i+α(L))/α(L)}
と書きます
Imα=Kerβ
だから
β':(M_i+α(L))/α(L)→β(M_i)
β'(x+α(L))=β(x)
は全単射準同型だから
同型写像になるから
(M_i+α(L))/α(L)とβ(M_i)は同型
{β(M_i)=(同型)=(M_i+α(L))/α(L)}
になる
L,Nがネーター加群であるとする
{M_i}がMの部分加群の昇鎖とすると
{α^(−1)(M_i)}はLの部分加群の昇鎖
Lがネーター加群だから
{α^(−1)(M_i)}は有限個しかないから
{M_i∩α(L)}は有限個しかない
{β(M_i)}はNの部分加群の昇鎖
Nがネーター加群だから
{β(M_i)}は有限個しかないから
{(M_i+α(L))/α(L)}は有限個しかない
{M_i∩α(L)}
と
{(M_i+α(L))/α(L)}
はともに有限個しかないから
{M_i}は有限個しかないから
Mはネーター加群である
逆にMはネーター加群だとすると
{N_i}をNの部分加群の昇鎖とする
M_i=β^(-1)(N_i)
とすると
βは全射だから
β(M_i)=N_i
となるから
Mはネーター加群だから
{M_i}は有限個しかないのだから
{β(M_i)=N_i}も有限個しかないから
∴
Nはネーター加群
{L_i}をLの部分加群の昇鎖とする
M_i=α(L_i)
とすると
αは単射だから
α:L_i→M_i
は全単射準同型だから逆(α|L_i)^(-1)が存在し
L_iとM_iは同型だから
Mはネーター加群だから
{M_i}は有限個しかないのだから
{(α|L_i)^(-1)(M_i)=L_i}も有限個しかないから
∴
Lはネーター加群
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
図の問題の|z|=1の写像を計算し...
-
複素解析についての質問です。 ...
-
画像の説明にある写像の表記T:k...
-
四次対称群S4が可解群であるこ...
-
線形独立テストsa+tb=0を行うと...
-
「十人十色」ならば「百人百色...
-
全射・部分写像の個数の問題
-
初めての複素関数の勉強
-
線形、非線型ってどういう意味...
-
LaTeX 写像式を描きたい
-
代数学「素体」
-
k代数、環準同型 画像の例3に関...
-
体の『同型』と『○上同型』のち...
-
線形写像と線形変換
-
円→楕円への写像
-
線形写像と線形変換
-
同型とは?
-
リー代数 キリング形式のトレ...
-
複素数の関数
-
基本的な事ですが…(単射、全射...
おすすめ情報
β':(M_i+α(L))/α(L)→β(M_i)
β'(x+α(L))=β(x)
は全単射準同型とありますが、この部分の証明を詳しく教えてください。
{M_i∩α(L)}
と
{(M_i+α(L))/α(L)}
はともに有限個しかないから
{M_i}は有限個しかないと言えるのは何故ですか?
第2同型定理から
M_i/{M_i∩α(L)}=(同型)=(M_i+α(L))/α(L)
だから
M_i=(同型)={M_i∩α(L)}(+){(M_i+α(L))/α(L)}とありますが、M_i=(同型)={M_i∩α(L)}(+){(M_i+α(L))/α(L)}となるのは何故ですか?
なるほど、第二同型定理を使う理由はわかりました。
自分で考えてみた際、第二同型定理を使うことなく示すこともできると思うのですが以下の議論に問題はないでしょうか?
{M_i∩α(L)}
と
{(M_i+α(L))/α(L)}
はともに有限個しかないということがわかり、さらに
0→ α^(−1)(M_i)→M_i→β(M_i)→0
が完全系列となるから
M_i=(同型)α^(−1)(M_i)+(直和)β(M_i)
=(同型) {M_i∩α(L)} +(直和){(M_i+α(L))/α(L)}
となり、M_iは有限個と言えるのではないかと考えたのですがこれでも合っているのでしょうか?