環 R の極大左イデアル（きょくだいひだりいである、英: maximal left ideal）とは、R 以外の左イデアルの中で（集合の包含関係に関して）極大なもののことである。すなわち、左イデアル I を真に含む左イデアルが R しかないときに I を R の極大左イデアルという。極大右イデアルおよび極大両側イデアルも同様に定義される。これらのイデアルは（環が 0 でなく単位元をもつとき）ツォルンの補題によって存在が保証される[注釈 1]。可換環においては、左・右・両側の区別はない。唯一の極大左イデアルをもつ環は局所環と呼ばれる。 環 R 上の加群 M の真の部分加群のうち極大なものを極大部分加群という。つまり、M の部分加群 N が極大部分加群であるとは、M ≠ N であり、かつ、 N ⊊ K ⊊ M {\displaystyle N\varsubsetneq K\varsubsetneq M} となる部分加群 K が存在しないことである。極大イデアルは正則加群 R の極大部分加群に他ならない。 極大部分加群は存在するとは限らないが、例えば0でない有限生成加群であれば存在する[4]。
性質
環 R において、両側イデアル I が極大であることと、剰余環 R/I が単純環であることは同値である。特に可換環のイデアルが極大であることと、その剰余環が体であることは同値である[1]。
環 R において、左イデアル I が極大であることと、剰余加群 R/I が単純加群であることは同値である。
環の極大両側イデアルは素イデアルである[2]。逆は一般には成り立たない[注釈 2]。
全射環準同型による左極大イデアルの引き戻しは左極大イデアルとなるが、一般の環準同型に対してはこれは成り立たない[注釈 3]。
（体でない）単項イデアル整域の0でない素イデアルは極大イデアルである。
アルティン環の素イデアルは極大イデアルである。
可換アルティン環は有限個しか極大イデアルを持たない。
クルルの定理より、0 でない可換環には極大イデアルが存在する。また、0 でない非可換環には極大左イデアルおよび極大右イデアルが存在する。
単位元を持たない環は極大（左／右）イデアルを持たないことがある。しかし、0 でない冪等元を持てば、極大左イデアルを持つ。
例
整数環 Z の極大イデアルは、ある素数 p で生成されるイデアル (p) = pZ であり、また任意の素数 p についてイデアル (p) は極大イデアルである[1]。
一般に単項イデアル整域において、0 でない素イデアルは極大イデアルである。
整数係数の1変数多項式環 Z[x] の極大イデアルは、ある素数 p と Z/pZ 係数多項式としてと見て既約な多項式 ƒ で生成されるイデアル (p, f) である[3]。
体 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})} の形のイデアルである。この定理は弱い零点定理として知られている。
極大部分加群
脚注[脚注の使い方]
注釈^ あらかじめ環にネーター性を仮定しておけば、ツォルンの補題を避けることもできる。
^ 自明な反例としては整数環 Z のゼロイデアル (0) がある。これは素イデアルだが、極大イデアルではない。
^ 例えば自然な単射 Z → Q
出典^ a b van der Waerden 2003, 3.6 Divisibility. Prime ideals.
^ 岩永 & 佐藤 2002.
^ ⇒Mumford's treasure map
^ Anderson & Fuller 1992.
参考文献
van der Waerden, B. L. (2003). Algebra. I. Springer-Verlag. .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 0-387-40624-7. https://books.google.com/books?id=XDN8yR8R1OUC&pg=PA51
岩永, 恭雄、佐藤, 眞久、佐藤眞久『 ⇒環と加群のホモロジー代数的理論』（第1版）日本評論社、2002年。ISBN 4-535-78367-5。 ⇒http://www.nippyo.co.jp/book/1984.html。
Anderson, Frank W.; Fuller, Kent R. (1992). Rings and Categories of Modules. Graduate Texts in Mathematics. 13 (2nd ed.). New York: Springer-Verlag. ISBN 978-1-4612-4418-9
外部リンク
⇒Maximal Ideal ― MathWorld
Govorov, V.E. (2001), “Maximal ideal”, in Hazewinkel, Michiel, Encyclopedia of Mathematics