組成列

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

## 概要
群の組成列の定義は次のとおりである。群  が相異なる部分群の有限列
:G = G_n \supsetneq \cdots \supsetneq G_0 = 1
を持ち、各添字  について  は  の正規部分群であり ()、剰余群  が単純群であるとき、この部分群の有限列  を**組成列**と呼び、剰余群の列  を**剰余因子群**または**組成因子**と呼ぶ。また、部分群の個数  を組成列の**長さ**と呼ぶ。

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

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

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

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

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

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

群  が直積分解可能であるか否かにかかわらず、組成列が存在すれば、組成因子は順序と同型の違いを除いて一意的である。つまり、
:G = H_s \triangleright \cdots \triangleright H_0 = 1
:G = K_t \triangleright \cdots \triangleright K_0 = 1
をそれぞれ  の組成列とすれば、 であり、剰余群  と  は、適当な  次の置換  によって  とすることができる (**ジョルダン・ヘルダーの定理**)。

## 群に対して

### 有限性と極大性
群  の部分群の列
:G = G_n \supseteq \cdots \supseteq G_0 = 1
が各添字  について  である場合、 を (*subnormal* series) と呼び、部分群の個数  を正規鎖の**長さ**と呼ぶ。ただし、組成列と異なり、 と  の間に  の正規部分群が存在する場合も許容され、長さが無限大となる場合も有り得るものとする。

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

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

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

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

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

例えば、巡回群  は異なる組成列として
: C_{12} \triangleright C_6 \triangleright C_2 \triangleright 1 ;
: C_{12} \triangleright C_4 \triangleright C_2 \triangleright 1 ;
: C_{12} \triangleright C_6 \triangleright C_3 \triangleright 1 
をもつ。

各列から得られる組成因子の列はそれぞれ
:  C_2,C_3,C_2;
:  C_3,C_2,C_2;
:  C_2,C_2,C_3
である。

## 加群に対して

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

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

加群に対する組成列の定義は部分加群のみに着目し、部分加群*でない*部分加法群は無視する。環  と -加群  が与えられたとき、 の**組成列**とは部分加群の列
:M = M_n \supsetneq \dotsb \supsetneq M_0 = 0
であり、各  に対し  が  の極大部分加群であるものである。この場合、（単純）商加群  は  の**組成因子**と呼ばれる。もし  が組成列をもちさえすれば、 の部分加群の任意の有限真増大列は組成列に細分できる。群のときと同様に、ジョルダン・ヘルダーの定理が成り立ち、 の任意の組成列は同値である。つまり、組成列の長さは等しく、組成因子も順序と同型の違いを除いて等しい。

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

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

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

## アーベル圏の対象に対して
アーベル圏において対象  の**組成列**は部分対象の列
:X=X_n\supsetneq \dots \supsetneq  X_0=0
であって、（ に対して）各商対象  がであるようなものである。 が組成列をもてば、整数  は  のみに依存し、 のと呼ばれる。

## 脚注

## 参考文献
*
*
*

## 関連項目
* , 半群に対する類似物
* , 任意の2つの同値なは同値な組成列に細分される
* , シュライヤーの細分定理の証明に使われる