組成列

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

1. 概要
-----

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

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

上の定義においては、群 G}} の各部分群 Gsub は、G}} の正規部分群であること  は要求されていない。この要求を満たす場合、。

群 G}} が有限個の単純群の直積に分解可能な場合、G}} は完全可約群または半単純群であるという。上の定義から明らかなように、剰余因子群は単純群であり、G}} が完全可約群であれば、剰余因子群の直積に分解される。

例えば、G}} を 7元体 Zsub の乗法群 Zsub = {1,2,3,4,5,6} と置けば、G}} は位数6の巡回群であり、2つの自明でない正規部分群 Nsub = {1,2,4}、Nsub = {1,6} を持つ。Nsub 、Nsubには包含関係は無いので、 G ⊵ Nsub および G ⊵ Nsub が主組成列となる。G ⊵ Nsub の剰余因子群は G/Nsub = Nsub と Nsub = Nsub であり、前者は Nsub と同型である。G ⊵ Nsub の剰余因子群は G/Nsub = Nsub と Nsub = Nsub であり、前者は Nsub と同型である。Nsub と Nsub の直積 Nsub は位数6の巡回群であり、G}} と同型である。従って G}} は剰余因子群の直積に分解されるので、完全可約群ということになる。

しかし、群 G}} が主組成列を持つ場合でも、必ずしも完全可約群であるとは限らない。これは単純群は直既約群であるが、直既約群は必ずしも単純群ではないという理由による。

例えば、G}} を 5元体 Zsub の乗法群 Zsub = {1,2,3,4} と置けば、G}} は位数4の巡回群であり、2と3は G}} の生成元であるので、N}} = {1,4} が唯一の自明でない正規部分群である。 主組成列は G ⊵ N ⊵ 1} }} であり、剰余因子群は G/N =}} N, 4N} }} と N/1} }} = N}} であるが、これらは共に位数2の巡回群であり同型である。この2つの群の直積はやはり位数2の巡回群であり位数4の巡回群である G}} には一致しない。つまりこの場合の G}} は完全可約群ではないことになる。

一般に、G}} を位数が素数のべき乗 psup  である巡回群とすれば、G}} の自明でない部分群  の位数は psup  であり、これらの部分群をいかに直積で組み合わせても、位数が psup の元  を含むような群にはならない。したがって、G}} はこれ以上直積分解できないので直既約群であるが、明らかに自明でない正規部分群を持つので単純群ではない。

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

をそれぞれ G}} の組成列とすれば、//s// =}} //t//}} であり、剰余群 。

2. 群に対して
--------

2.1. 有限性と極大性
------------

群 G}} の部分群の列

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

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

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

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

2.2. ジョルダン・ヘルダーの定理
------------------

群はいくつもの組成列をもつかもしれない。しかしながら、ジョルダン・ヘルダーの定理は、与えられた群の任意の組成列は同値であると主張する。つまり、組成列の長さは等しく、組成因子も順序と同型の違いを除いて等しい。この定理はシュライヤーの細分定理を使って証明できる。ジョルダン・ヘルダーの定理はまた超限//増大//組成列についても正しいが、超限//減少//組成列に対しては正しくないBirkhoff。

2.3. 例
------

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

例えば、巡回群 //C//12}} は異なる組成列として

;;をもつ。

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

; ; である。

3. 加群に対して
---------

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

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

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

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

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

4. 一般化
------

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

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

5. アーベル圏の対象に対して
---------------

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

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

6. 脚注
-----

7. 参考文献
-------

8. 関連項目
-------

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