冪零イデアル

数学の環論において、環 $R$ のイデアル $I$ が冪零イデアル (べきれいイデアル、英：nilpotent ideal) であるとは、ある自然数 $k$ が存在して $I^k=0$ が成り立つことである テンプレート:Sfn。ただし $I^k$ は $I$ の $k$ 個の元の積のすべてからなる集合で生成される加法群としての $R$ の部分群であり テンプレート:Sfn 、$0$ は零環を意味する。ゆえに、イデアル $I$ が冪零であることと、ある自然数 $k$ が存在して $I$ の任意の $k$ 個の元の積が $0$ であることは同値である。

環の多くのクラスの中で冪零イデアルの概念はテンプレート:仮リンクの概念よりもはるかに強いが、テンプレート:仮リンクにより2つの概念が一致する例も存在するテンプレート:Sfn。

冪零イデアルの概念は可換環の場合でも有用だが、特に非可換環の場合で有用である。

例

• 剰余環 $\mathbb{Z}/p^n\mathbb{Z}$ のイデアル $p^i\mathbb{Z}/p^n\mathbb{Z}$ ($i>0$) はすべて冪零である。
• 2次の全行列環 $M_2(R)$ のイデアル $N=\left[\begin{array}{cc}0& R\\ 0& 0\end{array}\right]$ は冪零である。

冪零元イデアルとの関係

冪零元イデアルの概念は冪零イデアルの概念と深いつながりをもち、環のあるクラスにおいて、2つの概念は一致する。イデアルが冪零であれば、もちろん冪零元イデアルであるが、冪零元イデアルは2つ以上の理由で冪零とは限らない。1つには、冪零元イデアルのいろいろな元を零化するのに要求される指数の大域的な上界が存在する必要はないことであり、2つには、各元が冪零であることは相異なる元の積が消えることを強制しないテンプレート:Sfn。

右アルティン環において、任意の冪零元イデアルは冪零である。これは次のことを観察することによって証明される。任意の冪零元イデアルは環のジャコブソン根基に含まれ、（アルティン性の仮定より）ジャコブソン根基は冪零イデアルであるから、結果が従う。実は、これは右ネーター環に一般化することができる。この結果はテンプレート:仮リンクとして知られているテンプレート:Sfn。

関連項目

• ケーテ予想
• 冪零元
• テンプレート:仮リンク
• 冪零根基
• ジャコブソン根基

参考文献

• テンプレート:Cite book
• テンプレート:Cite book