半単純環のソースを表示

[[数学]]、特に[[代数学]]において、環 ''A'' が ''A''-加群として[[半単純加群]]、すなわち、非自明な部分加群をもたない ''A''-加群の直和であるとき、''A'' を'''半単純環'''という。これは、同型の違いを除いて、（可換とは限らない）体上の全行列環の有限個の直積である。

この概念は数学の多くの分野において現れる。例えば、[[線型代数学]]、[[数論]]、{{仮リンク|有限群の表現論|en|Representation theory of finite groups}}、[[リー群]]論、[[リー代数|リー環]]論が挙げられる。これは例えば、{{仮リンク|フロベニウスの相互法則|fr|réciprocité de Frobenius}}の証明に役立つ。

''半単純多元環''の理論は[[シューアの補題]]と[[アルティン・ウェダーバーンの定理]]を基盤としている。

== 一般論 ==
=== 単純加群と半単純加群 ===
:詳細な記事：[[単純加群]]、[[半単純加群]]
''A'' を環、''M'' を ''A''-加群とする。
* ''M'' が[[単純加群]]であるとは、''M'' は {0} でなく、その部分加群が {0} と ''M'' に限るときにいう。例えば、体上の加群すなわちベクトル空間が単純であるとは次元が1ということである。
* ''M'' が '''[[半単純加群]]''' であるとは、''M'' が単純 ''A''-加群の（有限とは限らない）族の[[直和]]に同型であるときにいう。これは、すべての部分加群 ''N'' に対してある部分加群 ''P'' が存在して ''M'' は ''N'' と ''P'' の直和になると言っても同じである。例えば、体上の任意のベクトル空間は半単純である。

=== 半単純環 ===
==== 定義 ====
環 ''A'' が'''半単純'''であるとは、''A'' を左 ''A''-加群と見て ''A'' が半単純であることをいう。驚くべきことに、"左半単純環"は"右半単純環"であり、逆もまた然り。可換体上の（単位元をもつ結合的）多元環が'''半単純'''であるとは、それが環として半単純であるときにいう。

''A'' を左 ''A''-加群と見たときにその部分加群は ''A'' の左イデアルであるから、以下は同値である。
* ''A'' は半単純環である。
* ''A'' は、左 ''A''-加群と見て、左極大イデアル ''I'' による剰余加群 ''A''/''I'' の（有限個とは限らない）族の直和に同型である。
* ''A'' の任意の左イデアル ''I'' に対して左イデアル ''J'' が存在し、''A'' は ''I'' と ''J'' の直和になる。つまり、''A'' の任意の元 ''x'' に対し、''I'' の元 ''y'' と ''J'' の元 ''z'' の組が一意的に存在し、''x'' = ''y'' + ''z'' と書ける。

==== 例 ====

半単純環の例をいくつか見よう。

* 零環は半単純である。
* すべての（可換とは限らない）体は半単純環である。
* [[単純環]]が半単純環であることと[[アルティン環]]であることは同値である<ref name=artinien>環が左アルティン的であるとは、''A'' の左イデアルの任意の降鎖列が停留的であることをいう。</ref>{{,,}}<ref>注意。任意の単純加群は半単純であるが、単純環は半単純であるとは限らない。</ref>。例えば、''D'' が体で  ''E'' が ''D'' 上のベクトル空間で次元 ''n'' が0でなく有限ならば、環 End<sub>''D''</sub> ''E'' と ''M''<sub>''n''</sub>(''D'') は単純アルティン環なので半単純環である。
* 半単純環の[[反転環]]は半単純である。
* 有限個の半単純環（特に体）の直積は半単純である。例えば ''V'' が ''K''-[[ベクトル空間]] で φ が ''m'' 個の固有値によって対角化可能な ''V'' の [[自己準同型]]であれば、φ で生成された ''K''-多元環は ''K<sup>m</sup>'' に同型であるので、半単純環である。
* 半単純環の両側イデアルによる剰余環は半単純である。
* ''A'' を半単純環、''M'' を有限型 ''A''-加群とする。このとき ''A''-加群 ''M'' の自己準同型環は半単純環である。
* ''n'' を正の整数とする。剰余環 '''Z'''/(''n'') が半単純であるのは ''n'' が[[無平方数|平方因子をもたない]]とき、かつそのときに限る<ref>{{cite book
|last1 = Anderson
|first1 = F. W.
|last2 = Fuller
|first2 = K. R.
|title = Rings and Categories of Modules
|publisher = Springer
|year = 1974
|isbn = 978-0-387-90070-4
|page = {{google books quote|id=g4PjBwAAQBAJ|page=121|121}}
}}</ref>。
* ''f'' を体 ''K'' 上の定数でない一変数多項式とする。剰余環 ''K''[''X'']/(''f'') が半単純であるのは ''f'' が平方因子をもたない（[[互いに素]]な[[既約多項式]]の積である）とき、かつそのときに限る<ref>{{cite book|last1=Erdmann|first1=Karin|last2=Holm|first2=Thorsten|title=Algebras and Representation Theory|year=2018|publisher=Springer|isbn=978-3-319-91997-3|page={{google books quote|id=iVptDwAAQBAJ|page=93|plainurl=yes|93}} (Proposition 4.14)}}</ref>。

==== 性質と特徴づけ ====

半単純環は[[ホモロジー代数]]的に著しい特徴を持つ。

'''定理'''。''A'' を環とする。以下は同値。
* 環 ''A'' は半単純である（すなわち、左 ''A'' 加群と見て[[半単純加群|半単純]]である）。
* 環 ''A'' はアルティン的<ref name=artinien/> かつ[[半原始環|半原始的]]<ref name=semiprim>[[ジャコブソン根基]]が0である環を半原始環という。</ref>。
* 任意の左 ''A''-加群は半単純である。
* 任意の左 ''A''-加群は[[射影加群]]である。
* 任意の[[巡回加群|巡回]]左 ''A''-加群は射影加群である。
* [[大域次元|l.gl.dim ''R'']] = 0
* 任意の左 ''A''-加群は[[移入加群]]である。
* 任意の巡回左 ''A''-加群は移入加群である。
もちろん、「左」を「右」に変えたものも同値である<ref>その他の同値な条件は、例えば Louis H. Rowen ''Ring Theory Volume I''  p. 496 を参照</ref>。

=== 関連した概念 ===
==== 半単純性の別の概念 ====
環の半単純性の概念は著者によって大きく異なり、すべてが同値ではないが、環がアルティン的（かつ単位的）と仮定すれば一般的なものは同値になる。ある著者は半原始環<ref name=semiprim/>のことを半単純環という。またある著者は単純環の部分直積のことを半単純環という。また、「単位元をもたない」環に対する半単純性の概念もある。

==== 分離的多元環 ====
''K'' を可換体とし ''A'' を ''K'' 上有限次元の半単純多元環とする。''K'' が[[完全体]]（例えば標数0の体、代数的閉体、有限体）であれば、任意の部分体 ''L'' に対し、''A'' の ''K'' から ''L'' への係数拡大によって得られる ''L''-多元環  <math>L \otimes_K A</math> は半単純である。一方、一般の体 ''K'' に対してはこの限りではないが、そうであるときは、''A'' は'''分離的'''であるという。それゆえ、''K'' が完全体ならば ''A'' は分離的である。

== 半単純環の構造 ==
=== 半単純環の分解 ===
''A'' を半単純環とする。

すると ''A'' の極小両側イデアル（''A'' の両側イデアルの集合の包含関係による極小元）の集合は有限である。''I''<sub>1</sub>, ..., ''I''<sub>''p''</sub> をその両側イデアルとする。各 ''I''<sub>''k''</sub> は誘導された積について単純アルティン的（ゆえ単位的）環である。''I''<sub>''k''</sub> から ''A'' へのカノニカルな単射を拡張した、''I''<sub>1</sub> ×  ... × ''I''<sub>''p''</sub> から ''A'' への一意的な群準同型が存在し、これは環同型である。

したがって環 ''A'' は単純アルティン環の有限個の直積に同型であり、この表示は因子の積の順序の違いを除いて一意的である。この因子は極小両側イデアルであり、''A'' の'''単純成分'''（仏: composant simple）と呼ばれる。

環が半単純であるためには、単純アルティン環の有限個の直積環と同型であることが必要十分である。

半単純環の中心は各単純成分の中心の直積環と同型であり、可換体の有限個の直積環と同型である。実は、可換な半単純環は可換体の有限個の直積と同型な環に他ならない。

=== アルティン・ウェダーバーンの定理 ===
任意の半単純環は有限個の単純アルティン環の直積として（順序の違いを除いて）一意的に書けるので、半単純環の分類は単純アルティン環の分類に帰着する。単純アルティン環は同型の違いを除いてちょうど ''M''<sub>''n''</sub>(''D'')（''n'' 次全行列環）の形をしている。ただし ''n'' > 0 で ''D'' は体。よって次のように言える。

'''[[アルティン・ウェダーバーンの定理]]'''。''A'' を環とする。以下は同値である。
* ''A'' は半単純である。
* ''A'' は ''M''<sub>''n''<sub>1</sub></sub>(''D''<sub>1</sub>) × ... × ''M''<sub>''n''<sub>''p''</sub></sub>(''D''<sub>''p''</sub>) と同型である。ただし ''n''<sub>1</sub>, ..., ''n''<sub>''p''</sub> > 0 は整数で ''D''<sub>1</sub>, ..., ''D''<sub>p</sub> は（可換とは限らない）体である。
* ''A'' は End<sub>''D''<sub>1</sub></sub>(''E''<sub>1</sub>) × ... × End<sub>''D''<sub>''p''</sub></sub>(''E''<sub>''p''</sub>) と同型である。ただし ''D''<sub>1</sub>, ..., ''D''<sub>p</sub> は体で ''E''<sub>1</sub>, ..., ''E''<sub>p</sub> はそれぞれ ''D''<sub>1</sub>, ..., ''D''<sub>p</sub> 上の0でない有限次元ベクトル空間である。

=== 有限次元半単純多元環の場合 ===
この節において、''K'' は可換体を表す。

''A'' を有限次元の半単純 ''K''-多元環とする。このとき ''A'' の各単純成分 ''A''<sub>1</sub>, ..., ''A''<sub>''p''</sub> （上記参照）は有限次元単純 ''K''-多元環であり、''A'' は ''K''-多元環として ''A''<sub>1</sub> × ... ×  ''A''<sub>''p''</sub> と同型である。したがって、半単純 ''K''-多元環とは、同型の違いを除いて、有限次元単純 ''K''-多元環の有限個の直積に他ならない。

''A'' が ''M''<sub>''n''<sub>1</sub></sub>(''D''<sub>1</sub>) × ... × ''M''<sub>''n''<sub>''p''</sub></sub>(''D''<sub>''p''</sub>) の形であるかまたは ''A'' =  End<sub>''D''<sub>1</sub></sub>(''E''<sub>1</sub>) × ... × End<sub>''D''<sub>''p''</sub></sub>(''E''<sub>''p''</sub>) の形であれば、''K'' は ''D''<sub>''i''</sub> の中心の部分体であり、''D''<sub>''i''</sub> の  ''K'' 上の次元は有限である。逆に、すべての有限次元半単純 ''K''-多元環はこの形である。

''K'' が[[代数的閉体]]であれば、''A'' は、同型の違いを除いて、''M''<sub>''n''<sub>1</sub></sub>(''K'') × ... × ''M''<sub>''n''<sub>''p''</sub></sub>(''K'') の形である。さらに、''A'' の中心は ''K''<sup>''p''</sup> と同型である。

=== 半単純環上の単純加群 ===
''A'' = ''A''<sub>1</sub> × ... × ''A''<sub>''p''</sub> を半単純環の単純アルティン環の直積への分解（これは因子の順序の違いを除いて一意）とする。このとき、単純 ''A''-加群の同型類が ''p'' 個存在する。''M'' が単純 ''A''-加群であれば、唯一の 1 ≤ ''k'' ≤ ''p'' が存在して ''A<sub>k</sub>M'' ≠ {0} が成り立ち、このとき ''A<sub>k</sub>''-加群として ''M'' は単純である。

''D<sub>i</sub>'' を体、''E<sub>i</sub>'' を ''D<sub>i</sub>'' 上0でない有限次元ベクトル空間とし、A = End<sub>''D''<sub>1</sub></sub>(''E''<sub>1</sub>) × ... × End<sub>''D<sub>p</sub>''</sub>(''E<sub>p</sub>'') とする（これは同型の違いを除いて一般性を失わない）。このとき各 ''E<sub>i</sub>'' は ((''f''<sub>1</sub>, ..., ''f<sub>p</sub>''), ''x<sub>i</sub>'') {{mapsto}} ''f<sub>i</sub>''(''x<sub>i</sub>'') によって ''A''-加群であり、''E<sub>i</sub>'' は同型の違いを除いて唯一の単純 ''A''-加群である。

=== マシュケの定理 ===
:詳細な記事：[[:fr:Représentation de groupe#Lien_avec_les_K.5BG.5D-modules|dictionnaire entre les représentations d'un groupe et les ''K''[''G'']-modules]]

[[マシュケの定理]]は{{仮リンク|有限群の表現論|en|Representation theory of finite groups}}における定理だが、有限群の群環の半単純性の言葉で解釈できる。

'''マシュケの定理'''。有限群 ''G'' の[[可換体]] ''K'' 上の群環 ''K''[''G''] は、''K'' の標数が ''G'' の位数を割らないならば、半単純環である。

''K''[''G'']-単純加群は本質的に ''G'' の[[既約表現]]であり、これは（有限群 ''G'' について）[[正則表現 (数学)|正則表現]]の部分表現と同値なので、同型の違いを除いて有限個しかなく、それらはすべて有限次元である。

== 歴史 ==
=== 起源 ===
[[ファイル:Camille Jordan 3.jpg|thumb|Camille Jordan]]
多元環の概念の研究の歴史はもともと線型代数学と群論の関係のそれと関係が深い。[[ジェームス・ジョセフ・シルベスター|ジェームス・シルベスター]] (James Sylvester)<ref>{{Cite journal|author=J. Sylvester|title=Additions to the articles in the September number of this journal, “On a new class of theorems,” and on Pascal's theorem|journal=Philosophical Magazine|series=3|volume=37|issue=251|year=1850|pages=363-370}}</ref> と [[アーサー・ケイリー]] (Arthur Cayley) は1850年に行列の概念を発展させた。この概念は多くの結果をもたらし、そのうちの1つは概念の起源である。これは群、特に、[[ガロワ群]]と、新しい方向である行列群の研究を具体化することができる。はじめは有限の場合だけが研究されていたが、明らかに新しい構造が現れ、それは今では群同型によって生成された自己準同型の多元環と考えられている。

[[カミーユ・ジョルダン]] (Camille Jordan) は、ケイリーとともに時代の大専門家であったが、それを集中的に利用した。[[1869年]]、[[ジョルダン・ヘルダーの定理]]の名前で知られる有限群の分解列の存在が証明された<ref>{{Cite  journal|author=C. Jordan|title=Commentaire sur Galois|journal=Mathematische Annalen|year=1869}}, rééd. Œuvres, Gauthier-Villars, 1961, vol. 1, p. 211-230</ref>。そのような列の一意性は20年後[[オットー・ヘルダー]] (Otto Hölder) によって証明される。この定理を教える可能性がある講義は 2 つある。有限群の講義と加群の講義である。後者は本質的な構造の性質に対応する。それは数学の一分野[[可換環論]]になった興味の起源の 1 つである。[[ガロワ群]]の解析は線型代数学においても観点を提供する。それはジョルダンにこの代数を通して有限[[次元]]において自己準同型を研究することをもたらし、その構造の深く最終的な理解ができた。この結果は総合の本において[[1870年]]に出版された<ref>C. Jordan, ''Traité des substitutions et des équations algébriques'', 1870</ref>。それは[[ジョルダン標準形]]の名前で知られており、[[有限体|有限素体]]、すなわち素数を法とした整数の体上適用する。

ジョルダンの仕事は大きな影響を与え、その総合本は群、ガロワ、そしれ線型代数の理論の参考書になった。それは1 つには[[線型群]]を通した群の解析は豊かにする段階であるということを、また 1 つには代数の構造は同時に加群と線型代数の言葉において教育において豊かであることを、証明する。

=== 群論 ===
群の理解の追求は数学の主要な主題である。その適切な興味で、この構造の理解はたくさんの主題の鍵である。[[ガロワ理論]]、[[代数方程式]]の問題の心臓の位置、とその結果はたくさんである、体の構造の解析はこの時代ガロワの理論とたくさんの環の理解と同一視される、[[算術]]の利用はこの理論に頼る。幾何学も決して例外ではない。1870年、2 人の数学者[[フェリックス・クライン]] (Felix Klein) と [[ソフス・リー]] (Sophus Lie) は[[パリ]]にジョルダンを訪ねた。彼らは特に対称群の助けを借りて幾何学を研究する古い彼の出版物<ref>C. Jordan, « Sur les équations de la Géométrie », dans ''[[CRAS]]'', 1869</ref> に興味があった。ソフス・リーは連続群の理論を発展させ、クラインは彼の有名なプログラム<ref>{{de}} F. Klein, ''{{Lang|de|Vergleichende Betrachtungen über neuere geometrische Forschungen}}'', A. Deichert, 1872</ref>において群を通して幾何学を分類した。彼らは本質的に有限標数を見逃した。

[[フェルディナント・ゲオルク・フロベニウス|ゲオルグ・フロベニウス]] (Georg Frobenius) は、[[リヒャルト・デデキント]] (Richard Dedekind) との文通から<ref>{{Cite journal|first=T. Y.|last=Lam|title=Representations of Finite Groups: A Hundred Years, Part I|journal=Notices of the American Mathematical Society|volume=45|year=1998|issue=3|pages=361&ndash;372|url=http://www.ams.org/notices/199803/lam.pdf}}, p. 365</ref>、有限群そしてとくに、当時 ''déterminant de groupe'' と呼ばれ今では廃れてしまった行列の表現の分解の概念に興味を持った。この手紙は{{仮リンク|有限群の表現|label=群の表現論|fr|Représentations d'un groupe fini}}の起源である。[[1897年]]、彼は表現、すなわちベクトル空間に線型に作用する群、と、加群、ただし環がその空間に作用する、の間の近接をとらえた<ref>{{de}} F. G. Frobenius, « {{Lang|de|Über die Darstellung der endlichen Gruppen durch linear Substitutionen}} », dans ''Sitzungsber. Preuss. Akad. Wiss. Berlin'', 1897</ref>。飛躍は埋められ、群は''線型化''され加群になる。群上の加群の構造と同値な構造を持つ加群の上のすべての進歩は表現論したがって群論を進歩させる主題である。

[[ハインリッヒ・マシュケ]] ([[:fr:Heinrich Maschke|Heinrich Maschke]]) は、クラインの生徒であったが、[[マシュケの定理|彼の名を持つ定理]]を証明した最初の人である<ref>{{Cite journal|first=H.|last=Maschke|title=Beweis des Satzes, dass diejenigen endlichen linearen Substitutionesgruppen, in welchen einige durchgehends verschwindende Coefficienten auftenen intransitiv sind|journal=Math. Ann.|volume=52|year=1899|pages=363&ndash;368}}</ref>。それはこのタイプの加群を構成する元を決定する。それは[[半単純加群|半単純]]である。それは[[整数]]環のような[[ユークリッド環]]に強いアナロジーを持つ。それらは有限個しか存在しない違いにおいて少し素数と対応する[[半単純加群]]の列に分解する。

=== 多元環の構造 ===
[[ファイル:Wedderburn.jpeg|thumb|Joseph Wedderburn]]

半単純多元環の構造はますます中心的である。表現の場合において、それは任意のベクトル空間上ではなく自身の上の群の線型拡大の作用に対応する。別の分野に数学は自然にこの概念の使用をもたらす。[[ガロワ拡大]]は類似の構造を置き体論はこの対象の研究を仮定する。最後に、リーによって発展された連続群は半単純[[リー代数|多元環]]の構造を持った[[接空間]]を各点に付ける。20世紀の始まりにはこの主題はこの概念を研究している様々な数学者で主要になった。多元環は加群の構造もまた持っているから加群の分解の定理を適用できる。

[[ウィリアム・バーンサイド]] ([[:en:William Burnside]]) はフロベニウスのアプローチを直ちにつかんだ。線型群の下にある多元環の構造の重要性は逃げなかった。彼は1897年に有限群に関する彼の参考文献の初版<ref>{{en}} W. Burnside, ''{{Lang|en|The Theory of Groups of Finite Order}}'', [[Cambridge University Press]], 1897</ref>で最初の結果を確立した。体が[[代数閉体|代数的に閉]]な場合有限次元ベクトル空間の[[自己準同型]]の集合は単純多元環である。その後初等的な例が解明された。

[[レオナード・E・ディクソン|レオナード・ディクソン]] (Leonard Dickson) は[[1896年]]に任意の有限体上の線型群としてのガロワ群を PhD の論文を書いてしたがってジョルダンの結果を一般化した。彼はすべての有限可換体は素体の[[ガロワ拡大]]であることを証明した。それはヨーロッパで[[1901年]]に出版される<ref>{{en}} L. Dickson, ''{{Lang|en|Linear Groups - With an Exposition of the Galois Field Theory}}'', Courier Dover Publications, 2003</ref>。基底の構造は半単純多元環の構造である。ガロワのアプローチは可換体の研究しか許さないが、半単純多元環は[[非可換体]]の研究も許す。ディクソンは体の一般論を発達させ、非可換体のたくさんの例を見つけた。この時期から 2 つの理論：ガロワ理論と体論の分離が始まった。

[[エリ・カルタン]] (Élie Cartan) は彼が[[1894年]]に支えた彼の学位論文<ref>É. Cartan, ''Sur la structure des groupes de transformations finis et continus'', Paris, Librairie Vuibert, 1933</ref>のリー代数に興味を持った。複素数体上単純および半単純多元環の構造はすべてそこで扱われている。[[ジョセフ・ウェダーバーン]] ([[:fr:Joseph Wedderburn|Joseph Wedderburn]]) とともに彼はこの多元環の一般的な構造を研究した。カルタンは複素数の場合に対して半単純多元環の構造を明らかにした。[[1907年]]ウェダーバーンはたぶん最も有名な彼の論文<ref>{{en}} J. Wedderburn, ''{{Lang|en|On hypercomplex numbers}}'', [[London Mathematical Society|London Math. Soc.]], 1907</ref>を出版した。彼はカルタンの結果を現在[[超複素数]]と呼ばれる任意の体上の多元環に一般化した。この一般化は重要である、なぜならば以前に引用された応用のすべての例は斜体を用いていたからだ。

=== 環の構造 ===
[[ファイル:Noether.jpg|thumb|Emmy Noether]]
ウェダーバーンの定理は状況を修正し、体が''アプリオリ''に非可換であったとしてもすべての単純多元環に対し''自然な''体が存在する。したがって定理は環の用語で表現できなければならない。ウェダーバーンはできなかったがしかし[[1908年]]に 1 つには根基への環を、1 つには半単純を含む分類を提案した。この分解<ref>{{en}} {{Lien|lang=de|Karen Parshall}}, ''{{Lang|en|Joseph H. M. Wedderburn and the structure theory of algebras}}'', Arch. Hist. Exact Sci. '''32''', 3-4 (1985), p. 223-349</ref>はその後半世紀の間環の理論の基本になった。

この分野の研究の巨匠は[[エミー・ネーター]] (Emmy Noether) である。彼女は現代の環論の母のようにしばしば考えられる<ref>{{Cite journal|author=Paul Dubreil|title=Emmy Noether|journal=Cahiers du séminaire d'histoire des mathématiques,|volume=7|year=1986|pages=15&ndash;27}}</ref>。彼女は非可換環の理論を発達させイデアルの一般論を基礎づけた<ref>{{Cite journal|author=E. Noether|title=Ideal Theorie in Ringbereichen|journal=Math. Ann.|volume=83|year=1921|pages=24&ndash;66}}</ref>。単純多元環と対応する既約イデアルの概念、またイデアルのすべての真の昇鎖が有限であるような環の理論が発展した。この[[ネーター環|環]]は今では彼女を称えて名前がついている。

[[エミール・アルティン]] ([[:en:Emil Artin|Emil Artin]]) は研究がネーターによって導入された場合、イデアルのすべての真の降鎖が有限であるような環の場合を特に研究した。[[加群の長さ|長さ]]が有限の半単純環はアルティンかつネーターである。[[1927年]]、アルティンは定理の最終的な形を見つけた<ref>{{de}} E. Artin, ''{{Lang|de|Über einen Satz von J. H. Maclagan Wedderburn}}'', Abh. Math. Sem. Univ. Hamburg '''5''' (1927), p. 100-115</ref>。線型形式化なしに定理はそれを極大範囲に連れて行き、それは非可換多元環の重要な結果になった。環の大きいクラスは任意の体上の結合多元環の積に同型である。

定理は最終的であるが、逆は未解決のままであった。アルティンかつネーターな環の他の環のどのようなクラスが定理を満たすだろうか？最初の答えは[[1939年]]に[[ホプキンス・レヴィツキの定理]]によって与えられる： Charles Hopkins<ref>{{en}} C. Hopkins, ''{{Lang|en|Rings with minimal condition for left ideals}}'', Ann. of Math. II. Ser. 40 (1939), p. 712-730</ref> と [[:de:Jakob Levitzki|Jakob Levitzki]] は降鎖の条件のみが必要であることを証明した。それにもかかわらず真のブレイクスルー<ref>{{en}} N. Jacobson, ''{{Lang|en|The radical and semisimplicity for arbitrary ring}}'', J. Math. '''67''' (1945), p. 300-320</ref>は条件を見つけた [[:en:Nathan Jacobson|Nathan Jacobson]] の仕事である。根基の概念が考えられ、それは今では半単純環の研究に必須である。

== 脚注 ==
{{reflist|2}}

== 参考文献 ==
* [[Bourbaki]], ''[[Éléments de mathématique]], Algèbre'', chap. VIII.
* Pierre Grillet, ''Algebra'', [[Springer]].
* Thomas W. Hungerford, ''Algebra'', Springer-Verlah, 1973.
* [[Nathan Jacobson]], ''Basic Algebra II'', chapitre 4, W. H. Freeman, 1989, New York.
* [[Serge Lang]], ''Algèbre'', Dunod, 2004
* 岩永恭雄・佐藤眞久『環と加群のホモロジー代数的理論』[[日本評論社]]
* Lam, T. Y. ''A First Course in Noncommutative Rings'', GTM 131, [[Springer-Verlag]].
* Lam, T. Y. ''Lectures on Modules and Rings'', GTM 189, [[Springer-Verlag]].

{{デフォルトソート:はんたんしゆんかん}}
[[Category:環論]]
[[Category:加群]]
[[Category:表現論]]
[[Category:数学に関する記事]]