クルル・シュミット圏

ウィキペディア

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

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/06/10 14:22 UTC 版)

数学において、クルル・シュミットの定理（英: Krull-Schmidt theorem）とは、加群や群の直既約分解の一意性に関する定理である。「クルル・シュミットの定理」の他にも「クルル・シュミット・東屋の定理」、「クルル・レマク・シュミットの定理」、「ウェダーバーン・レマク・クルル・シュミットの定理」とも呼ばれる。これらの数学者の貢献に関する歴史については(Nagao & Tsushima 1989)と(Jacobson 2009)を参照のこと。

定理の主張

群に対して

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

この直既約分解は順序と同型を除いて一意的である。つまり、

$G=H_{1}\times H_{2}\times \cdots \times H_{m}=K_{1}\times K_{2}\times \cdots \times K_{n}$

を2通りの分解とすれば、 $m=n$ であり、直既約群の組 $\{H_{i}\}_{1\leq i\leq m}$ と $\{K_{j}\}_{1\leq j\leq m}$ は、適当な $m\$ 次の置換 $\sigma$ によって $H_{i}\approx K_{\sigma (i)}$ とすることができる。

加群に対して

加群 V が V = V₁ ⊕ … ⊕ V_n = W₁ ⊕ … ⊕ W_m と直既約分解されており、かつ各 V_iの自己準同型環が局所環であるとき、次が成り立つ。

• n = m
• 置換 σ ∈ S_n が存在して、以下の条件を満たす
  • V_i ≅ W_σ(i)
  • 任意の 1 ≤ r < n に対して V = W_σ(1) ⊕ … ⊕ W_σ(r) ⊕ V_r+1 ⊕ … ⊕ V_n

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

応用と限界

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

クルル・シュミット圏

加法圏 ${\mathcal {A}}$ の対象 X の射 e : X → X が分裂べき等元（英: splitting idempotent）であるとは e² = e かつ射 μ : Y → X と ρ : X → Y が存在して μ ρ = 1_Y, ρ μ = e が成り立つことをいう。すべてのべき等元が分裂し、すべての対象の自己準同型環が半完全環であるとき ${\mathcal {A}}$ はクルル・シュミット圏（英: Krull-Schmidt category）であるという。これは、すべての対象が直既約対象の有限直和に同型であり、すべての直既約対象の自己準同型環が局所環であることに同値である。

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

参考文献

• Curtis, C. W.; Reiner, I. (2006). Representation Theory of Finite Groups and Associative Algebras. AMS Chelsea Pub.. ISBN 0-8218-4066-5. https://books.google.com/books?id=RKwjeZKMr8oC&pg=PA83. 
• Facchini, A. (1998). Module Theory : endomorphism rings and direct sum decompositions in some classes of modules. Modern Birkhäuser classics. Birkhäuser. ISBN 978-3-0348-0302-1. https://books.google.com/books?id=2bFWiEo0jOkC. 
• Happel, Dieter (1988). Triangulated Categories in the Representation of Finite Dimensional Algebra. London Mathematical Society Lecture Note Series. 119. Cambridge University Press. ISBN 978-0-521-33922-3. https://books.google.com/books?id=rwGuMdtocAEC. 
• Jacobson, N. (2009). Basic Algebra II. Dover books on mathematics (Second ed.). Dover. ISBN 978-0-486-47187-7. https://books.google.com/books?id=hn75exNZZ-EC&pg=PA115. 
• Lang, S. (2002). Algebra. Graduate Texts in Mathematics. 211 (Rev. 3rd ed.). Springer. ISBN 978-0387-95385-4. https://books.google.com/books?id=Fge-BwqhqIYC&pg=PA441. 
• Nagao, H.; Tsushima, Y. (1989). Representations of Finite Groups. Academic Press. ISBN 0-12-513660-9. https://books.google.com/books?id=RLzSBQAAQBAJ&pg=PA27. 

外部リンク

• Skornyakov, L.A. (2001), "Krull-Remak-Schmidt theorem", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4 CS1 maint: Date and year

ウィキペディア小見出し辞書

クルル・シュミット圏

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/06/10 14:22 UTC 版)

「クルル・シュミットの定理」の記事における「クルル・シュミット圏」の解説

加法圏 A の対象 X の射 e : X → X が分裂べき等元（英: splitting idempotent）であるとは e2 = e かつ射 μ : Y → X と ρ : X → Y が存在して μ ρ = 1Y, ρ μ = e が成り立つことをいう。すべてのべき等元が分裂し、すべての対象の自己準同型環が半完全環であるとき A はクルル・シュミット圏（英: Krull-Schmidt category）であるという。これは、すべての対象が直既約対象の有限直和に同型であり、すべての直既約対象の自己準同型環が局所環であることに同値である。 クルル・シュミット圏において直既約分解の順序と同型を除いた一意性が成り立つ。