組成列

組成列（そせいれつ、英: composition series）は、抽象代数学における概念の一つであり、与えられた群や加群といった代数的構造を、代数的により単純な構造の単純群や単純加群に分解する手法を与えるものである。組成列が存在するという条件は、有限個の単純（加）群の直積（直和）に書けるという条件よりも弱い。また、組成列が存在すれば、それはある意味で一意的である。

概要

群の組成列の定義は次のとおりである。群 G が相異なる部分群の有限列

[math]G = G_n \supsetneq \cdots \supsetneq G_0 = 1[/math]

を持ち、各添字 1 ≤ i ≤ n について G_i−1 は G_i の正規部分群であり (G_i ⊵ G_i−1)、剰余群 G_i/G_i−1 が単純群であるとき、この部分群の有限列 (G_i)_0≤i≤n を組成列と呼び、剰余群の列 (G_i−1/G_i)_{1 ≤i≤n} を剰余因子群または組成因子と呼ぶ。また、部分群の個数 n を組成列の長さと呼ぶ。

上の定義においては、群 G の各部分群 G_i は、G の正規部分群であること (G ⊵ G_i) は要求されていない。この要求を満たす場合、(G_i)_0≤i≤n を主組成列と呼び、G の直積分解を考える上では、こちらの方がより本質的である (クルル・レマク・シュミットの定理参照)。

群 G が有限個の単純群の直積に分解可能な場合、G は完全可約群または半単純群であるという。上の定義から明らかなように、剰余因子群は単純群であり、G が完全可約群であれば、剰余因子群の直積に分解される。しかし、群 G が主組成列を持つ場合でも、必ずしも完全可約群であるとは限らない。これは単純群は直既約群であるが、直既約群は必ずしも単純群ではないという理由による。

例えば、G を位数が素数のべき乗 p^r (p は素数、r は2以上の自然数) である巡回群とすれば、G の自明でない部分群 (G 自身および単位群 1 以外の部分群) の位数は p^s (s は 1 ≤ s < r である自然数) であり、これらの部分群をいかに直積で組み合わせても、位数が p^r の元 (G の生成元) を含むような群にはならない。したがって、G はこれ以上直積分解できないので直既約群であるが、明らかに自明でない正規部分群を持つので単純群ではない。

群 G が直積分解可能であるか否かにかかわらず、組成列が存在すれば、組成因子は順序と同型の違いを除いて一意的である。つまり、

[math]G = H_s \triangleright \cdots \triangleright H_0 = 1[/math]

[math]G = K_t \triangleright \cdots \triangleright K_0 = 1[/math]

をそれぞれ G の組成列とすれば、s = t であり、剰余群 (H_i−1/H_i)_{1 ≤i≤s} と (K_j−1/K_j)_{1 ≤j≤t} は、適当な s 次の置換 σ によって H_i/H_i−1 ≅ K_σ(i)/K_σ(i)−1 とすることができる (ジョルダン・ヘルダーの定理)。

群に対して

有限性と極大性

群 G の部分群の列

[math]G = G_n \supseteq \cdots \supseteq G_0 = 1[/math]

が各添字 1 ≤ i ≤ n について G_i ⊵ G_i−1 である場合、(G_i)_0≤i≤n を正規鎖 (subnormal series) と呼び、部分群の個数 n を正規鎖の長さと呼ぶ。ただし、組成列と異なり、G_i と G_i−1 の間に G_i の正規部分群が存在する場合も許容され、長さが無限大となる場合も有り得るものとする。

組成列は長さが有限で、その長さが極大である正規鎖であると言える。群 G に組成列が存在するならば、G の任意の正規鎖は感覚的に言えば列に部分群を極大になるまで挿入することによって、組成列に細分できる。つまり、組成列にはもはや「挿入」できる部分群がないということである。

任意の有限群は組成列をもつが、すべての無限群が組成列をもつわけではない。組成列を持つことは一種の有限条件である。

例えば、整数環 Z を加法についての群と見なした場合、組成列を持たない。

ジョルダン・ヘルダーの定理

群はいくつもの組成列をもつかもしれない。しかしながら、ジョルダン・ヘルダーの定理（カミーユ・ジョルダンとオットー・ヘルダーにちなんで名づけられた）は、与えられた群の任意の組成列は同値であると主張する。つまり、組成列の長さは等しく、組成因子も順序と同型の違いを除いて等しい。この定理はシュライヤーの細分定理を使って証明できる。ジョルダン・ヘルダーの定理はまた超限（transfinite）増大組成列についても正しいが、超限減少組成列に対しては正しくない{{#invoke:Footnotes | harvard_citation }}。

例

位数 n の巡回群に対して、組成列は n の順序を考慮に入れた素因数分解と関係があり、実は、算術の基本定理の証明をもたらす。

例えば、巡回群 C₁₂ は異なる組成列として

[math] C_{12} \triangleright C_6 \triangleright C_2 \triangleright 1 [/math];

[math] C_{12} \triangleright C_4 \triangleright C_2 \triangleright 1 [/math];

[math] C_{12} \triangleright C_6 \triangleright C_3 \triangleright 1 [/math]

をもつ。

各列から得られる組成因子の列はそれぞれ

[math] C_2,C_3,C_2[/math];

[math] C_3,C_2,C_2[/math];

[math] C_2,C_2,C_3[/math]

である。

加群に対して

自然に現れる多くの加群は、上記の必ずしも可換ではない群の場合と同様に、必ずしも完全可約群（半単純加群）ではなく、単純加群の直和に分解できないため、その構造を考える上で組成列は重要な情報を与える手段である。

加群 M の組成列は、となりあった加群の商が単純であるような、部分加群による M の増大する有限のフィルターであり、M の単純部分加群による直和分解の代わりの役割を果たす。ジョルダン・ヘルダーの定理による組成列の一意性は、有限群やアルティン加群の不変量を定義するのに使える。

加群に対する組成列の定義は部分加群のみに着目し、部分加群でない部分加法群は無視する。環 R と R-加群 M が与えられたとき、M の組成列とは部分加群の列

[math]M = M_n \supsetneq \dotsb \supsetneq M_0 = 0[/math]

であり、各 1 ≤ i ≤ n に対し M_i−1 が M_i の極大部分加群であるものである。この場合、（単純）商加群 (M_i/M_i−1)_1≤i≤n は M の組成因子と呼ばれる。もし M が組成列をもちさえすれば、M の部分加群の任意の有限真増大列は組成列に細分できる。群のときと同様に、ジョルダン・ヘルダーの定理が成り立ち、M の任意の組成列は同値である。つまり、組成列の長さは等しく、組成因子も順序と同型の違いを除いて等しい。

加群が有限の組成列をもつこととアルティン加群かつネーター加群であることが同値であることはよく知られている。R がアルティン環であれば、任意の有限生成 R-加群はアルティン的かつネーター的なので、有限の組成列をもつ。とくに、任意の体 K に対し、K 上の有限次元多元環上の任意の有限次元加群は同値の違いを除いて組成列を1つもつ。

一般化

作用域をもつ群は群に対する群の作用と環の作用を一般化する。{{#invoke:Footnotes | harvard_citation }} にあるように群と加群との両方に対して統一的にアプローチすることができ、説明のいくつかが簡単になっている。群 G を集合 Ω から元（作用素）によって作用されていると考える。注意は Ω の元の作用で不変な部分群（Ω-部分群と呼ばれる）のみに制限される。したがって Ω-組成列は Ω-部分群のみを使わなければならず、Ω-組成因子は Ω-単純であるだけでよい。ジョルダン・ヘルダーの定理のような、上記の標準的な結果は、ほとんど同一の証明によって証明される。

特別なケースとして Ω = G であって G がそれ自身に作用しているときがある。重要な例は G の元が共役で作用して作用素の集合が内部自己同型からなるときである。この作用のもとでの組成列はちょうど主組成列である。加群の構造は Ω が環であっていくつか追加の公理を満たすときの Ω-作用のケースである。

アーベル圏の対象に対して

アーベル圏において対象 X の組成列は部分対象の列

[math]X=X_n\supsetneq \dots \supsetneq X_0=0[/math]

であって、（1 ≤ i ≤ n に対して）各商対象 X_i /X_i−1 が単純対象であるようなものである。X が組成列をもてば、整数 n は X のみに依存し、X の長さと呼ばれる。

参考文献

• Birkhoff, Garrett (1934), “Transfinite subgroup series”, Bulletin of the American Mathematical Society 40 (12): 847–850, doi:10.1090/S0002-9904-1934-05982-2, http://projecteuclid.org/euclid.bams/1183497873 
• Isaacs, I. Martin (1994), Algebra: A Graduate Course, Brooks/Cole, ISBN 978-0-534-19002-6, MR 1276273, Zbl 0805.00001, https://books.google.com/books?id=5tKq0kbHuc4C 
• Kashiwara, Masaki; Schapira, Pierre (2006), Categories and sheaves, ISBN 978-3-540-27949-5, MR 2182076, Zbl 1118.18001, https://books.google.com/books?id=K-SjOw_2gXwC 

関連項目

• クローン＝ロードスの定理, 半群に対する類似物
• シュライヤーの細分定理, 任意の2つの同値な連正規列は同値な組成列に細分される
• ツァッセンハウスの補題, シュライヤーの細分定理の証明に使われる