環の冪零根基

冪零根基についての詳細

代数学において、冪零根基（nilradical）は可換環の中の重要な構成要素であり、すべての冪零元からなるイデアルのことを指します。可換環においては、この冪零根基は環の全ての冪零元の集合として定義されます。言い換えれば、これは零イデアルの根基でもあり、特定の特徴を持つイデアルとして機能します。冪零元同士の加算や、冪零元と任意の元との積がまた冪零元になるため、冪零根基はイデアルとしての性質を持ちます。

可換環のすべての素イデアルの共通部分としても冪零根基は特徴づけられます。実際、この根基は極小素イデアルの共通部分とも解釈されます。環が0でない冪零元を持たない場合、その環は被約と呼ばれます。被約環は、その冪零根基が0である時に成立します。また、任意の可換環Rにおいて、冪零根基を用いた商環は被約環となり、一般に$R_{ ext{red}}$と表記されます。

加えて、すべての極大イデアルは素イデアルであるため、ジャコブソン根基—これは極大イデアルの共通部分—は冪零根基を含む必要があります。もし環の冪零根基が商環$R/P$のジャコブソン根基と一致するなら、その環はジャコブソン環と呼ばれます。特に、アルティン環はジャコブソン環であり、その冪零根基は環の極大冪零イデアルであるという特徴があります。一般的に、冪零根基が有限生成である場合、これは冪零イデアルともなることが知られています。

非可換環における冪零根基

非可換環の場合、冪零根基に類似した構造がいくつか存在します。その一つがlower nilradicalであり、零イデアルの根基の類似物として定義され、素イデアルの共通部分としての性質を持ちます。さらに、全冪零元の集合に基づくupper nilradicalは、すべてのnil理想によって生成されるイデアルとして定義されており、それ自身がnil理想でもあります。上限冪零根基は、その定義からもわかるように、冪零元の集合より実際には小さいこともあり得るため、注意が必要です。

加えて、Levitzki根基はこれらの間にあり、最大の局所冪零イデアルとして定義されます。可換環の場合と同様に、環がアルティン的であると、Levitzki根基は冪零元となり、結果的に唯一の最大冪零イデアルであることが示されます。実際、環がネーター的である場合、lower、upper、およびLevitzki radicalは同じ冪零イデアルを持ち、任意のネーター環の冪零根基をその環の唯一の最大の冪零イデアルとして定義することができるのです。

冪零根基は、可換環と非可換環の両方において非常に重要な構成要素であり、これを解析することで、環の性質や構造について深く理解することが可能です。数学の各分野において、この概念は不可欠な役割を果たしています。

もう一度検索