2.3 李群与李子群
定义2.3 对于给定群 G G G 的一个子群 H H H,它应具有如下特性:
(1). 对于 H H H中的任一元素 h h h,应满足 h ∈ G h\in G h∈G,但 G G G中的元素 g g g不一定属于 H H H.
(2). H H H 应具有群的代数结构:对于 H H H中的任一元素 h h h,都有 h − 1 ∈ H h^{-1}\in H h−1∈H;对于 h 1 , h 2 ∈ H h_1,h_2\in H h1,h2∈H,都有 h 1 ⋅ h 2 ∈ H h_1·h_2\in H h1⋅h2∈H.
(3). G G G与 H H H具有相同的单位元素 e e e.
李子群不仅包含子群的上述全部特征,还是对应李群流行上的自流形(submanifold).
李子群的运算通常表现为以下三种模式:
(1). 组合运算(Composition)
两个子群的组合不一定是群,而是一个流形,只有具有封闭性才可能是群。
两个子群组合得到的流形通常可以通过两种运算模式来实现:**直积 ( G 1 × G 2 G_1\times G_2 G1×G2)**与 半直积( G 1 ⋉ G 2 G1 \ltimes G_2 G1⋉G2) 运算。
定义2.4 给定群
G
G
G和它的两个子群
U
U
U 和
V
V
V,其中
u
∈
U
,
v
∈
V
u\in U, v\in V
u∈U,v∈V,由
U
U
U与
V
V
V的组合构成
G
G
G 的子流形,其中元素用
(
u
,
v
)
(u,v)
(u,v) 表示,定义直积运算
U
×
V
U\times V
U×V为:
U
×
V
=
(
u
1
,
v
1
)
(
u
2
,
v
2
)
=
(
u
1
u
2
,
v
1
v
2
)
U\times V=(u_1,v_1)(u_2,v_2)=(u_1u_2,v_1v_2)
U×V=(u1,v1)(u2,v2)=(u1u2,v1v2)
在直积运算模式下,两个子群组合后得到的流形符合群的条件,当且仅当它们具有可交换性时。
定义2.5 给定群
G
G
G 和它的两个子群,分别为子群
U
U
U和交换子群
V
V
V,其中
u
∈
U
,
v
∈
V
u\in U, v\in V
u∈U,v∈V,
U
U
U 在
V
V
V 上的运算满足线性关系,由
U
U
U与
V
V
V的组合构成
G
G
G的子流形,其中元素用
(
u
,
v
)
(u,v)
(u,v) 表示,定义半直积运算
U
⋉
V
U\ltimes V
U⋉V为:
U
⋉
V
=
(
u
1
,
v
1
)
(
u
2
,
v
2
)
=
(
u
1
u
2
,
v
1
+
u
1
(
v
2
)
)
U\ltimes V=(u_1,v_1)(u_2,v_2)=(u_1u_2,v_1+u_1(v_2))
U⋉V=(u1,v1)(u2,v2)=(u1u2,v1+u1(v2))
(2). 交运算(Intersection)
定义2.6 给定群 G G G和它的两个子群,则这两个子群的交 G 1 ∩ G 2 G_1\cap G_2 G1∩G2仍然是 G G G的一个子群。
(3). 商运算(quotient)
如果
H
H
H是
G
G
G的子群,则可通过
H
H
H给出
G
G
G中元素的等效关系,即如果满足下述关系式,则
G
G
G中的两个元素等效:
g
1
≡
g
2
⟺
g
1
=
h
g
2
,
g
1
,
g
2
∈
G
,
h
∈
H
g_1\equiv g_2 \iff g_1=hg_2, g_1,g_2\in G, h\in H
g1≡g2⟺g1=hg2,g1,g2∈G,h∈H
这种等效被称为:陪集(coset),对应的陪集空间称为 H H H 的商空间(quotient space),记为 G / H G/H G/H 或 g g g 。因此,如果 h ∈ H h\in H h∈H,则 [ g ] = [ h g ] [g]=[hg] [g]=[hg]。
注:商空间肯定是个流形,但不一定是李群。将这个流形称为陪集空间(coset space)或齐次空间(homogeneous space).
若使商空间成为李群或李子群,则子群 H H H必须是正则李子群,通常记作 N N N。
定义2.7 正则李子群是指在任何共轭变换下保持不变的李子群,即:
g
n
g
−
1
∈
N
,
g
∈
G
,
n
∈
N
gng^{-1}\in N, g\in G,n\in N
gng−1∈N,g∈G,n∈N
或简记为:
g
n
g
−
1
∼
N
gng^{-1} \sim N
gng−1∼N
更进一步地,商空间内两个元素的积可以写作
[
g
1
]
[
g
2
]
=
[
g
1
g
2
]
[g_1][g_2]=[g_1g_2]
[g1][g2]=[g1g2]
即:
(
n
1
g
1
)
(
n
2
g
2
)
=
n
1
(
g
1
n
2
g
1
−
1
)
g
1
g
2
=
n
1
n
3
g
1
g
2
(n_1g_1)(n_2g_2)=n_1(g_1n_2g_1^{-1})g_1g_2=n_1n_3g_1g_2
(n1g1)(n2g2)=n1(g1n2g1−1)g1g2=n1n3g1g2
其中
n
3
=
g
1
n
2
g
1
−
1
∈
N
n_3=g_1n_2g_1^{-1}\in N
n3=g1n2g1−1∈N