- 分からない問題はここに書いてね442
493 ：１３２人目の素数さん[]：2018/04/17(火) 16:18:16.67 ID:uG1dZPZR - R,R'：環
I,J：Rのイデアル、I',J':R'のイデアル
R/I≅R'/I'、R/J≅R'/J' かつIはJを含むただ一つの素イデアル
このときI’はJ'を含むただ一つの素イデアルと言えるそうなのですが
直観ではIとI'、JとJ'が対応しているのでそんな感じしますが、証明がわからずもやもやしています
わかる方いらっしゃいましたらよろしくお願いします
|
- 分からない問題はここに書いてね442
494 ：１３２人目の素数さん[]：2018/04/17(火) 16:18:52.65 ID:uG1dZPZR - R,R'：環
I,J：Rのイデアル、I',J':R'のイデアル
R/I≅R'/I'、R/J≅R'/J' かつIはJを含むただ一つの素イデアル
このときI’はJ'を含むただ一つの素イデアルと言えるそうなのですが
直観ではIとI'、JとJ'が対応しているのでそんな感じしますが、証明がわからずもやもやしています
わかる方いらっしゃいましたらよろしくお願いします
|
- 分からない問題はここに書いてね442
495 ：１３２人目の素数さん[]：2018/04/17(火) 16:19:31.64 ID:uG1dZPZR - すいませんなんか二回投稿してました
|
- 代数学総合スレッド Part6
297 ：１３２人目の素数さん[]：2018/04/17(火) 16:47:00.47 ID:uG1dZPZR - R,R'：環
I,J：Rのイデアル、I',J':R'のイデアル
R/I≅R'/I'、R/J≅R'/J' かつIはJを含むただ一つの素イデアル
このときI’はJ'を含むただ一つの素イデアルと言えるそうなのですが
直観ではIとI'、JとJ'が対応しているのでそんな感じしますが、証明がわからずもやもやしています
わかる方いらっしゃいましたらよろしくお願いします
|
- 代数学総合スレッド Part6
299 ：１３２人目の素数さん[]：2018/04/17(火) 18:02:06.57 ID:uG1dZPZR - >>298
たしかに、極大イデアルの存在からそうですね
それと今回のつながりはどういう感じでしょうか、、？
|