2009-02-06 ■ 環と体 一般化された中国剰余定理の証明に使う事実のメモ。 が環のイデアル、が素イデアルのとき、 環のイデアル に対し、を含む極大イデアルは必ず存在する。 が環のイデアルで、を共に含む極大イデアルが存在しないとする。 このとき、 である。