18/04/17 16:47:00.47 uG1dZPZR.net
R,R'：環
I,J：Rのイデアル、I',J':R'のイデアル
R/I≅R'/I'、R/J≅R'/J' かつIはJを含むただ一つの素イデアル
このときI’はJ'を含むただ一つの素イデアルと言えるそうなのですが
直観ではIとI'、JとJ'が対応しているのでそんな感じしますが、証明がわからずもやもやしています
わかる方いらっしゃいましたらよろしくお願いします
18/04/17 16:47:00.47 uG1dZPZR.net
R,R'：環
I,J：Rのイデアル、I',J':R'のイデアル
R/I≅R'/I'、R/J≅R'/J' かつIはJを含むただ一つの素イデアル
このときI’はJ'を含むただ一つの素イデアルと言えるそうなのですが
直観ではIとI'、JとJ'が対応しているのでそんな感じしますが、証明がわからずもやもやしています
わかる方いらっしゃいましたらよろしくお願いします