環の冪零根基のソースを表示

[[代数学]]において、[[可換環]]の冪零根基（べきれいこんき、{{lang-en-short|nilradical}}）とは環のすべての[[冪零元]]からなる[[イデアル]]である。

非可換環の場合、同じ定義では常にはうまくいかない。異なる方法で可換な場合を一般化させたいくつかの根基に行きつく。詳しくは記事「[[環の根基]]」を見よ。

[[リー代数|リー環]]に対して{{仮リンク|リー環の冪零根基|en|nilradical of a Lie algebra}}が同様に定義される。

== 可換環 ==

可換環の冪零根基は環のすべての[[冪零元]]からなる集合である。あるいは同じことだが、零イデアルの[[イデアルの根基|根基]]である。これはイデアルである、なぜなら任意の2つの冪零元の和は（[[二項定理]]により）冪零であり、任意の元と冪零元の積は（可換性により）冪零だからである。それはまた環のすべての[[素イデアル]]の共通部分として特徴づけることもできる。（実は、すべての{{仮リンク|極小素イデアル|en|minimal prime ideal}}の共通部分である。）

環は0でない冪零元をもたないとき[[被約環|被約]]と呼ばれる。したがって、環が被約であるのはその冪零根基が0であるとき、かつそのときに限る。 ''R'' が任意の可換環であれば、その冪零根基による商は被約環であり、<math>R_{\text{red}}</math> と表記される。

すべての極大イデアルは素イデアルなので、[[ジャコブソン根基]] — これは極大イデアルの共通部分である — は冪零根基を含まなければならない。環は ''R''/''P'' の冪零根基が ''R''/''P'' のジャコブソン根基と ''R'' のすべての素イデアル ''P'' について一致すれば、[[ジャコブソン環]]と呼ばれる。[[アルティン環]]はジャコブソン環であり、その冪零根基は環の極大冪零イデアルである。一般に、ベキ零根基が有限生成（例えば環がネーター的）ならば、それは[[冪零イデアル]]である。

== 非可換環 ==
{{see|環の根基}}
非可換環<!-- associative with 1-->に対して、冪零根基のいくつかの類似物がある。lower nilradical (または [[:en:Reinhold Baer|Baer]]–McCoy radical, または prime radical) は零イデアルの根基の類似物で、環の素イデアルの共通部分として定義される。すべての冪零元の集合の類似物は upper nilradical で、環のすべての nil ideal によって生成されるイデアルとして定義され、それ自身 nil ideal である。すべての冪零元の集合それ自身はイデアル（それどころか部分群）である必要はない。なので、upper nilradical はこの集合よりはるかに小さいこともありうる。Levitzki 根基はこの間にあり最大の局所冪零イデアルとして定義される<!--, similarly to the [[Hirsch–Plotkin radical]] which reduces to the [[Fitting subgroup]] in the noetherian case-->。可換の場合のように、環がアルティン的なときは、Levitzki 根基は冪零であり、それゆえ唯一の最大の冪零イデアルである。実際、環がネーター的でありさえすれば、lower, upper, and Levitzki radical は冪零であり一致し、任意のネーター環の冪零根基をその環の唯一の最大（左、右、または両側）冪零イデアルとして定義することができる。<!--, {{harv|Lam|2001|loc=§10}} -->

== 参考文献 ==

* [[David Eisenbud|Eisenbud, David]], "Commutative Algebra with a View Toward Algebraic Geometry", Graduate Texts in Mathematics, 150, Springer-Verlag, 1995, ISBN 0-387-94268-8.
* {{Citation | last1=Lam | first1=Tsit-Yuen | title=A First Course in Noncommutative Rings | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | isbn=978-0-387-95325-0 |mr=1838439 | year=2001}}

{{デフォルトソート:かんのへきれいこんき}}
[[Category:可換環論]]
[[Category:イデアル]]
[[Category:数学に関する記事]]