定義
A を単位元をもつとは限らない可換環とする。
I を A のイデアルとする。
I ≠ A で I を含む A のイデアルは I と A のみであるとき I を A の極大イデアルと言う。