数学において、クルル・シュミットの定理（）とは、加群や群の直既約分解の存在と一意性に関する定理である。「クルル・シュミットの定理」の他にも「クルル・シュミット・東屋の定理」、「クルル・レマク・シュミットの定理」、「ウェダーバーン・レマク・クルル・シュミットの定理」とも呼ばれる。これらの数学者の貢献に関する歴史についてはとを参照のこと。
定理の主張 群に対して 群 に主組成列が存在すれば、 は有限個の直既約群の直積に分解される (ただし、 自身が直既約群である場合も有り得るものとする)。
この直既約分解は順序と同型を除いて一意的である。もっと精密に言えば、二通りの直既約分解
があれば であり、ある 次の置換 が存在して、任意の直積因子 （）に対して、ある群 の（すべての内部自己同型写像と可換な）自己同型写像 が存在して、
かつ任意の について は に恒等写像として作用する。特に、
が成り立つ。
加群に対して 加群 が と直既約分解されており、かつ各の自己準同型環が局所環であるとき、次が成り立つ。
置換 が存在して、以下の条件を満たす
任意の に対して しばしば最後の主張は言及されない。
応用と限界 加群が組成列を持つとき（あるいは同じことだが、ネーター加群かつアルティン加群であるとき）、直既約分解は存在する。またフィッティングの補題により長さ有限な直既約加群の自己準同型環は局所環である。したがって、クルル・シュミットの定理より、この分解は順序と同型を除いて一意である。この「組成列を持つ」という条件を単に「アルティン加群である」という条件に緩めると、クルル・シュミットの定理の類似は成り立たない。
クルル・シュミット圏 加法圏 の対象 の射 が分裂べき等元（）であるとは かつ射 と が存在して , が成り立つことをいう。すべてのべき等元が分裂し、すべての対象の自己準同型環が半完全環であるとき はクルル・シュミット圏（）であるという。これは、すべての対象が直既約対象の有限直和に同型であり、すべての直既約対象の自己準同型環が局所環であることに同値である。
クルル・シュミット圏において直既約分解の順序と同型を除いた一意性が成り立つ。
脚注
参考文献
外部リンク