查看“︁Jordan–Hölder 定理”︁的源代码

[[分类:群论]]
{{InfoBox
|name=Jordan–Hölder定理
|eng_name=Jordan–Hölder theorem
}}
'''Jordan–Hölder 定理'''('''Jordan–Hölder theorem''')是关于[[有限群]]结构的定理，描述群中任意[[合成列]]等价。是 [[Schreier 细化定理]]的直接推论。

定理说明了尽管在不同的复合列中，有限群以不同的形式被分解为多级有限单群，但是这些形式在忽略次序和同构的意义上，是被这个群完全确定的。

== 定理 ==

对群 <math>G</math> 及两个复合列 <math>G=G_0 \rhd G_1 \rhd G_2 \rhd \cdots \rhd G_m = \{e\}</math> 和 <math>G=H_0 \rhd H_1 \rhd H_2 \rhd \cdots \rhd H_n = \{e\}</math> 必有 <math>m=n</math> ，且因子 <math>G_i/G_{i+1}</math> 和 <math>H_j/H_{j+1}</math> 忽略次序在同构意义下相同。


{{有限群理论}}