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

数学において、クルル・シュミットの定理（英: Krull-Schmidt theorem）とは、加群や群の直既約分解の存在と一意性に関する定理である。「クルル・シュミットの定理」の他にも「クルル・シュミット・東屋の定理」、「クルル・レマク・シュミットの定理」、「ウェダーバーン・レマク・クルル・シュミットの定理」とも呼ばれる。これらの数学者の貢献に関する歴史については(Nagao & Tsushima 1989)と(Jacobson 2009)を参照のこと。 群 G   {\displaystyle G\ } に主組成列が存在すれば、 G   {\displaystyle G\ } は有限個の直既約群の直積に分解される (ただし、 G   {\displaystyle G\ } 自身が直既約群である場合も有り得るものとする)。 この直既約分解は順序と同型を除いて一意的である。もっと精密に言えば、二通りの直既約分解 G = H 1 × ⋯ × H n = K 1 × ⋯ × K m {\displaystyle G=H_{1}\times \cdots \times H_{n}=K_{1}\times \cdots \times K_{m}} があれば n = m {\displaystyle n=m} であり、ある m {\displaystyle m} 次の置換 σ {\displaystyle \sigma } が存在して、任意の直積因子 H 1 , … , H r {\displaystyle H_{1},\dotsc ,H_{r}} （ 1 ≤ r ≤ n {\displaystyle 1\leq r\leq n} ）に対して、ある群 G {\displaystyle G} の（すべての内部自己同型写像と可換な）自己同型写像 f {\displaystyle f} が存在して、 f ( H i ) = K σ ( i ) ( 1 ≤ i ≤ r ) {\displaystyle f(H_{i})=K_{\sigma (i)}\qquad (1\leq i\leq r)} かつ任意の r < i ≤ n {\displaystyle r<i\leq n} について f {\displaystyle f} は H i {\displaystyle H_{i}} に恒等写像として作用する。特に、 G = K σ ( 1 ) × ⋯ × K σ ( r ) × H r + 1 × ⋯ × H n ( 1 ≤ r ≤ n ) {\displaystyle G=K_{\sigma (1)}\times \dotsb \times K_{\sigma (r)}\times H_{r+1}\times \dotsb \times H_{n}\qquad (1\leq r\leq n)} が成り立つ。 加群 V が V = V1 ⊕ … ⊕ Vn = W1 ⊕ … ⊕ Wm と直既約分解されており、かつ各 Viの自己準同型環が局所環であるとき、次が成り立つ。 n = m 置換 σ ∈ Sn が存在して、以下の条件を満たす Vi ≅ Wσ(i) 任意の 1 ≤ r < n に対して V = Wσ(1) ⊕ … ⊕ Wσ(r) ⊕ Vr+1 ⊕ … ⊕ Vn しばしば最後の主張は言及されない。 加群が組成列を持つとき（あるいは同じことだが、ネーター加群かつアルティン加群であるとき）、直既約分解は存在する。またフィッティングの補題により長さ有限な直既約加群の自己準同型環は局所環である。したがって、クルル・シュミットの定理より、この分解は順序と同型を除いて一意である。この「組成列を持つ」という条件を単に「アルティン加群である」という条件に緩めると、クルル・シュミットの定理の類似は成り立たない。 加法圏 A {\displaystyle {\mathcal {A}}} の対象 X の射 e : X → X が分裂べき等元（英: splitting idempotent）であるとは e2 = e かつ射 μ : Y → X と ρ : X → Y が存在して μ ρ = 1Y, ρ μ = e が成り立つことをいう。すべてのべき等元が分裂し、すべての対象の自己準同型環が半完全環であるとき A {\displaystyle {\mathcal {A}}} はクルル・シュミット圏（英: Krull-Schmidt category）であるという。これは、すべての対象が直既約対象の有限直和に同型であり、すべての直既約対象の自己準同型環が局所環であることに同値である。 クルル・シュミット圏において直既約分解の順序と同型を除いた一意性が成り立つ。 ^ Curtis & Reiner 2006. ^ a b Nagao & Tsushima 1989. ^ Lang 2002. ^ Jacobson 2009. ^ 鈴木 1978, p. 129. ^ Robinson 1996, p. 83. ^ Nagao & Tsushima 1989, Exercise 1.2.6. ^ Nagao & Tsushima 1989, Theorem 1.6.2. ^ Facchini 1998. ^ a b Happel 1988, p. 26. 鈴木通夫『群論』 上、岩波書店〈現代数学18〉、1978年。ISBN 978-4-00-730271-8。  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.co.jp/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.co.jp/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.co.jp/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.co.jp/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.co.jp/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.co.jp/books?id=RLzSBQAAQBAJ&pg=PA27  Robinson, D. J. S. (1996). A Course in the Theory of Groups (Second ed.). Springer. ISBN 978-1-4612-6443-9. https://books.google.co.jp/books?id=zLfkBwAAQBAJ&pg=PA83  Skornyakov, L.A. (2001), “Krull-Remak-Schmidt theorem”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Krull-Remak-Schmidt_theorem&oldid=22673