極大イデアル
単位イデアル
でない
イデアル
のうち、包含関係で極大なものを極大イデアルという