今回は整拡大における極大イデアルの性質を紹介します. 補題 1. を整域かつ整拡大とする. このとき が体である が体である. 証明 [ について] とする. このとき最小次数をもつ整従属関係式を とする. このとき最小次数で が整域なので である. よって となり…