は、nが素数のときのみ体になる。これは整数論で有用だ。これを一般化しよう。今回の主定理 :環, :イデアルとする。このとき、 は極大イデアル剰余環は体。まず次の補題を示す。 補題 環が体のイデアルはと自身のみである。 証明 まず、が体であるとする。を…