Wiki. “Jordan–Holder 分解” [Jordan–Holder分解]
Wiki. “Jordan–Holder 分解” [Jordan–Holder分解]
群
群 $G$ 的合成列是指一列子群 $$ 1=G_0\hookrightarrow G_1\hookrightarrow G_2\hookrightarrow\cdots\hookrightarrow G_n=G, $$ 满足 $G_{i-1}\hookrightarrow G_i$ 为正规子群, 且商群 $G_i/G_{i-1}$ 为单群.
Jordan–Holder 定理指出, 商群 $G_i/G_{i-1}$ 的序列在相差一个排列的意义下是唯一的.