環といったら、特に単位元を持つ可換環とします。環 の素イデアル とは、 の真のイデアルであって、 をみたすもののことでした。環 の素イデアル全体の集合を環 のスペクトルといい、 と表します。2つの環 の間に準同型写像 があるとき、環のスペクトルの間…