イデアル商

イデアル商　以前取り上げた素イデアルとイデアル商の同値についての課題。これは整数環による反例によってあっさりと矛盾することが示された。準素イデアルについても同様の手法で示される。　今回は、前回の課題の反例の説明と新しく剰余環とイデアル商を取る操作の可換性について考える。