極大イデアル
環 R の極大左イデアル(きょくだいひだりいである、英: maximal left ideal)とは、R 以外の左イデアルの中で(集合の包含関係に関して)極大なもののことである。すなわち、左イデアル I を真に含む左イデアルが R しかないときに I を R の極大左イデアルという。極大右イデアルおよび極大両側イデアルも同様に定義される。これらのイデアルは(環が 0 でなく単位元をもつとき)ツォルンの補題によって存在が保証される[注釈 1]。可換環においては、左・右・両側の区別はない。唯一の極大左イデアルをもつ環は局所環と呼ばれる。
性質
- 環 R において、両側イデアル I が極大であることと、剰余環 R/I が単純環であることは同値である。特に可換環のイデアルが極大であることと、その剰余環が体であることは同値である[1]。
- 環 R において、左イデアル I が極大であることと、剰余加群 R/I が単純加群であることは同値である。
- 環の極大両側イデアルは素イデアルである[2]。逆は一般には成り立たない[注釈 2]。
- 全射環準同型による左極大イデアルの引き戻しは左極大イデアルとなるが、一般の環準同型に対してはこれは成り立たない[注釈 3]。
- (体でない)単項イデアル整域の0でない素イデアルは極大イデアルである。
- アルティン環の素イデアルは極大イデアルである。
- 可換アルティン環は有限個しか極大イデアルを持たない。
- 選択公理の下、クルルの定理より、0 でない可換環には極大イデアルが存在する。また、0 でない非可換環には極大左イデアルおよび極大右イデアルが存在する。
- 単位元を持たない環は極大(左/右)イデアルを持たないことがある。しかし、0 でない冪等元を持てば、極大左イデアルを持つ。
例
極大部分加群
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/12/12 06:02 UTC 版)
環 R 上の加群 M の真の部分加群のうち極大なものを極大部分加群という。つまり、M の部分加群 N が極大部分加群であるとは、M ≠ N であり、かつ、 N ⊊ K ⊊ M {\displaystyle N\varsubsetneq K\varsubsetneq M} となる部分加群 K が存在しないことである。極大イデアルは正則加群 R の極大部分加群に他ならない。 極大部分加群は存在するとは限らないが、例えば0でない有限生成加群であれば存在する。
※この「極大部分加群」の解説は、「極大イデアル」の解説の一部です。
「極大部分加群」を含む「極大イデアル」の記事については、「極大イデアル」の概要を参照ください。
- 極大部分加群のページへのリンク