半単純環
長さが有限の半単純環はアルティンかつネーターである。1927年、アルティンは定理の最終的な形を見つけた。線型形式化なしに定理はそれを極大範囲に連れて行き、それは非可換多元環の重要な結果になった。環の大きいクラスは任意の体上の結合多元環の積に同型である。
定理は最終的であるが、逆は未解決のままであった。アルティンかつネーターな環の他の環のどのようなクラスが定理を満たすだろうか?最初の答えは1939年にホプキンス・レヴィツキの定理によって与えられる: Charles Hopkins と Jakob Levitzki は降鎖の条件のみが必要であることを証明した。それにもかかわらず真のブレイクスルーは条件を見つけた Nathan Jacobson の仕事である。根基の概念が考えられ、それは今では半単純環の研究に必須である。
群の理解の追求は数学の主要な主題である。その適切な興味で、この構造の理解はたくさんの主題の鍵である。ガロワ理論、代数方程式の問題の心臓の位置、とその結果はたくさんである、体の構造の解析はこの時代ガロワの理論とたくさんの環の理解と同一視される、算術の利用はこの理論に頼る。幾何学も決して例外ではない。1870年、2 人の数学者フェリックス・クライン (Felix Klein) と ソフス・リー (Sophus Lie) はパリにジョルダンを訪ねた。彼らは特に対称群の助けを借りて幾何学を研究する古い彼の出版物 に興味があった。ソフス・リーは連続群の理論を発展させ、クラインは彼の有名なプログラムにおいて群を通して幾何学を分類した。彼らは本質的に有限標数を見逃した。
A を半単純環とする。
すると A の極小両側イデアル(A の両側イデアルの集合の包含関係による極小元)の集合は有限である。I1, ..., Ip をその両側イデアルとする。各 Ik は誘導された積について単純アルティン的(ゆえ単位的)環である。Ik から A へのカノニカルな単射を拡張した、I1 × ... × Ip から A への一意的な群準同型が存在し、これは環同型である。
したがって環 A は単純アルティン環の有限個の直積に同型であり、この表示は因子の積の順序の違いを除いて一意的である。この因子は極小両側イデアルであり、A の単純成分(仏: composant simple)と呼ばれる。
環が半単純であるためには、単純アルティン環の有限個の直積環と同型であることが必要十分である。
半単純環の中心は各単純成分の中心の直積環と同型であり、可換体の有限個の直積環と同型である。実は、可換な半単純環は可換体の有限個の直積と同型な環に他ならない。