クルル・シュミットの定理

数学において、クルル・シュミットの定理（テンプレート:Lang-en-short）とは、加群や群の直既約分解の存在と一意性に関する定理である。「クルル・シュミットの定理」の他にも「クルル・シュミット・東屋の定理」、「クルル・レマク・シュミットの定理」、「ウェダーバーン・レマク・クルル・シュミットの定理」とも呼ばれるテンプレート:Sfn テンプレート:Sfn テンプレート:Sfn テンプレート:Sfn。これらの数学者の貢献に関する歴史についてはテンプレート:Harvとテンプレート:Harvを参照のこと。

定理の主張

群 $G$ に主組成列が存在すれば、 $G$ は有限個の直既約群の直積に分解される (ただし、 $G$ 自身が直既約群である場合も有り得るものとする)。

この直既約分解は順序と同型を除いて一意的である。もっと精密に言えば、二通りの直既約分解

G = H_{1} \times \dots \times H_{n} = K_{1} \times \dots \times K_{m}

があれば $n = m$ であり、ある $m$ 次の置換 $σ$ が存在して、任意の直積因子 $H_{1}, \dots, H_{r}$ （ $1 \leq r \leq n$ ）に対して、ある群 $G$ の（すべての内部自己同型写像と可換な）自己同型写像 $f$ が存在して、

f (H_{i}) = K_{σ (i)} (1 \leq i \leq r)

かつ任意の $r < i \leq n$ について $f$ は $H_{i}$ に恒等写像として作用するテンプレート:Sfn テンプレート:Sfn。特に、

G = K_{σ (1)} \times \dots \times K_{σ (r)} \times H_{r + 1} \times \dots \times H_{n} (1 \leq r \leq n)

が成り立つ。

しばしば最後の主張は言及されない。

加群が組成列を持つとき（あるいは同じことだがテンプレート:Sfn、ネーター加群かつアルティン加群であるとき）、直既約分解は存在するテンプレート:Sfn。またフィッティングの補題により長さ有限な直既約加群の自己準同型環は局所環である。したがって、クルル・シュミットの定理より、この分解は順序と同型を除いて一意である。この「組成列を持つ」という条件を単に「アルティン加群である」という条件に緩めると、クルル・シュミットの定理の類似は成り立たないテンプレート:Sfn。

加法圏 $𝒜$ の対象テンプレート:Mvar の射テンプレート:Math が分裂べき等元（テンプレート:Lang-en-short）であるとはテンプレート:Math かつ射テンプレート:Math とテンプレート:Math が存在してテンプレート:Math, テンプレート:Math が成り立つことをいう。すべてのべき等元が分裂し、すべての対象の自己準同型環が半完全環であるとき $𝒜$ はクルル・シュミット圏（テンプレート:Lang-en-short）であるという。これは、すべての対象が直既約対象の有限直和に同型であり、すべての直既約対象の自己準同型環が局所環であることに同値であるテンプレート:Sfn。

クルル・シュミット圏において直既約分解の順序と同型を除いた一意性が成り立つテンプレート:Sfn。