Dをデデキント環としてKをその商体、L/Kを有限次分離拡大、OをDのLでの整閉包とするときOがデデキント環となることを示したいです。
Oの0でない素イデアルBの極大性について教科書には
P=B∩DとするとPはDの素イデアルとなります。
またO/Bは体D/Pの拡大環となります。故にO/Bが0でない素イデアルを持つとするとO/B∩D/PはD/Pの0でない素イデアルとなり矛盾するからO/Bは体となる。
という証明が載っていました。ここで疑問があります。
O/Bが体でないと仮定すると
O/Bが
{O/B≠J≠{0},1∈O/B-J}となるような
素イデアル
J
を持つから
J∩(D/P)
は
D/Pの0でない素イデアルとなり
D/Pが体である事に
矛盾するから
O/Bは体となる。
と言いたいのですがJ∩(D/P)≠0と言える理由が分かりません。どなたか教えてください。
一年ほど前にこの証明を教えていただき、納得したのですが再度まとめていてこの部分が引っかかりました。
No.2ベストアンサー
- 回答日時:
Dをデデキント環
Kをその商体
L/Kを有限次分離拡大
OをDのLでの整閉包
BをOの0でない素イデアル
P=B∩D
O/B≠J≠{0}
だから
J⊃B⊃P
J≠B⊃P
だから
x∈J-B⊂O⊂L
x^n+a(n-1)x^(n-1)+…+a(0)=0 (a(k)∈D)
となる
x,{a(k)}_{k=0~n-1}
がある
a(0)∈(J-B)∩D=(J∩D)-P
だから
a(0)+P∈J∩(D/P)≠{0}
∴
J∩(D/P)≠{0}
No.1
- 回答日時:
Dをデデキント環
Kをその商体
L/Kを有限次分離拡大
OをDのLでの整閉包
BをOの0でない素イデアル
P=B∩D
O/B≠J≠{0}
だから
J⊃B⊃P
J≠B⊃P
だから
J≠P
だから
J∩(D/P)≠{0}
J∩(D/P)={0}を仮定すると
J⊂P⊂B⊂J
J=Bとなって
J≠Bに矛盾する
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
ゴールドバッハ予想について考...
-
夫が亡くなった後の義理家族と...
-
数学の証明問題で、「証明終了」...
-
数学の「証明」のときなどの接...
-
素数の性質
-
婿養子に入ったのに出て行けと...
-
幽霊が存在していないことを証...
-
ゴールドバッハの予想の部分証...
-
ゴールドバッハ予想はナンセン...
-
rot rotA=grad divA-∇^2Aの証明...
-
高校数学A 3つの互いに素な自...
-
親の再婚相手との問題です。私...
-
一生彼女が出来ない証明
-
3,4,7,8を使って10を作る
-
婿養子です、妻と離婚して妻の...
-
nが整数のとき, 2n^3+3n^2+n ...
-
孤児院で親がいない子を引き取...
-
実息とは?
-
数学の証明って得意でしたか? ...
-
再婚を考えてますが、養子縁組...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
婿養子です、妻と離婚して妻の...
-
√2が無理数であることの証明で...
-
証明終了の記号。
-
素数の性質
-
婿養子に入ったのに出て行けと...
-
3,4,7,8を使って10を作る
-
無理数って二乗しても有理数に...
-
(4^n)-1が3の倍数であることの...
-
素数の積に1を加算すると素数で...
-
素数の平方根は無理数である。
-
親の再婚相手との問題です。私...
-
「証明証」と「証明書」はどう...
-
下の問題では漸化式の形から≠0...
-
47歳、母親の再婚を子供の立場...
-
ぶすですか?
-
直角三角形の性質
おすすめ情報