ジャコブソン根基

数学、より詳しくは抽象代数学の一分野である環論において、環 //R// のジャコブソン根基あるいはヤコブソン根基とは、すべての単純右 //R//-加群を零化する //R// の元からなるイデアルである。定義において「右」の代わりに「左」としても同じイデアルが得られるので、この概念は左右対称である。環のジャコブソン根基をよく //J// あるいは rad と表すが、他の環の根基との混乱を避けるため、この記事では前者の表記を使う。ジャコブソン根基はジャコブソンにちなんで名づけられた。彼は初めてそれを任意の環についてJacobsonで研究した人である。

環のジャコブソン根基には内在的な特徴づけが数多くあり、そのいくつかは単位元をもたない環に対する定義としても採用することができる。加群の根基はジャコブソン根基の定義を加群を含むように拡張する。ジャコブソン根基は多くの環や加群の理論の結果、例えば中山の補題において、際立った役割を果たす。

1. 直感的な議論
---------

他の環の根基のように、ジャコブソン根基 は「悪い」元の集まりとして考えることができる。この場合「悪い」性質はこれらの元は環のすべての単純左・右加群を零化するということである。比較の目的のため、可換環のベキ零根基 を考えよう。これはすべてのベキ零元からなる。実は任意の環について、環の中心に入っているベキ零元はジャコブソン根基にも入っているIsaacs。なので、可換環については、ベキ零根基はジャコブソン根基に含まれている。

ジャコブソン根基は直感的にはベキ零根基によく似ている。環論において「悪い」という意味はいくつか考えられるが、その一つは零因子であることである。それよりより広い意味での「悪い」という概念は、単元でないことである。環のジャコブソン根基は単に単元でないというよりも強い性質を満たす元からなる。これは正式な言い方ではないがジャコブソン根基は「悪さ」の度合いについて単元でない元のうちでも「悪い」ものの集合だということができる――ある意味で、ジャコブソン根基の元は「環に内在的な」//どんな//加群においても「単元として振る舞っ」てはならない。正確に言えば、ジャコブソン根基の元は自然な準同型のもとで、問題の環に内在的なすべての「右可除環」の零元に射影しなければならない。簡潔に言えば、それは環のすべての極大右イデアルに属していなければならない。これらの考えはもちろん不正確だが、少なくともなぜ可換環のベキ零根基がジャコブソン根基に含まれているかを説明している。

さらに単純な方法で、環のジャコブソン根基を環の「悪い元を消す」手段として考えることができる――つまり、ジャコブソン根基の元は商環 //R/////J// において 0 として振る舞う。//N// が可換環 //R// のベキ零根基であれば、商環 //R/////N// はベキ零元をもたない。同様に任意の環 //R// に対して、商環は //J//) = {0} という性質をもっており、したがってジャコブソン根基におけるすべての「悪い」元は //J// で割ることによって取り除かれている。ジャコブソン根基やベキ零根基の元はそれゆえ 0 の一般化と見ることができる。

2. 同値な特徴づけ
----------

環のジャコブソン根基はさまざまな内在的、外在的特徴づけをもつAndersonIsaacsLam。

2.1. 単位元をもつ場合
-------------

以下は単位元をもつ環 //R// におけるジャコブソン根基の同値な特徴づけである。

//J// は環のすべての極大右イデアルの共通部分に等しい。//J// は環のすべての極大左イデアルの共通部分に等しいということもまた正しいIsaacs。これらの特徴づけは環に内在的である、なぜなら環の極大右イデアルを見つける必要しかないからである。例えば、環が局所環で唯一の極大 //右イデアル//をもっていれば、この唯一の極大右イデアルはちょうど //J// であるのでイデアルである。 極大イデアルはある意味加群の零化イデアルよりも探しやすい。しかしながらこの特徴づけは不十分である、なぜなら //J// で機械的にやるときには役に立つことを証明しないからである。これらの2つの定義の左右の対称性は注目すべきで、様々な面白い結果があるIsaacsIsaacs。この対称性は //R// の socle の対称性の欠如とは対照的である。というのも soc が soc に等しくないということは起こり得る。環 //R// が非可換であれば、//J// は //R// のすべての極大//両側//イデアルの共通部分には必ずしも等しくない。例えば、//V// が体 //k// のコピーの可算個の直和で //R// = End であれば、//J// = 0 である、なぜなら //R// はフォン・ノイマン正則であることが知られているからだ、しかし //R// には有限次元の像をもつ自己準同型からなるちょうど1つの極大両側イデアルが存在するLam。
//J// は //R// のすべての余剰右イデアルの和に等しい。これを直前の定義と比較すると、余剰右イデアルの和は極大右イデアルの共通部分に等しい。この現象は //R// の右 socle に双対的に反映される。soc は極小右イデアルの和でもあり本質右イデアルの共通部分でもある。実は、これらの2つの関係は一般に加群の根基と socle に対して成り立つ。
導入部で定義されたように、//J// は単純右 //R//-加群のすべての零化イデアルの共通部分に等しい。しかし単純左加群の零化イデアルの共通部分に等しいということも正しい。単純加群の零化イデアルであるイデアルは原始イデアルとして知られているので、これはジャコブソン根基はすべての原始イデアルの共通部分であると言いかえることができる。この特徴づけは環上の加群を研究するときに役に立つ。例えば、//U// が右 //R//-加群で //V// が //U// の極大部分加群であれば、//U//·//J// は //V// に含まれる、ただし //U//·//J// は //J// の元を //U// の元に右からかけたすべての積を表す。このことは商加群 //U/////V// が単純でありしたがって //J// によって零化されるという事実から従う。
//J// はすべての元が右準正則  という性質をもつ //R// の右イデアルで極大な唯一のものであるIsaacsIsaacs。 あるいは、直前の文において「右」を「左」で置き換えることができるIsaacs。ジャコブソン根基のこの特徴づけは計算にも直感の助けにも役立つ。さらに、この特徴づけは環上の加群を研究するときにも役立つ。中山の補題はたぶんこれの最もよく知られた例だろう。//J// のすべての元は quasiregular であるが、すべての quasiregular な元が //J// の元であるわけではないIsaacs。
すべての quasiregular element が //J// に入っているわけではないが、//y// が //J// に入っていることと、//R// のすべての元 //x// に対して //xy// が left quasiregular であることが同値であることを示すことができるLam。
は のすべての元が単元であるようなすべての元 からなる集合である。

2.2. 単位元をもたない場合
---------------

単位元をもたない環 //R// に対しては //R// = //J// であることも可能だが、//J//) = {0} という式はなお成り立つ。以下は単位元をもたない環に対しての //J// の同値な特徴づけであるLam。

left quasiregularity の概念は次のように一般化できる。//R// のある元 //c// が存在して //c// + //a// − //ca// = 0 となるときに //R// の元 //a// を left //generalized quasiregular// と呼ぶ。すると //J// は //R// のすべての元 //r// に対して //ra// が left generalized quasiregular であるようなすべての元 //a// からなる。この定義は単位元をもつ環に対してのもとの quasiregular の定義と一致することが確かめられる。
単位元をもたない環に対して、左単純加群 //M// の定義は //R•M//   ≠   0 という条件を加えることで修正される。この修正をしたうえで、//J// は単純左 //R//-加群のすべての零化イデアルの共通部分、あるいは単純左 //R//-加群が存在しないときは単に //R// として定義できる。単位元をもたない環で単純加群をもたないものは確かに存在する。このとき //R// = //J// であり、環は radical ring と呼ばれる。generalized quasiregular を使った根基の特徴づけによって、次のことが明らかである。//J// が零でない環があれば、//J// は単位元をもたない環と考えて radical ring である。

3. 例
----

//J// が {0} であるような環は半原始環、ときには「ジャコブソン半原始環」、と呼ばれる。任意の体、任意のフォン・ノイマン正則環、そして任意の左または右原始環のジャコブソン根基は {0} である。有理整数環のジャコブソン根基は {0} である。
環 Z/12Z のジャコブソン根基は 6Z/12Z であり、これは極大イデアル 2Z/12Z と 3Z/12Z の共通部分である。
//K// が体で //R// が //K// の元を成分とする //n// 次上三角行列の環であれば、//J// は主対角成分が零であるようなすべての上三角行列からなる。
//K// が体で //R// = //K////X//1,   ...,   //X////n// が形式的冪級数環であれば、//J// は定数項が 0 であるような冪級数からなる。より一般的に、任意の局所環のジャコブソン根基は環の唯一の極大イデアルである。
有限非輪状の箙 Γ と体 //K// から道代数 //K//Γ をつくる。この環のジャコブソン根基は Γ における長さ   ≥   1 のすべての道によって生成される。
C*-環のジャコブソン根基は {0} である。これはゲルファント＝ナイマルクの定理と次の事実から従う。C*-環に対して、ヒルベルト空間上の位相的に既約な *-表現は代数的に既約であるので、その核は純代数学的な意味で原始イデアルである。

4. 性質
-----

//R// が単位的で自明環 {0} でなければ、ジャコブソン根基はつねに //R// とは異なる。なぜならば、単位元をもつ環はつねに極大右イデアルをもつからである。しかしながら、環論におけるいくつかの重要な定理や予想は //J// = //R// のケースを考える。――「//R// が nil ring であれば、多項式環 //R//[//x//] はそのジャコブソン根基に等しいだろうか？」これは未解決の Köthe 予想と同値であるSmoktunowicz。
環 //R/////J// のジャコブソン根基は零である。ジャコブソン根基が零の環は半原始環と呼ばれる。
環が半単純であることとアルティン環かつそのジャコブソン根基が零であることは同値である。
//f// : //R// → //S// が全射環準同型であれば、//f//) ⊆ //J// であるAnderson。
//M// が有限生成左 //R//-加群であって、//J////M// = //M// であれば、//M// = 0 である。
//J// はすべての中心的冪零元を含むが、0 以外の冪等元は含まない。
//J// は //R// のすべての nil イデアルを含む。//R// が左または右アルティン環であれば、//J// は冪零イデアルである。実際はより強いことが言える。 が右 //R//-加群 //R// の組成列であれば、 である。しかしながら、一般にはジャコブソン根基は環の冪零元のみからなるとは限らないことに注意せよ。
//R// が可換で、体か Z 上の代数として有限生成であれば、//J// は //R// の冪零根基と等しい。
環のジャコブソン根基はその最大の余剰右イデアルである。

5. 関連項目
-------

冪零根基
加群の根基
イデアルの根基
フラッティーニ部分群

6. 脚注
-----

7. 参考文献
-------

N. Bourbaki. //Éléments de Mathématique//.
author=Herstein, I. N.Reprint of the 1968 original; With an afterword by Lance W. Small

author=Pierce, Richard S.Studies in the History of Modern Science, 9