極小イデアル

環論という抽象代数学の分野において、環 "R" の極小右イデアル (minimal right ideal) とは、他の 0 でない右イデアルを含まない 0 でない右イデアルのことである。同様に、極小左イデアル は "R" の他の 0 でない左イデアルを含まない "R" の 0 でない左イデアルで、"R" の極小イデアルとは "R" の他の 0 でない両側イデアルを含まない 0 でないイデアルのことである。
別の言い方をすれば、極小右イデアルは包含で順序を入れた "R" の 0 でない右イデアル全体からなる半順序集合の極小元である。この文脈の外ではイデアルのある半順序集合は零イデアルを持つかもしれず 0 がその半順序集合における極小元となるかもしれないことに注意しよう。例えば素イデアルの集合がそうである。として零イデアルを持つかもしれない。
定義.
環 "R" の極小右イデアル "N" の定義は次の条件と同値である：
極小右イデアルは極大右イデアルの双対概念である。
性質.
極小イデアルに関する多くの標準的な事実が , , , のような標準的なテキストにおいて見つけられる。
一般化.
右加群 "M" の非零部分加群 "N" が極小部分加群 (minimal submodule) であるとは、"M" の他の非零部分加群を含まないことをいう。同じことであるが、"N" は "M" の単純部分加群である。非零部分両側加群 "N" を "N" が他の非零部分両側加群を含まないときに "M" の極小部分両側加群と呼ぶことによって両側加群にも拡張できる。
加群 "M" を右 "R" 加群 "R""R" ととれば、明らかに極小部分加群はちょうど "R" の極小右イデアルである。同様に、"R" の極小左イデアルはちょうど左加群 "R""R" の極小部分加群である。両側イデアルの場合には "R" の極小イデアルはちょうど両側加群 "R""R""R" の極小部分両側加群であることが分かる。
環のときと同様、加群において極小部分加群が存在する保証はない。極小部分加群は加群の半単純成分を定義するのに使うことができる。