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

数学において、クルル・シュミットの定理（英: Krull-Schmidt theorem）とは、加群や群の直既約分解の一意性に関する定理である。「クルル・シュミットの定理」の他にも「クルル・シュミット・東屋の定理」、「クルル・レマク・シュミットの定理」、「ウェダーバーン・レマク・クルル・シュミットの定理」とも呼ばれる^[1]^[2]^[3]^[4]。これらの数学者の貢献に関する歴史については(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)}$ とすることができる^[5]。

加群に対して編集

加群 $V$ が $V = V 1 \oplus \dots \oplus V n = W 1 \oplus \dots \oplus W m$ と直既約分解されており、かつ各 $V i$ の自己準同型環が局所環であるとき、次が成り立つ^[2]。

$n = m$
置換 σ ∈ S_n が存在して、以下の条件を満たす
- $V i ≅ W σ (i)$
- 任意の $1 \leq r < n$ に対して $V = W σ (1) \oplus \dots \oplus W σ (r) \oplus V r +1 \oplus \dots \oplus V n$

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

応用と限界編集

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

クルル・シュミット圏編集

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

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

脚注編集

^ Curtis & Reiner 2006.
^ ^a ^b Nagao & Tsushima 1989.
^ Lang 2002.
^ Jacobson 2009.
^ 浅野啓三・永尾汎　『群論』、岩波書店〈岩波全書〉、1965年、p107。
^ Nagao & Tsushima 1989, Exercise 1.2.6.
^ Nagao & Tsushima 1989, Theorem 1.6.2.
^ Facchini 1998.
^ ^a ^b Happel 1988, p. 26.

参考文献編集

Curtis, C. W.; Reiner, I. (2006). Representation Theory of Finite Groups and Associative Algebras. AMS Chelsea Pub.. ISBN 0-8218-4066-5
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
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
Jacobson, N. (2009). Basic Algebra II. Dover books on mathematics (Second ed.). Dover. ISBN 978-0-486-47187-7
Lang, S. (2002). Algebra. Graduate Texts in Mathematics. 211 (Rev. 3rd ed.). Springer. ISBN 978-0387-95385-4
Nagao, H.; Tsushima, Y. (1989). Representations of Finite Groups. Academic Press. ISBN 0-12-513660-9

外部リンク編集

Skornyakov, L.A. (2001), “Krull-Remak-Schmidt theorem”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

[FOOTNOTECurtisReiner2006-1] Curtis & Reiner 2006.

[FOOTNOTENagaoTsushima1989-2] Nagao & Tsushima 1989.

[FOOTNOTELang2002-3] Lang 2002.

[FOOTNOTEJacobson2009-4] Jacobson 2009.

[Asano,Nagao_1965-5] 浅野啓三・永尾汎　『群論』、岩波書店〈岩波全書〉、1965年、p107。

[FOOTNOTENagaoTsushima1989Exercise_1.2.6-6] Nagao & Tsushima 1989, Exercise 1.2.6.

[FOOTNOTENagaoTsushima1989Theorem_1.6.2-7] Nagao & Tsushima 1989, Theorem 1.6.2.

[FOOTNOTEFacchini1998-8] Facchini 1998.

[FOOTNOTEHappel198826-9] Happel 1988, p. 26.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

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

定理の主張 編集

群に対して 編集

加群に対して 編集

応用と限界 編集

クルル・シュミット圏 編集

脚注 編集

参考文献 編集

外部リンク 編集