http://www.icourses.cn 南开大学《抽象代数》
§4.7 Jordan-Holder定理 {\color{blue}{\text{\S 4.7 Jordan-Holder定理}}} §4.7 Jordan-Holder定理
可解群存在次正规序列使得因子都是素数阶循环群,且所有因子的阶的乘积为群G的阶。
定
义
4.7.1.
称
群
G
的
次
正
规
序
列
{\color{blue}定义4.7.1.}称群G的次正规序列
定义4.7.1.称群G的次正规序列
G
=
G
1
⊃
G
2
⊃
⋯
⊃
G
t
=
{
1
}
\qquad G = G_1 \supset G_2 \supset \cdots \supset G_t = \lbrace 1 \rbrace
G=G1⊃G2⊃⋯⊃Gt={1}
为
G
的
合
成
序
列
,
如
果
G
i
/
G
i
+
1
为
单
群
,
进
一
步
,
如
果
此
序
列
还
是
正
规
序
列
,
为G的{\color{blue}合成序列},如果G_i/G_{i+1}为单群,进一步,如果此序列还是正规序列,
为G的合成序列,如果Gi/Gi+1为单群,进一步,如果此序列还是正规序列,
则
称
之
为
主
序
列
。
其
中
,
G
i
/
G
i
+
1
为
G
的
合
成
因
子
。
则称之为{\color{blue}主序列}。其中,G_i/G_{i+1}为G的{\color{blue}合成因子}。
则称之为主序列。其中,Gi/Gi+1为G的合成因子。
例
4.7.2.
1
)
n
≥
5
,
S
n
⊃
A
n
⊃
{
1
}
是
S
n
的
主
序
列
。
{\color{blue}例4.7.2.}1)n \geq 5,S_n \supset A_n \supset \lbrace 1 \rbrace 是S_n的主序列。
例4.7.2.1)n≥5,Sn⊃An⊃{1}是Sn的主序列。
2
)
S
4
⊃
A
4
⊃
K
4
⊃
⟨
(
12
)
(
34
)
⟩
⊃
{
1
}
是
S
4
的
合
成
序
列
不
是
主
序
列
。
2)S_4 \supset A_4 \supset K_4 \supset \lang (12)(34) \rang \supset \lbrace 1 \rbrace 是S_4的合成序列不是主序列。
2)S4⊃A4⊃K4⊃⟨(12)(34)⟩⊃{1}是S4的合成序列不是主序列。
3
)
G
=
Z
15
⊃
Z
3
⊃
{
1
}
与
G
=
Z
15
⊃
Z
5
⊃
{
1
}
为
G
的
两
个
不
同
的
主
序
列
。
3)G=Z_{15} \supset Z_3 \supset \lbrace 1 \rbrace 与 G=Z_{15} \supset Z_5 \supset \lbrace 1 \rbrace 为G的两个不同的主序列。
3)G=Z15⊃Z3⊃{1}与G=Z15⊃Z5⊃{1}为G的两个不同的主序列。
问
题
4.7.3.
合
成
序
列
的
存
在
唯
一
性
?
{\color{blue}问题4.7.3.}合成序列的存在唯一性?
问题4.7.3.合成序列的存在唯一性?
引
理
4.7.4.
有
限
群
G
必
存
在
合
成
序
列
。
{\color{blue}引理4.7.4.}有限群G必存在合成序列。
引理4.7.4.有限群G必存在合成序列。
例
4.7.5.
G
=
Z
15
的
两
个
不
同
的
主
序
列
的
因
子
集
一
样
。
{\color{blue}例4.7.5.}G=Z_{15}的两个不同的主序列的因子集一样。
例4.7.5.G=Z15的两个不同的主序列的因子集一样。
更
一
般
的
,
可
解
群
的
合
成
因
子
也
有
类
似
性
质
。
更一般的,可解群的合成因子也有类似性质。
更一般的,可解群的合成因子也有类似性质。
定
义
4.7.6.
群
G
的
两
个
次
正
规
序
列
{\color{blue}定义4.7.6.}群G的两个次正规序列
定义4.7.6.群G的两个次正规序列
G
=
G
1
⊃
G
2
⊃
⋯
⊃
G
t
=
{
1
}
\qquad G = G_1 \supset G_2 \supset \cdots \supset G_t = \lbrace 1 \rbrace
G=G1⊃G2⊃⋯⊃Gt={1}
G
=
H
1
⊃
H
2
⊃
⋯
⊃
H
s
=
{
1
}
\qquad G = H_1 \supset H_2 \supset \cdots \supset H_s = \lbrace 1 \rbrace
G=H1⊃H2⊃⋯⊃Hs={1}
称
为
同
构
的
,
如
果
两
个
序
列
的
因
子
集
之
间
一
一
对
应
,
且
对
应
的
因
子
同
构
。
称为{\color{blue}同构}的,如果两个序列的因子集之间一一对应,且对应的因子同构。
称为同构的,如果两个序列的因子集之间一一对应,且对应的因子同构。
注
记
4.7.7.
1
)
两
个
同
构
的
次
正
规
序
列
长
度
相
同
。
{\color{blue}注记4.7.7.}1)两个同构的次正规序列长度相同。
注记4.7.7.1)两个同构的次正规序列长度相同。
2
)
定
义
中
并
不
要
求
G
i
/
G
i
+
1
≅
H
i
/
H
i
+
1
.
2)定义中并不要求G_i/G_{i+1} \cong H_i/H_{i+1}.
2)定义中并不要求Gi/Gi+1≅Hi/Hi+1.
定
理
4.7.8
(
J
o
r
d
a
n
−
H
o
l
d
e
r
)
.
群
G
的
任
意
两
个
合
成
序
列
同
构
。
因
此
,
G
的
任
{\color{blue}定理4.7.8(Jordan-Holder).}群G的任意两个合成序列同构。因此,G的任
定理4.7.8(Jordan−Holder).群G的任意两个合成序列同构。因此,G的任
意
两
个
主
序
列
也
同
构
。
意两个主序列也同构。
意两个主序列也同构。
注
记
4.7.9.
J
o
r
d
a
n
曲
线
(
简
单
闭
曲
线
)
/
J
o
r
d
a
n
曲
线
定
理
;
J
o
r
d
a
n
标
准
形
;
{\color{blue}注记4.7.9.}Jordan曲线(简单闭曲线)/Jordan曲线定理;Jordan标准形;
注记4.7.9.Jordan曲线(简单闭曲线)/Jordan曲线定理;Jordan标准形;
J
o
r
d
a
n
−
C
h
e
v
a
l
l
e
y
分
解
;
Jordan-Chevalley分解;
Jordan−Chevalley分解;
证
  
方
法
一
:
证 \; 方法一:
证方法一:
对
G
的
阶
数
归
纳
。
1
)
如
果
G
2
=
H
2
,
则
G
2
⊃
⋯
⊃
G
t
=
{
1
}
和
H
2
⊃
⋯
⊃
H
s
=
{
1
}
是
G
2
=
H
2
的
合
成
序
列
,
利
用
归
纳
假
设
即
得
两
者
同
构
。
对G的阶数归纳。1)如果G_2=H_2,则G_2 \supset \cdots \supset G_t = \lbrace 1 \rbrace 和H_2 \supset \cdots \supset H_s = \lbrace 1 \rbrace 是G_2 = H_2的合成序列,利用归纳假设即得两者同构。
对G的阶数归纳。1)如果G2=H2,则G2⊃⋯⊃Gt={1}和H2⊃⋯⊃Hs={1}是G2=H2的合成序列,利用归纳假设即得两者同构。
2
)
G
2
=
̸
H
2
.
由
H
2
⊂
G
2
H
2
⊲
G
及
H
2
的
极
大
性
可
得
G
2
H
2
=
G
.
零
K
3
=
G
2
∩
H
2
⊲
G
,
则
G
/
H
2
=
G
2
H
2
/
H
2
≅
G
2
/
G
2
∩
H
2
=
G
2
/
K
3
,
G
/
G
2
≅
H
2
/
K
3
.
任
取
K
3
的
合
成
序
列
K
3
⊃
K
4
⊃
⋯
⊃
K
4
=
{
1
}
,
则
我
们
有
如
下
四
个
G
的
合
成
序
列
2)G_2 =\not H_2.由H_2 \sub G_2H_2 \lhd G及H_2的极大性可得G_2H_2 = G.零K_3 = G_2 \cap H_2 \lhd G,则G/H_2 = G_2H_2/H_2 \cong G_2/G_2 \cap H_2 = G_2/K_3,G/G_2 \cong H_2/K_3.任取K_3的合成序列K_3\supset K_4 \supset \cdots \supset K_4 = \lbrace 1 \rbrace,则我们有如下四个G的合成序列
2)G2≠H2.由H2⊂G2H2⊲G及H2的极大性可得G2H2=G.零K3=G2∩H2⊲G,则G/H2=G2H2/H2≅G2/G2∩H2=G2/K3,G/G2≅H2/K3.任取K3的合成序列K3⊃K4⊃⋯⊃K4={1},则我们有如下四个G的合成序列
(
i
)
G
=
G
1
⊃
G
2
⊃
G
3
⊃
⋯
⊃
G
t
=
{
1
}
\quad (i) G = G_1 \supset G_2 \supset G_3 \supset \cdots \supset G_t = \lbrace 1 \rbrace
(i)G=G1⊃G2⊃G3⊃⋯⊃Gt={1}
(
i
i
)
G
=
G
1
⊃
G
2
⊃
K
3
⊃
⋯
⊃
K
r
=
{
1
}
(ii) G = G_1 \supset G_2 \supset K_3 \supset \cdots \supset K_r = \lbrace 1 \rbrace
(ii)G=G1⊃G2⊃K3⊃⋯⊃Kr={1}
(
i
i
i
)
G
=
H
1
⊃
H
2
⊃
K
3
⊃
⋯
⊃
K
r
=
{
1
}
(iii) G = H_1 \supset H_2 \supset K_3 \supset \cdots \supset K_r = \lbrace 1 \rbrace
(iii)G=H1⊃H2⊃K3⊃⋯⊃Kr={1}
(
i
v
)
G
=
H
1
⊃
H
2
⊃
H
3
⊃
⋯
⊃
H
s
=
{
1
}
.
(iv) G = H_1 \supset H_2 \supset H_3 \supset \cdots \supset H_s = \lbrace 1 \rbrace.
(iv)G=H1⊃H2⊃H3⊃⋯⊃Hs={1}.
相
邻
的
两
个
合
成
序
列
同
构
,
因
此
(
i
)
和
(
i
v
)
同
构
。
相邻的两个合成序列同构,因此(i)和(iv)同构。
相邻的两个合成序列同构,因此(i)和(iv)同构。
方
法
二
:
合
成
序
列
的
加
细
。
对
于
已
有
的
两
个
次
正
规
序
列
,
考
虑
方法二:合成序列的加细。对于已有的两个次正规序列,考虑
方法二:合成序列的加细。对于已有的两个次正规序列,考虑
H
i
=
H
i
∩
G
1
⊇
H
1
∩
G
2
⊇
⋯
⊇
H
1
∩
G
t
=
{
1
}
.
\qquad H_i = H_i \cap G_1 \supseteq H_1 \cap G_2 \supseteq \cdots \supseteq H_1 \cap G_t = \lbrace 1 \rbrace.
Hi=Hi∩G1⊇H1∩G2⊇⋯⊇H1∩Gt={1}.
去
掉
其
中
相
同
的
项
就
得
到
H
i
的
次
正
规
序
列
,
若
要
其
每
一
项
包
含
H
i
+
1
,
则
考
虑
去掉其中相同的项就得到H_i的次正规序列,若要其每一项包含H_{i+1},则考虑
去掉其中相同的项就得到Hi的次正规序列,若要其每一项包含Hi+1,则考虑
H
i
=
(
H
i
∩
G
1
)
H
i
+
1
⊇
(
H
i
∩
G
2
)
H
i
+
1
⊇
⋯
⊇
(
H
i
∩
G
t
)
H
i
+
1
=
H
i
+
1
.
\quad H_i = (H_i \cap G_1)H_{i+1} \supseteq (H_i \cap G_2)H_{i+1} \supseteq \cdots \supseteq (H_i \cap G_t)H_{i+1} = H_{i+1}.
Hi=(Hi∩G1)Hi+1⊇(Hi∩G2)Hi+1⊇⋯⊇(Hi∩Gt)Hi+1=Hi+1.
由
于
H
i
/
H
i
+
1
为
单
群
(
H
i
+
1
为
H
i
的
极
大
真
正
规
子
群
)
,
故
存
在
唯
一
的
i
′
使
得
H
i
=
(
H
i
∩
G
i
′
)
H
i
+
1
,
且
(
H
i
∩
G
i
′
+
1
)
H
i
+
1
=
H
i
+
1
,
则
由于H_i/H_{i+1}为单群(H_{i+1}为H_i的极大真正规子群),故存在唯一的i^{\prime}使得H_i=(H_i \cap G_{i^{\prime}})H_{i+1},且(H_i \cap G_{i^{\prime}+1})H_{i+1}=H_{i+1},则
由于Hi/Hi+1为单群(Hi+1为Hi的极大真正规子群),故存在唯一的i′使得Hi=(Hi∩Gi′)Hi+1,且(Hi∩Gi′+1)Hi+1=Hi+1,则
H
i
/
H
i
+
1
≅
(
H
i
∩
G
i
′
)
H
i
+
1
/
(
H
i
∩
G
i
′
+
1
)
H
i
+
1
H_i/H_{i+1} \cong (H_i \cap G_{i^{\prime}})H_{i+1}/(H_i \cap G_{i^{\prime}+1})H_{i+1}
Hi/Hi+1≅(Hi∩Gi′)Hi+1/(Hi∩Gi′+1)Hi+1
≅
H
i
∩
G
i
′
/
(
H
i
∩
G
i
′
∩
(
H
i
∩
G
i
′
+
1
)
H
i
+
1
)
\qquad \cong H_i \cap G_{i^{\prime}}/(H_i \cap G_{i^{\prime}} \cap (H_i \cap G_{i^{\prime}+1})H_{i+1})
≅Hi∩Gi′/(Hi∩Gi′∩(Hi∩Gi′+1)Hi+1)
≅
H
i
∩
G
i
′
/
(
G
i
′
∩
(
H
i
∩
G
i
′
+
1
)
H
i
+
1
)
\qquad \cong H_i \cap G_{i^{\prime}}/(G_{i^{\prime}} \cap (H_i \cap G_{i^{\prime} + 1})H_{i+1})
≅Hi∩Gi′/(Gi′∩(Hi∩Gi′+1)Hi+1)
≅
H
i
∩
G
i
′
/
(
G
i
′
∩
H
i
+
1
)
(
H
i
∩
G
i
′
+
1
)
.
\qquad \cong H_i \cap G_{i^{\prime}}/(G_{i^{\prime}} \cap H_{i+1})(H_i \cap G_{i^{\prime} + 1}).
≅Hi∩Gi′/(Gi′∩Hi+1)(Hi∩Gi′+1).
同
理
,
同理,
同理,
G
i
′
/
G
i
′
+
1
≅
H
i
∩
G
i
′
/
(
G
i
′
∩
H
i
+
1
)
(
H
i
∩
G
i
′
+
1
)
≅
H
i
/
H
i
+
1
.
\qquad G_{i^{\prime}}/G_{i^{\prime}+1} \cong H_i \cap G_{i^{\prime}}/(G_{i^{\prime}} \cap H_{i+1})(H_i \cap G_{i^{\prime}+1}) \cong H_i/H_{i+1}.
Gi′/Gi′+1≅Hi∩Gi′/(Gi′∩Hi+1)(Hi∩Gi′+1)≅Hi/Hi+1.