0321132人目の素数さん垢版 | 大砲2018/04/21(土) 13:07:18.62ID:DFdKCx+2 >>297 R/Iは体だから環同型よりI'もR'の極大イデアル J<IよりR/IからR/Jに全射があるので環同型よりJ'<I' J'<P'<I' P'は素イデアルとするとR'/I'->R'/P'->R'/J'全射の列が定まるから環同型よりある素イデアルPが存在してJ<P<Iとなり矛盾