極大イデアル

可換環 \(R\) のイデアル \(I\) が, \(I\neq S\) かつ,イデアル \(J\) に対して \[I\subset J\subset R\Longrightarrow J=I\ \ {\rm or}\ \ J=R\] を満たすとき, \(I\) を \(R\) の極大イデアル(maximal ideal)という.