極大イデアル
環 R において、両側イデアル I が極大であることと、剰余環 R/I が単純環であることは同値である。特に可換環のイデアルが極大であることと、その剰余環が体であることは同値である。
環 R において、左イデアル I が極大であることと、剰余加群 R/I が単純加群であることは同値である。
環の極大両側イデアルは素イデアルである。逆は一般には成り立たない。
全射環準同型による左極大イデアルの引き戻しは左極大イデアルとなるが、一般の環準同型に対してはこれは成り立たない。
(体でない)単項イデアル整域の0でない素イデアルは極大イデアルである。
アルティン環の素イデアルは極大イデアルである。
可換アルティン環は有限個しか極大イデアルを持たない。
クルルの定理より、0 でない可換環には極大イデアルが存在する。また、0 でない非可換環には極大左イデアルおよび極大右イデアルが存在する。
単位元を持たない環は極大(左/右)イデアルを持たないことがある。しかし、0 でない冪等元を持てば、極大左イデアルを持つ。
整数環 Z の極大イデアルは、ある素数 p で生成されるイデアル (p) = pZ であり、また任意の素数 p についてイデアル (p) は極大イデアルである。
一般に単項イデアル整域において、0 でない素イデアルは極大イデアルである。
整数係数の1変数多項式環 Z[x] の極大イデアルは、ある素数 p と Z/pZ 係数多項式としてと見て既約な多項式 ƒ で生成されるイデアル (p, f) である。
体 k を取り、k成分の2次下三角行列からなる環 T 2 ( k ) = [ k 0 k k ] {\displaystyle T_{2}(k)={\begin{bmatrix}k&0\\k&k\end{bmatrix}}} を考える。この環の極大左イデアルは I = [ k 0 k 0 ] {\displaystyle I={\begin{bmatrix}k&0\\k&0\end{bmatrix}}} と J = [ 0 0 k k ] {\displaystyle J={\begin{bmatrix}0&0\\k&k\end{bmatrix}}} のふたつである。
代数的閉体 k 上の多項式環 k [ x 1 , ... , x n ] {\displaystyle k[x_{1},\dots ,x_{n}]} の極大イデアルは、 ( x 1 − a 1 , ... , x n − a n ) {\displaystyle (x_{1}-a_{1},\dots ,x_{n}-a_{n})} の形のイデアルである。この定理は弱い零点定理として知られている。